c++ - 如何强制使用模板特化？

Question

如果实例化非专用基础版本，我正试图让我的模板函数产生编译时错误。我尝试了通常的编译时断言模式(负数组大小)，但即使没有实例化模板，编译也会失败。当且仅当基模板函数被实例化时，关于如何使它失败的任何想法？

template<class Foo> void func(Foo x) {
  // I want the compiler to complain only if this function is instantiated.
  // Instead, the compiler is complaining here at the declaration.
  int Must_Use_Specialization[-1];
}

template<> void func(int x) {
  printf("Hi\n");
}

Answer 1

不定义它是最简单的解决方案:

template<class Foo> void func(Foo x);

template<> void func(int x) {
  printf("Hi\n");
}

您也可以在 CPP 文件和 use this 中定义它们。这将起作用。

和静态断言方法:

template<class Foo> void func(Foo x) {
  static_assert(sizeof(Foo) != sizeof(Foo), "func must be specialized for this type!");
}