小编Duc*_*van的帖子

我有简化的代码版本:

#include <experimental/type_traits>

template<class T> using has_data_t = decltype(T::data());

template <class B> constexpr auto get_data() {
    return std::experimental::is_detected_v<has_data_t, B>;
}

template <typename Topt> struct opt_base {
    static constexpr bool i = get_data<Topt>();
  //static constexpr auto j = get_data<Topt>(); // fail to compile
};

struct opt : public opt_base<opt> {
    static int data() { return 7;}
};

int main() {
    static_assert(std::experimental::is_detected_v<has_data_t, opt>);
}

这段代码编译.但是,如果您取消注释注释行,则断言失败.它用GCC 7.1和Clang 4.0.0进行了测试.编译参数:-std = c ++ 1z -O3 -Wall. 演示