c++ - SFINAE 和 sizeof 与 constexpr

Question

有时人们会写类似下面的内容 ( source ):

template<typename T>
class is_class {
    typedef char yes[1];
    typedef char no [2];
    template<typename C> static yes& test(int C::*); // selected if C is a class type
    template<typename C> static no&  test(...);      // selected otherwise
  public:
    static bool const value = sizeof(test<T>(0)) == sizeof(yes);
};

是否有一些理由不使用基于constexpr 的代码替换此类构造(基于sizeof)，例如以下代码？

template<typename T>
class is_class {
    template<typename C> static constexpr bool test(int C::*) { return true; } // selected if C is a class type
    template<typename C> static constexpr bool test(...) { return false; }     // selected otherwise
public:
    static bool constexpr value = test<T>(0);
};

我知道 constexpr 是该语言的一个相对较新的补充，但是除了必须使用旧标准(C++11 之前)之外，还有什么理由更喜欢第一个版本吗？

Answer 1

两种选择都可以。但它们之间的区别在于第一个不需要 C++11 而第二个需要。如果你至少可以自由使用 C++11——没有必要使用它们中的任何一个，已经有std::is_class了。在标准库中。

因此，如果您在某个项目中看到这样的代码，那么这个项目应该在没有 C++11 支持的情况下编译，或者它是一些遗留的。