没有默认功能的C ++模板专业化

Question

我有以下编译和运行良好的代码：

template<typename T>
T GetGlobal(const char *name);

template<>
int GetGlobal<int>(const char *name);

template<>
double GetGlobal<double>(const char *name);

但是我想删除“默认”功能。 也就是说，我想对GetGlobal <t>进行所有调用，其中't'不是int或double错误。

例如，GetGlobal <char>（）应该是编译时错误。

我试图删除默认函数，但是，正如我想象的那样，我收到了很多错误。那么有没有办法“禁用”它并允许只调用函数的专用版本？

谢谢！

Answer 1

要获得编译时错误，请将其实现为：

template<typename T>
T GetGlobal(const char *name) { T::unimplemented_function; }
// `unimplemented_function` identifier should be undefined

如果你使用Boost，你可以使它更优雅：

template<typename T>
T GetGlobal(const char *name) { BOOST_STATIC_ASSERT(sizeof(T) == 0); }

C ++ Standard保证不存在sizeof等于0的类型，因此您将得到编译时错误。

正如sbi在他的评论中所建议的那样，最后可以减少到：

template<typename T>
T GetGlobal(const char *name) { char X[!sizeof(T)]; }

我更喜欢第一种解决方案，因为它提供了比其他解决方案更清晰的错误消息（至少在Visual C ++中）。

Answer 2

虽然这是一个陈旧且过时的问题，但值得注意的是C++11使用已删除的函数解决了这个问题：

template<typename T>
T GetGlobal(const char *name) = delete;

template<>
int GetGlobal<int>(const char *name);

---

UPDATE

这不会在MacOS llvm 8下编译。 这是由于一个仍然悬挂4年的缺陷（见这个错误报告 ）。

以下解决方法将适合该问题（使用static_assert构造）。

template<typename T>
T GetGlobal(const char *name) {
    static_assert(sizeof(T) == 0, "Only specializations of GetGlobal can be used");
}

template<>
int GetGlobal<int>(const char *name);

---

UPDATE

Visual Studio 15.9有同样的bug。 使用以前的解决方法。

Answer 3

如果你没有实现它，你至少会得到一个链接器错误。 如果您想要编译时错误，可以使用类模板执行此操作：

template<typename T>
struct GlobalGetter;

template<>
struct GlobalGetter<int> {
  static int GetGlobal(const char *name);
};

template<>
struct GlobalGetter<double> {
  static double GetGlobal(const char *name);
};

template<typename T>
T GetGlobal(const char *name)
{
  return GlobalGetter<T>::GetGlobal(name);
}

Answer 4

我建议不要实际提供一个实现，只是一个方法的声明。

另一种选择是使用编译时断言。 Boost有很多这样的野兽。

namespace mpl = boost::mpl;
BOOST_MPL_ASSERT((mpl::or_< boost::same_type<T, double>,
                            boost::same_type<T, int> >));

还有它的消息版本对应，这将有所帮助。

Answer 5

以下是使用boost的替代技术：

将typedef声明为依赖名称

这是有效的，因为DONT的名称查找仅在替换'T'时发生。 这是Kirill给出的示例的类似（但合法）版本

template <typename T>
T GetGlobal (const char * name) {
    typedef typename T::DONT CALL_THIS_FUNCTION;
}

使用不完整的返回类型

此技术不适用于专业化，但它适用于重载。 这个想法是声明一个返回不完整类型但不调用它的函数的合法性：

template <typename T>
class DONT_CALL_THIS_FUNCTION GetGlobal (const char * name);