使用SFINAE,has_value_int< T>和has_value_auto< T>两者都试图检测类T是否具有名为value的静态constexpr函数.
>使用int来参数化true_type,has_value_int< T>效劳于
演示类传递和失败.
>使用auto来参数化true_type,has_value_auto< T>总是返回false.
使用int和使用auto有什么区别,为什么auto不能工作？
具体来说,为什么重载解析更喜欢match_auto(…)到match_auto(int)？
- #include <iostream>
- using namespace std;
- // parametrize true_type
- template <int> using true_int = true_type; // works
- template <auto> using true_auto = true_type; // does not work
- // detect if T::value() is a valid compile-time expression
- template <class T> true_int<(T::value(),void(),0)> match_int(int);
- template <class T> true_auto<(T::value(),0)> match_auto(int);
- template <class> false_type match_int(...); // sometimes called
- template <class> false_type match_auto(...); // always called
- template <class T>
- static constexpr bool has_value_int = decltype(match_int<T>(0))::value;
- template <class T>
- static constexpr bool has_value_auto = decltype(match_auto<T>(0))::value;
- template <class T>
- void demo() {
- cout << has_value_int<T> << "(int)," // sometimes false
- << has_value_auto<T> << "(auto)" << endl; // always false
- }
- int main() {
- struct pass { static constexpr int value() { return 1; } };
- using fail = float;
- cout << "has_value<pass> = "; demo<pass>(); // 1(int),0(auto)
- cout << "has_value<fail> = "; demo<fail>(); // 0(int),0(auto)
- return 0;
- }
解决方法
没有区别;这是一个gcc bug,由Barry报道为
#86703.
- // detect if T::value() is a valid compile-time expression
- template <typename T,typename = void> struct match_auto : std::false_type {};
- template <typename T>
- struct match_auto<T,std::void_t<true_auto<(T::value(),0)>>>
- : std::true_type {};
- template <class T> static constexpr bool has_value_auto = match_auto<T>::value;
