我可以仅为某些专业定义静态 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

Clang 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.

我想知道为什么只为实际使用的专业提供定义是不够的。并不是说它非常有用，因为 static 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。