shape.hpp 3.14 KB
Newer Older
Paul's avatar
Paul committed
1
2
3
4
5
#ifndef GUARD_RTGLIB_SHAPE_HPP
#define GUARD_RTGLIB_SHAPE_HPP

#include <vector>
#include <cassert>
Paul's avatar
Paul committed
6
#include <ostream>
Paul's avatar
Paul committed
7

Paul's avatar
Paul committed
8
9
10
11
namespace rtg {

struct shape
{
Paul's avatar
Paul committed
12
13
14
15

// Add new types here
#define RTG_SHAPE_VISIT_TYPES(m) \
    m(float_type, float) \
Paul's avatar
Paul committed
16
17
18
19
20
21
22
23
24
    m(double_type, double) \
    m(uint8_type, uint8_t) \
    m(int8_type, int8_t) \
    m(uint16_type, uint16_t) \
    m(int16_type, int16_t) \
    m(int32_type, int32_t) \
    m(int64_type, int64_t) \
    m(uint32_type, uint32_t) \
    m(uint64_type, uint64_t) \
Paul's avatar
Paul committed
25
26

#define RTG_SHAPE_ENUM_TYPES(x, t) x,
Paul's avatar
Paul committed
27
28
    enum type_t
    {
Paul's avatar
Paul committed
29
        RTG_SHAPE_VISIT_TYPES(RTG_SHAPE_ENUM_TYPES)
Paul's avatar
Paul committed
30
    };
Paul's avatar
Paul committed
31
32
33
34
35
36
37
38
39
40
#undef RTG_SHAPE_ENUM_TYPES

    template<class T, class=void>
    struct get_type;
#define RTG_SHAPE_GET_TYPE(x, t) \
    template<class T> \
    struct get_type<t, T> : std::integral_constant<type_t, x> \
    {};
    RTG_SHAPE_VISIT_TYPES(RTG_SHAPE_GET_TYPE)
#undef RTG_SHAPE_GET_TYPE
Paul's avatar
Paul committed
41
42
43
44
45
46
47
48

    shape();
    shape(type_t t);
    shape(type_t t, std::vector<std::size_t> l);
    shape(type_t t, std::vector<std::size_t> l, std::vector<std::size_t> s);


    type_t type() const;
Paul's avatar
Paul committed
49
50
    const std::vector<std::size_t>& lens() const;
    const std::vector<std::size_t>& strides() const;
Paul's avatar
Paul committed
51
52
53
    std::size_t elements() const;
    std::size_t bytes() const;

Paul's avatar
Paul committed
54
55
56
    std::size_t index(std::initializer_list<std::size_t> l) const;
    std::size_t index(const std::vector<std::size_t>& l) const;

Paul's avatar
Paul committed
57
58
59
60
61
    // Map element index to space index
    std::size_t index(std::size_t i) const;

    bool packed() const;

Paul's avatar
Paul committed
62
63
    friend bool operator==(const shape& x, const shape& y);
    friend bool operator!=(const shape& x, const shape& y);
Paul's avatar
Paul committed
64
    friend std::ostream& operator<<(std::ostream& os, const shape& x);
Paul's avatar
Paul committed
65
66
67
68
69
70
71
72
73
74
75
76

    template<class T>
    struct as
    {
        using type = T;

        template<class U>
        T operator()(U u) const
        {
            return T(u);
        }

Paul's avatar
Paul committed
77
78
79
80
81
82
83
84
85
86
87
88
        template<class U>
        T* operator()(U* u) const
        {
            return static_cast<T*>(u);
        }

        template<class U>
        const T* operator()(const U* u) const
        {
            return static_cast<T*>(u);
        }

Paul's avatar
Paul committed
89
90
91
92
93
        T operator()() const
        {
            return {};
        }

Paul's avatar
Paul committed
94
        std::size_t size(std::size_t n=1) const
Paul's avatar
Paul committed
95
96
97
98
99
        {
            return sizeof(T)*n;
        }

        template<class U>
Paul's avatar
Paul committed
100
        T* from(U* buffer, std::size_t n=0) const
Paul's avatar
Paul committed
101
        {
Paul's avatar
Paul committed
102
            return reinterpret_cast<T*>(buffer)+n;
Paul's avatar
Paul committed
103
        }
Paul's avatar
Paul committed
104
105

        template<class U>
Paul's avatar
Paul committed
106
        const T* from(const U* buffer, std::size_t n=0) const
Paul's avatar
Paul committed
107
        {
Paul's avatar
Paul committed
108
            return reinterpret_cast<const T*>(buffer)+n;
Paul's avatar
Paul committed
109
        }
Paul's avatar
Paul committed
110
111
112
113
114
115
116
    };

    template<class Visitor>
    void visit_type(Visitor v) const
    {
        switch(this->type_) 
        {
Paul's avatar
Paul committed
117
118
119
#define RTG_SHAPE_VISITOR_CASE(x, t) \
            case x: \
                v(as<t>()); \
Paul's avatar
Paul committed
120
                return;
Paul's avatar
Paul committed
121
122
            RTG_SHAPE_VISIT_TYPES(RTG_SHAPE_VISITOR_CASE)
#undef RTG_SHAPE_VISITOR_CASE
Paul's avatar
Paul committed
123
124
125
126
127
128
129
        }
        assert(true);
    }
private:
    type_t type_;
    std::vector<std::size_t> lens_;
    std::vector<std::size_t> strides_;
Paul's avatar
Paul committed
130
    bool packed_;
Paul's avatar
Paul committed
131
132
133

    void calculate_strides();
    std::size_t element_space() const;
Paul's avatar
Paul committed
134
    std::string type_string() const;
Paul's avatar
Paul committed
135
136
137
138
139
};

}

#endif