C++17中如何用类型特征约束meta_array的模板参数为指定std::variant

我有一个名为meta_array的数据结构，其类型参数T是std::variant的特化类型。要求该std::variant必须包含meta_array_head_t类型（用于信息追踪），能否在C++17中用类型特征声明这一约束？

在C++17中可以通过自定义类型特征结合编译期检查来实现这一约束，下面提供两种实用的实现方式：

方法1：static_assert直接触发编译错误 #

先定义一个类型特征，用来判断std::variant是否包含目标类型，再在模板中加入编译期断言强制约束：

#include <cstdio>
#include <variant>
#include <array>
#include <type_traits>

struct meta_array_head_t {
    // end_;
    // remaining_;
    // prev_;
};

// 类型特征：检查std::variant是否包含meta_array_head_t
template <typename Variant>
struct is_variant_contains_head : std::false_type {};

template <typename... Ts>
struct is_variant_contains_head<std::variant<Ts...>> 
    : std::disjunction<std::is_same<Ts, meta_array_head_t>...> {};

// 辅助变量模板，简化调用
template <typename Variant>
inline constexpr bool is_variant_contains_head_v = is_variant_contains_head<Variant>::value;

template <typename T, size_t S>
struct meta_array
{
    // 编译期断言：T必须是不含cv限定、且包含meta_array_head_t的std::variant特化
    static_assert(std::is_same_v<std::remove_cv_t<T>, T>, "T不能带有const/volatile限定符");
    static_assert(is_variant_contains_head_v<T>, "T必须是包含meta_array_head_t的std::variant特化类型");
    
    std::array<T, S> data_; 
};

// 合法的variant类型
using val = std::variant<std::monostate, int, double, meta_array_head_t>;
// 非法的variant类型（不含meta_array_head_t）
// using bad_val = std::variant<std::monostate, int, double>;

int main()
{
    meta_array<val, 100> marray; // 正常编译
    // meta_array<bad_val, 100> bad_marray; // 触发编译错误，提示约束不满足
}

代码说明 #

• is_variant_contains_head通过偏特化匹配std::variant<Ts...>，利用std::disjunction遍历所有备选类型，只要有一个类型与meta_array_head_t匹配，就返回true_type。
• static_assert在模板实例化时直接检查约束，给出明确的错误提示，便于快速定位问题。

方法2：SFINAE限制模板可用性 #

如果希望不满足约束时模板直接不可用（而非触发断言错误），可以用std::enable_if实现SFINAE（替换失败不是错误）：

#include <cstdio>
#include <variant>
#include <array>
#include <type_traits>

struct meta_array_head_t {
    // end_;
    // remaining_;
    // prev_;
};

template <typename Variant>
struct is_variant_contains_head : std::false_type {};

template <typename... Ts>
struct is_variant_contains_head<std::variant<Ts...>> 
    : std::disjunction<std::is_same<Ts, meta_array_head_t>...> {};

template <typename Variant>
inline constexpr bool is_variant_contains_head_v = is_variant_contains_head<Variant>::value;

// 仅当T符合约束时，模板才会被实例化
template <typename T, size_t S, typename = std::enable_if_t<is_variant_contains_head_v<T>>>
struct meta_array
{
    std::array<T, S> data_; 
};

using val = std::variant<std::monostate, int, double, meta_array_head_t>;
using bad_val = std::variant<std::monostate, int, double>;

int main()
{
    meta_array<val, 100> marray; // 正常编译
    // meta_array<bad_val, 100> bad_marray; // 编译失败：找不到匹配的模板重载
}

代码说明 #

• 通过模板参数的默认值std::enable_if_t<is_variant_contains_head_v<T>>，当T不满足约束时，模板替换失败，编译器会忽略该模板，不会产生断言式的错误信息。

• 两种方法都依赖C++17的std::disjunction，若需兼容更早标准，可以手动实现递归检查的类型特征。
• 额外的std::remove_cv_t检查是为了避免const T或volatile T的情况，确保T是纯净的std::variant特化类型。

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