static_assert具有部分模板特化

Question

template<typename T, typename U = void>
struct S { /* static_assert(0, "type unsupported"); */ };
template<typename T>
struct S<T, typename std::enable_if<std::is_integral<T>::value, void>::type> {
    void foo() {}
};
...
S<int> i;
i.foo();
S<double> d;
// d.foo();

我希望永远不会为int的情况实例化“主模板”，但是如果我取消注释static_assert ，则S<int>实例化将失败。 甚至是单独的typedef S<int> Si; 将无法编译。 （GCC 4.9.2 Cygwin）

我想要实现的不是S<double>在foo()调用时失败，而是在模板本身的实例化时，以及带有意义的错误消息。 我知道我可以做类似于typename T::nonexistent_type t;事情typename T::nonexistent_type t; 在主模板中，它将阻止模板进行编译，但这不如static_assert消息。 （注意：将static_assert放在主模板中的函数定义中仍然无法编译S<int> ）

为什么static_assert失败，即使该模板未实例化？ 这个标准是强制性的（或者可能是“未指明的”）吗？ 有没有办法以我想要的方式使用static_assert失败？

Answer 1

如果希望static_assert的表达式仅为实例化时间，则它必须依赖于模板参数。 这是由Standard保证的 - 实现可以（但没有义务）检查不依赖于任何模板参数的模板中的static_assertion 。

你的代码是一种奇怪的迂回方式

template<typename T> struct S {
    static_assert(std::is_integral<T>::value, "type unsupported");
    void foo() {}
};

这清楚地向编译器传达了表达式和模板参数之间的依赖关系，并且更清晰，更易于阅读。 我实际上无法弄清楚你是否想要为整数类型或非整数类型的编译失败。