如何约束C++参数包为单一类型？指定特定类型的实现方法

问题背景 #

原代码中template<class Arg> void multi(const Arg&... in)无法编译，因为模板参数Arg不是参数包，无法匹配可变参数；改为class...Arg后虽能编译，但允许传入不同类型参数。需解决两个核心问题：

1. 确保参数包内所有参数为同一类型
2. 确保multi()输入均为指定的moveonly类型

问题1：约束参数包为同一类型 #

简洁解法（C++17+） #

利用折叠表达式结合std::is_same_v做编译期静态断言，强制所有参数类型一致：

#include <type_traits>

template<class T, class... Args>
void multi(const T& first, const Args&... rest) {
    static_assert((std::is_same_v<T, Args> && ...), "All arguments must be of the same type");
    // 函数逻辑实现
}

C++11/14兼容写法 #

通过递归模板逐步校验参数类型：

#include <type_traits>

// 递归终止：单个参数时直接返回
template<class T>
void multi(const T&) {}

// 递归检查：对比当前参数与首参数类型
template<class T, class U, class... Args>
void multi(const T& first, const U& second, const Args&... rest) {
    static_assert(std::is_same<T, U>::value, "Arguments must be same type");
    multi(first, rest...);
}

C++20 Concepts方案 #

用std::same_as概念直接约束参数，代码可读性更强：

#include <concepts>

// 所有参数与第一个参数类型严格相同
template<class T, std::same_as<T>... Args>
void multi(const T&, const Args&... in) {}

// 自动推导首参数类型的简洁版本
template<std::same_as<auto>... Args>
void multi(const Args&... in) {}

问题2：约束参数均为moveonly类型 #

最直接简洁的写法 #

无需模板，直接指定参数类型为const moveonly&的参数包，编译期自动拦截非moveonly类型：

// 直接限定参数类型，非moveonly参数会触发编译错误
void multi(const moveonly&... in) {
    // 函数逻辑实现
}

模板约束写法（需保留模板场景） #

C++17+ 静态断言版

#include <type_traits>

template<class... Args>
void multi(const Args&... in) {
    static_assert((std::is_same_v<Args, moveonly> && ...), "All arguments must be moveonly");
    // 函数逻辑实现
}

C++20 Concepts版

#include <concepts>

template<std::same_as<moveonly>... Args>
void multi(const Args&... in) {
    // 函数逻辑实现
}

补充说明 #

原代码中moveonly删除了拷贝构造函数，但const moveonly&可以正常绑定到左值对象（仅引用，不触发拷贝），因此multi(i,j,k)可以正常编译。若需支持右值传入，可将参数改为moveonly&&...或auto&&...并配合类型约束。

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