函数模板专门化中的布尔返回值

Question

我想知道为什么下面的函数模板特化无法编译（由于no return statement in function returning non-void ）。

class Boring {
public:
    template<typename T> bool eval() const { }
};

template<> inline bool Boring::eval<int>() const { return true; }

我希望除非使用，否则不会对非专业功能模板进行评估。 如果返回类型更改为T* ，则以下代码将成功编译。

int x = 5;

class Boring {
public:
    template<typename T> T* eval() const { }
};

template<> inline int* Boring::eval<int>() const { return &x; }

Answer 1

这两个程序的格式都正确。 尽管如果实例化和调用主eval模板会发生未定义的行为，但这不会使程序格式错误。 但是，您的编译器处于某种模式，在这种模式下，它将某些警告视为错误（也许是-Wall ），或者默认情况下会将特定警告视为错误。