c++ - 检测习语和默认参数类型匹配

Question

我可以编写以下代码来检测对象是否可序列化。

template <typename T, typename = int>
struct is_serializable : std::false_type {};

template<typename T>
struct is_serializable <T, decltype(std::declval<std::ostream>() << std::declval<T>(), 0)> : std::true_type { };

template <typename T>
constexpr bool is_serializable_v = is_serializable<T>::value;

我明白这是表达式 SFINAE 并且仅在表达式的类型是可推导的情况下才选择重载。否则选择默认实现。但是为什么decltype表达式的结果类型必须与默认参数的类型匹配。如果我编写以下代码，它将不再起作用：

template <typename T, typename = int>
struct is_serializable : std::false_type {};

template<typename T>
struct is_serializable <T, decltype(std::declval<std::ostream>() << std::declval<T>(), 0L)> : std::true_type { };

template <typename T>
constexpr bool is_serializable_v = is_serializable<T>::value;

Answer 1

在第二种情况下，你“专业化”

struct is_serializable <T, long> // For T serializable

但是您请求is_serializable_v的类型is_serializable <T, int>永远与您的专业不匹配。

一些默认参数说明：

template <typename T, typename = int>
struct is_serializable : std::false_type {};

// Specializations...

可以看作

template <typename T, typename = int>
struct is_serializable;
// So writing is_serializable<T> would be is_serializable<T, int>

template <typename T, typename>
struct is_serializable : std::false_type {};
// fallback for any combination not in specialization
// as <NonSerializable, int> <NonSerializable, std::string>
// <Serializable, string>
// but not <Serializable, int> which is part of specializations

// Specializations...