C++ członek Constexpr szablonu typu

Question

Chcę utworzyć szablon klasy z członkiem, który jest tablicą constexpr. Tablica wymaga oczywiście innej inicjalizacji w zależności od typu, ale nie mogę zadeklarować tablicy bez jej inicjalizacji. Problem polega na tym, że nie znam wartości tablicy aż do specjalizacji szablonu.

//A.hpp 
template<typename T> 
class A { 
public: 
    static constexpr T a[]; 
    constexpr A() {}; 
    ~A() {}; 
} 
//B.hpp 
class B: public A<int> { 
public: 
    constexpr B(); 
    ~B(); 
}; 
//B.cpp 
template<> 
constexpr int A<int>::a[]={1,2,3,4,5}; 
B::B() {} 
B::~B() {} 

Jak poprawnie zainicjować A :: a [] w B?

Answer 1

Każdy problem można rozwiązać dodając kolejną warstwę zadnie (z wyjątkiem zbyt wiele zadnie):

// no a[] here. 
template <typename T> struct ConstArray; 

template <> 
struct ConstArray<int> { 
    static constexpr int a[] = {1, 2, 3, 4, 5}; 

    int operator[](int idx) const { return a[idx]; } 
}; 

template <typename T> 
class A { 
    static constexpr ConstArray<T> a; 
};