如何在C++20中定义Concept检查类型是否匹配类型列表任意类型

你当前的代码问题确实是没有正确解包TypeList内部的类型参数包。当把SupportedTypes传给IsAnyOf的第二个模板参数时，Types...被推导为仅包含TypeList<int, bool, float, long>的单参数包，而非TypeList内部的int, bool, float, long，所以std::is_same_v<bool, Types>实际在比较bool和整个TypeList类型，断言自然失败。

下面是两种可行的解决方案：

方法一：基于折叠表达式的Concept偏特化实现 #

直接针对TypeList类型做Concept的偏特化，提取内部的类型包进行比较：

template<typename... Types>
struct TypeList {};

using SupportedTypes = TypeList<int, bool, float, long>;

// 默认情况：非TypeList类型不满足概念
template<typename T, typename TL>
concept IsAnyOf = false;

// 偏特化：当第二个参数是TypeList<Types...>时，检查T是否是Types中的任意一个
template<typename T, typename... Types>
concept IsAnyOf<T, TypeList<Types...>> = (std::is_same_v<T, Types> || ...);

// 测试断言
static_assert(IsAnyOf<bool, SupportedTypes>);       // 断言通过
static_assert(!IsAnyOf<double, SupportedTypes>);    // 断言通过（double不在列表中）

方法二：结合std::disjunction的实现 #

如果偏好使用std::disjunction，同样通过偏特化来解包TypeList：

#include <type_traits>

template<typename... Types>
struct TypeList {};

using SupportedTypes = TypeList<int, bool, float, long>;

template<typename T, typename TL>
concept IsAnyOf = false;

template<typename T, typename... Types>
concept IsAnyOf<T, TypeList<Types...>> = std::disjunction_v<std::is_same<T, Types>...>;

// 测试断言
static_assert(IsAnyOf<bool, SupportedTypes>);
static_assert(!IsAnyOf<double, SupportedTypes>);

两种方法的核心逻辑一致：通过Concept的偏特化，仅当第二个模板参数是TypeList<Types...>时，才会将Types...解析为TypeList内部的类型包，进而逐个与目标类型T比较，完成“是否属于列表中任意类型”的检查。

内容的提问来源于stack exchange，提问作者monre