为什么我无法从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'

但尽管如此，这可能是我能够定义一个return语句为void函数模板的原因？

这里是我的代码：

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

// pass 

int main() { 



} 

上面的代码会通过，尽管在一个功能想必非法return语句返回void。

Answer 1

这是实施质量问题。从标准的具体报价为：

14.6/8 [...] If no valid specialization can be generated for a template definition, and that template is not instantiated, the template definition is ill-formed, no diagnostic required. [...]

也就是说，生病形成你的程序，因为模板不能用来产生任何有效专业化，但不是必需的编译器来诊断这一点。当稍后您实例化模板时，编译器必须生成专门化，专业化无效且编译器投诉。

由于编译器在之后没有要求诊断路径，所以在模板定义中没有出现错误，即忽略该问题，直到它在实例化中不再忽略它为止。

Answer 2

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

这通常是一件好事，因为代码可以在一种模板参数下正常工作，但无法与另一种模板参数一起编译。如果您有模板重载，编译器甚至会忽略无法编译的候选对象，请参阅SFINAE。

Answer 3

You do：

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

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

prog.cpp: In function 'void f() [with = int]':
prog.cpp:7:12: instantiated from here
prog.cpp:2:12: error: return-statement with a value, in function returning 'void'

尽管程序仍然是形成不良，编译器选择不诊断语义错误（这是它的特权），因为你从来没有真正实例该功能。