static_assert编译失败，即使无处调用模板函数

static_assert fails compilation even though template function is called nowhere

本文关键字：调用 函数 assert 编译 失败 static      更新时间：2023-10-16

我使用带有标志 c++0x 的 g++ 4.6.3（目前是 ubuntu 12.04 的默认包），我偶然发现了这个：

template <typename T>
inline T getValue(AnObject&)
{
    static_assert(false , "this function has to be implemented for desired type");
}

出现编译错误：

static_assertion failed "this function has to be implemented for the desired type"

即使我还没有在任何地方调用这个函数。

这是一个 g++ 错误吗？难道不应该只在代码中的某处调用此函数时才实例化。

标准在 [temp.res]/8 中说

不得对可生成有效专用化的模板定义发出诊断。如果无法为模板定义生成有效的专用化，并且未实例化该模板，则模板定义格式不正确，无需诊断。...[ 注意：如果模板被实例化，将根据另一个模板诊断错误 本标准中的规则。确切地说，何时诊断这些错误是实施质量问题。— 尾注 ]

无法实例化

将要编译的函数模板，因此模板定义格式不正确，因此即使未实例化，编译器也允许（但不是必需的）拒绝它。

你可以让它像这样工作：

template<typename T>
struct foobar : std::false_type
{ };
template <typename T>
inline T getValue(AnObject&)
{
    static_assert( foobar<T>::value , "this function has to be implemented for desired type");
}

现在编译器不能立即拒绝函数模板，因为在实例化之前，它不知道是否会有value == true的foobar专用化。 实例化后，将实例化foobar<T>的相关专用化，并且静态断言仍将根据需要失败。

这是因为条件不以任何方式依赖于模板参数。因此，编译器甚至可以在实例化该模板之前对其进行评估，如果计算结果为 false，则生成关联的编译错误消息。

换句话说，这不是一个错误。尽管许多事情只能在模板实例化后进行检查，但编译器甚至可以在之前执行其他有效性检查。例如，这就是为什么C++具有两阶段名称查找的原因。编译器只是试图帮助您查找 100% 可能发生的错误。

这实际上是一个注释，但需要一个代码示例。

神圣标准对static_assert的措辞并不限制其对实例化代码的影响。

但是，代码

template <typename T>
inline T getValue(int&)
{
    typedef char blah[-1];  // Common C++03 static assert, no special semantics.
}
int main()
{}

也无法使用 MinGW g++ 4.7.2 进行编译，这突出了这个问题。

我认为答案是g++是正确的，Visual C++ 11.0（不会为此产生编译错误）是错误的，但我很难根据神圣标准的经文提供相关的分析。

编译器差异的一个实际结果是，目前您不能依赖该行为。

只是-fdelayed-template-parsing

相关文章：