无法使用 auto 来参数化true_type来检测 T：：value()

Can't detect T::value() using auto to parametrize true_type

本文关键字：检测 type value true auto 参数      更新时间：2023-10-16

使用SFINAE，has_value_int<T>和has_value_auto<T>都试图检测类T是否具有名为value的static constexpr函数。

  • 使用int参数化true_type，has_value_int<T>适用于演示类CCD_ 9和CCD_
  • 使用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(), void(), 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;
}

EDIT：使用gcc 7.3.0编译。叮当作品也是如此。

没有区别；这是一个gcc错误，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(), void(), 0)>>>
: std::true_type {};
template <class T> static constexpr bool has_value_auto = match_auto<T>::value;
相关文章：