检测习惯用法和默认参数类型匹配

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...