C++如何基于外层可变模板参数实现匹配的非类型模板参数函数？

需求描述 #

定义如下形式的模板结构体：

template <typename... Types>
struct acceptor {
  // 补充模板参数部分
  template <
    // 需要实现的模板参数
  >
  static inline void accept(void) { 
    // ...
  }
};

要求支持以下调用逻辑：accept的非类型模板参数数量、类型需与外层acceptor的模板类型参数一一对应，示例调用如下：

int main(void) {
  acceptor<int, int, float>::template accept<0, 1, 0.5f>();
  acceptor<unsigned long, double>::template accept<6UL, -4.6>();

  return 0;
}

尝试方案的问题 #

曾尝试直接使用外层Types展开非类型参数：

template <
  Types... Values
>
static inline void accept(void) {
 // ...
}

编译报错wrong number of template arguments (<指定的参数数量>, should be 1)，原因是该写法仅会生成第一个Types类型的可变参数，无法实现与外层所有类型一一对应的效果。

可行实现方案（C++20及以上） #

该需求可以在C++20及更高版本中简洁实现，核心利用模板参数包展开+概念约束来保证参数匹配：

完整实现代码 #

#include <concepts>

template <typename... Types>
struct acceptor {
  template <auto... Values>
    requires ((std::same_as<decltype(Values), Types>) && ...)
  static inline void accept(void) {
    // 可在此编写业务逻辑，例如打印参数示例：
    ((std::cout << Values << " "), ...);
    std::cout << "\n";
  }
};

代码说明 #

1. 使用auto... Values作为非类型模板参数包，接受任意合法的编译期常量；
2. 通过requires约束中的折叠表达式((std::same_as<decltype(Values), Types>) && ...)，强制每个Values的类型与对应位置的Types完全一致，确保参数数量、类型的一一匹配；
3. 若传入的参数不匹配（数量或类型错误），编译器会直接触发编译错误，提前拦截非法调用。

验证示例 #

搭配测试代码编译运行（需开启C++20支持，GCC添加-std=c++20编译选项）：

#include <iostream>

int main(void) {
  acceptor<int, int, float>::template accept<0, 1, 0.5f>();
  acceptor<unsigned long, double>::template accept<6UL, -4.6>();

  // 以下为错误示例，会触发编译错误
  // acceptor<int, float>::template accept<3.14f, 5>();

  return 0;
}

执行后输出：

0 1 0.5 
6 -4.6 

版本兼容说明 #

• C++20及以上版本可直接使用上述简洁方案；
• C++17及更早版本无法利用概念约束，需通过SFINAE结合类型萃取实现类似检查，但写法会繁琐很多，不推荐。

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