静的constexprデータメンバーを特定のスペシャライゼーションに対してのみ定義できますか？

Question

次のプログラムは正常に動作します。

#include <iostream> 
#include <type_traits> 

template <typename DummyT = void> 
struct wrapper 
{ 
    static_assert(std::is_same<void, DummyT>::value, "Only void, please"); 
    static constexpr char text[] = "some string constant"; 
}; 

template <typename DummyT> 
constexpr char wrapper<DummyT>::text[]; 

int 
main() 
{ 
    std::cout << wrapper<>::text << '\n'; 
} 

私はwrapper<void>ためwrapper::text、

template <> 
constexpr char wrapper<void>::text[]; 

を定義するときしかし、その後、GCC 5.3.0は、私にこのリンカエラー

/tmp/ccnGx3EP.o: In function `main': 
main.cxx:(.text+0x5): undefined reference to `wrapper<void>::text' 
collect2: error: ld returned 1 exit status 

を与え、クラン3.7.1は私に、このエラーが発生します。

main.cxx:12:31: error: declaration of constexpr static data member 'text' requires an initializer 
constexpr char wrapper<void>::text[]; 
          ^
1 error generated. 

実際に使用されている特殊化の定義のみを提供するだけでは不十分だと思います。 staticconstexprのメンバーがclassの定義の中で初期化されなければならないので、それはあまり役に立ちませんので、私はそれをその定義に特化することはできませんが、未定義のままにしておきたいことがあります。簡単

Answer 1

：他のパラメータはstatic_assertで失敗する一方

template <typename DummyT = void> 
struct wrapper 
{ 
    static_assert(std::is_same<void, DummyT>::value, "Only void, please"); 
}; 

template <> 
struct wrapper<void> 
{ 
    static constexpr char text[] = "some string constant"; 
}; 

constexpr char wrapper<void>::text[]; 

両方wrapper<>とwrapper<void>が動作します。