C++ std::variant - 类型特征以验证所包含的变体类型是否满足某些假设

Question

假设我有一些类型，它们都有一个共同的父级:

struct some_tag;

struct A : some_tag;
struct B : some_tag;
struct C : some_tag;
struct D : some_tag;

单独地，可以使用以下方法测试某种类型是否是 some_tag 的子类型:

template <typename T>
using has_some_tag = std::is_base_of<some_tag, T>;

但是，假设我有一些变体可以接受任何数字以及这些类型的任意组合，例如:

using variant_1 = std::variant<A,B,C>;
using variant_2 = std::variant<B,C>;
using variant_3 = std::variant<D,A>;
...

然后，假设我使用这些变体类型作为模板参数传递给某个类，该类具有处理每种类型的访问逻辑。

template <typename V>
struct some_other_type;

对于类型 V，我希望使用 static_assertions 来满足以下条件:

1. V 是一个变体
2. V 是一种变体，仅接受从 some_tag 继承的类型。

我认为我已经将所有小部分组合在一起，但我无法找出检查变体类型的最佳方法。

我认为我需要的是一种特征，可以有效地断言特定特征适用于每种基础类型。我应该指出，这里可以做出的唯一假设是 V 应该只包含从 some_tag 继承的内容，但我们不能对这些内容的顺序或数量做出假设这需要做的事情。

有什么指点吗？

Answer 1

您可以使用部分特化:

template<class>
struct checker : std::false_type {};

template<class... Ts> 
struct checker<std::variant<Ts...>> : 
    std::bool_constant<(has_some_tag<Ts>::value && ...)> {};

然后写:

template<typename V>
struct some_other_type {
    static_assert(checker<V>::value);
};

或者，您可以使用std::conjunction而不是&&折叠:

template<class... Ts> 
struct checker<std::variant<Ts...>> : std::conjunction<has_some_tag<Ts>...> {};

编辑。 std::integral_constant<bool>被替换为std::bool_constant 。谢谢，ma​​x66。