我可以爲某些專業化定義靜態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::textwrapper<void>，

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. 

我想知道爲什麼僅僅爲實際使用的專業化提供一個定義是不夠的。並不是說它會非常有用，因爲 constexpr成員必須在class定義中初始化，所以我無法將它定義在定義中，但我可能想讓它不確定。

Answer 1

輕鬆：

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>將工作，而其他參數將與static_assert失敗。