C++模板元编程 实测2

第一章习题5：
使用SFINAE构造一个元函数：输入一个类型T，当T存在子类型type时该元函数返回true，否则返回false。

copilot给出的答案是

// 检测嵌套类型type存在的版本
template <typename T>
auto has_type_impl(int) -> decltype(std::declval<typename T::type>(), std::true_type{});
 
// 检测嵌套类型type不存在的版本
template <typename T>
std::false_type has_type_impl(...);
 
// 元函数，返回是否存在嵌套类型type
template <typename T>
constexpr bool has_type = decltype(has_type_impl<T>(0))::value;

注意：

1. 不能将...改为int，因为这样无法决定使用哪个函数。
2. decltype(std::declval<typename T::type>(), std::true_type{})使用了逗号表达式，返回值是右侧std::true_type{}。

也可以这么写：

template<typename T, typename T::type* = nullptr>
constexpr bool has_subtype(int)
{
    return true;
}
 
template<typename T>
constexpr bool has_subtype(...)
{
    return false;
}
 
template<typename T>
constexpr bool has_subtype_t = has_subtype<T>(0);

同样，这里利用了...较低的优先级，如果不增加int和...，无法通过编译。这种写法更接近熟悉的SFINAE。
另一种可行的写法：

template<typename T, typename U = void>
struct has_subtype : std::false_type {};
 
template<typename T>
struct has_subtype<T, std::void_t<typename T::type>> : std::true_type {};
 
template<typename T>
constexpr bool has_subtype_t = has_subtype<T>::value;

我们不能省略std::void_t，如果我们省略它，第二个模板不会起效，具体原因未知（copilot认为可能是编译器无法正确解析嵌套类型）。：<