检测最终类的特征[重复]

Question

是否可以在编译时确定类T 是否标记为final？我一直在尝试修改this answer的做法：

template<typename T>
struct sub {
    using type = struct : T {};
};

template<typename T>
struct is_final {
    using yes = char;
    using no = struct { char arr[2]; };

    template<typename U> static yes test(...);
    template<typename U> static no  test(typename sub<U>::type*);

public:
    static constexpr bool value = sizeof (test<T>(nullptr)) == sizeof (yes);
};

但它不起作用； is_final<T>::value 始终是 false。 SFINAE 好像不是这样工作的。

如果在 C++11 中无法实现此 trait，那么如何在 C++14 中实现 (std::is_final)？是否有一些新的语言功能可以实现这一点？

Answer 1

^{根据此处的信息，在此答案之后，问题发生了根本性的变化。我不会追逐问题的演变。}

只需使用std::is_final。