c++之使用 C++17/20 简化模板 has_field

给出下一个工作解决方案:

template<typename T, typename = void> 
struct has_value_t : std::false_type { }; 
 
template<typename T> 
struct has_value_t<T, decltype(T::value, void())> : std::true_type { }; 
 
template<typename T> 
constexpr bool has_value = has_value_t<T>::value; 

template<typename T> 
constexpr bool has_value = .....; 

template<typename T> 
enable_if_t<has_value<T>, 
std::ostream&> operator<<(std::ostream& os, T const& arg) 
{ 
    return os << arg.value; 
} 

请您参考如下方法:

如果 C++20 在桌面上，你可以用一个检查一个简单需求的概念来做到这一点

template <typename T> 
concept has_value = requires(T) { 
    T::value; 
}; 
 
template<typename T> requires has_value<T> 
std::ostream& operator<<(std::ostream& os, T const& arg) 
{ 
    return os << arg.value; 
}