为什么从 void 函数模板返回时不会出现编译器错误？

Question

考虑：

void f() {
    return 5;
}

以上将引发错误。但为什么不这样呢？：

template <typename = void> void f() {
    return 0;
}

我正在使用 gcc-4.5.1 进行编译。为什么使用模板会有所不同，这样我就不会因为执行与非模板函数相同的非法返回语句而收到错误？我得到的唯一挫折是我不能在没有得到的情况下调用函数（即f()）：

error: return-statement with a value, in function returning 'void'

但是，我能够为 void 函数模板定义 return 语句的原因可能是什么？

这是我的代码：

template <typename = void> void f() {
    return 0;
}

// pass

int main() {



}

尽管在返回 void 的函数中可能存在非法的 return 语句，上述代码仍会通过。

Answer 1

大多数检查仅在您实例化模板时完成。

这通常是一件好事，因为代码可以使用一种模板参数正常工作，但无法使用另一种模板参数进行编译。如果你有模板重载，编译器甚至会忽略编译失败的候选，见SFINAE。

Answer 2

You do:

template <typename = void> void f() {
    return 0;
}

int main()
{
    f<int>();
}

prog.cpp：在函数'void f() [with = int]'中：
prog.cpp:7:12: 从这里实例化
prog.cpp:2:12: error: return-statement with a value, in function return 'void'

尽管程序仍然格式错误，但编译器选择不诊断语义错误（这是它的特权），因为您从未实际实例化该函数。

Answer 3

这是一个实施质量问题。标准中的特定引用是：

14.6/8 [...] 如果无法为模板定义生成有效的特化，并且该模板未实例化，则模板定义格式错误，无需诊断。 [...]

也就是说，您的程序格式错误，因为该模板不能用于生成任何 有效 特化，但编译器不需要对此进行诊断。当您稍后实例化模板时，编译器必须生成特化，该特化无效并且编译器会报错。

您不会在模板定义中收到错误，因为编译器遵循 no diagnostic required 路径，即忽略该问题，直到它在实例化中无法再忽略它。