为什么从 void 函数模板返回时没有收到编译器错误？

Why don't I get compiler errors from returning from a void function template?

本文关键字：编译器 错误 void 函数模板 返回 为什么      更新时间：2023-10-16

考虑：

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函数模板定义返回语句的原因是什么？

这是我拥有的代码：

template <typename = void> void f() {
    return 0;
}
// pass
int main() {

}

尽管函数返回void中可能有非法返回语句，但上述代码仍将通过。

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

这通常是一件好事，因为代码可以通过一种模板参数效果很好，但无法与另一个模板进行编译。如果您的模板过载，则编译器甚至会忽略未编译的候选人，请参阅Sfinae。

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：错误：带有值的返回插曲，在函数返回'void'

中

尽管该程序仍然是不正确的，但编译器选择不诊断语义错误（这是其特权），因为您实际上从未实际实例化该功能。

这是实施问题的质量。标准的特定报价是：

14.6/8 [...]如果无法为模板定义生成有效的专业化，并且该模板未实例化，则模板定义是不正确的，不需要诊断。[...]

也就是说，您的程序形成了病，因为该模板不能用于生成任何有效专业化，但是编译器不需要诊断此模板。稍后您实例化模板时，编译器必须生成专业化，该专业化是无效的，并且编译器抱怨。

。

您在模板定义中没有出现错误，因为编译器遵循无需诊断路径，即忽略问题，直到它在实例化中不再忽略它为止。

相关文章：