现代C++中如何约束模板可变参数为同一容器模板的特化类型

要实现仅接受同一模板特化类型作为可变参数的Lists结构体，核心思路是通过模板元编程的类型萃取提取每个参数的原始模板，再通过编译期检查确保所有参数的模板类型与指定的List模板完全一致。以下是两种现代C++的实现方案：

方案1：C++20 概念（Concepts）实现（推荐） #

利用C++20引入的概念特性，可以直接在模板参数层面做约束，代码更简洁直观：

步骤1：实现模板类型萃取 #

首先定义类型萃取工具，从特化类型中还原出原始模板：

#include <type_traits>

// 类型萃取：从特化类型中提取原始模板
template<typename T>
struct template_traits;

// 针对可变参数模板的特化
template<template<typename...> class Template, typename... Args>
struct template_traits<Template<Args...>> {
    // 定义别名，返回原始模板
    template<typename... NewArgs>
    using type = Template<NewArgs...>;
};

// 辅助别名，简化萃取使用
template<typename T>
using template_t = typename template_traits<T>::type;

步骤2：定义约束概念 #

创建概念IsSpecializationOf，用于检查某类型是否是指定模板的特化：

template<template<typename...> class Template, typename T>
concept IsSpecializationOf = requires {
    // 确保T是某个模板的特化（能通过template_traits萃取）
    typename template_traits<T>::template type<>;
    // 检查萃取得到的模板与指定Template一致
    requires std::is_same_v<template_t<T>, Template>;
};

步骤3：实现Lists结构体 #

用概念约束可变参数，只有符合条件的类型才能通过编译：

template<template<typename...> class List, IsSpecializationOf<List>... Ts>
struct Lists {};

方案2：兼容C++17及更早版本的static_assert实现 #

如果需要兼容C++17或更早版本，可以用static_assert结合折叠表达式做编译期检查：

#include <type_traits>

// 同方案1的类型萃取代码
template<typename T>
struct template_traits;

template<template<typename...> class Template, typename... Args>
struct template_traits<Template<Args...>> {
    template<typename... NewArgs>
    using type = Template<NewArgs...>;
};

template<typename T>
using template_t = typename template_traits<T>::type;

// 实现Lists结构体，内部用static_assert检查
template<template<typename...> class List, typename... Ts>
struct Lists {
    // 折叠表达式：逐个检查每个Ts的萃取模板是否等于List
    static_assert((std::is_same_v<template_t<Ts>, List> && ...), 
                  "编译错误：所有可变参数必须是同一List模板的特化类型");
};

测试示例 #

假设我们有自定义模板MyList，测试两种情况：

// 自定义模板示例
template<typename T>
struct MyList {};

// 合法：所有参数都是MyList的特化
Lists<MyList, MyList<int>, MyList<double>, MyList<std::string>> valid_lists;

// 非法：混合了MyList和std::vector的特化，触发编译错误
// Lists<MyList, MyList<int>, std::vector<double>> invalid_lists;

注意事项 #

• 如果List是带非类型模板参数的模板（比如std::array），需要调整template_traits的特化实现来适配：

  template<template<typename, std::size_t> class Template, typename T, std::size_t N>
  struct template_traits<Template<T, N>> {
      template<typename NewT, std::size_t NewN>
      using type = Template<NewT, NewN>;
  };
  

• 类型萃取仅支持模板特化类型，若传入非模板特化类型（比如int），两种方案都会触发编译错误，符合需求。

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