带Concept的可变参数模板：左值传参编译失败，求易用性最佳实践

问题根源 #

当使用转发引用Ts&&时，传入左值int i会让模板参数Ts推导为int&，而你的MyNumber概念直接检查T是否为整数/浮点类型——int&并不满足std::is_integral_v<int&>（该 trait 仅针对原始值类型，引用会被视为不同的类型类别），因此编译失败；而传入右值字面量时，Ts推导为int，符合约束，所以编译通过。

最佳实践 #

1. 调整概念，忽略引用后检查类型（推荐） #

修改MyNumber概念，用std::remove_reference_t消除引用对类型检查的影响，这样无论传入左值还是右值，都会检查其原始值类型是否符合要求。同时保留转发引用，后续如果需要在函数内部完美转发参数也能直接使用：

#include <type_traits>

template <typename T>
concept MyNumber = 
    std::is_integral_v<std::remove_reference_t<T>> || 
    std::is_floating_point_v<std::remove_reference_t<T>>;

template <MyNumber... Ts>
void foo(Ts&&...) noexcept {}

// 测试代码
int i {123};
int j {456};
foo(1,2,3,i,j); // 编译成功
foo(1,2,3);     // 编译成功

这种方式完全不增加调用者的负担，同时保留了转发引用的灵活性。

2. 直接使用值传递（适合无需完美转发的场景） #

如果函数内部不需要转发参数，直接采用值传递的方式，此时模板参数会推导为原始值类型，概念约束直接生效，写法更简洁：

#include <type_traits>

template <typename T>
concept MyNumber = 
    std::is_integral_v<T> || 
    std::is_floating_point_v<T>;

template <MyNumber... Ts>
void foo(Ts...) noexcept {}

// 测试代码
int i {123};
int j {456};
foo(1,2,3,i,j); // 编译成功

基础数值类型的拷贝开销可以忽略，这种写法最直观。

3. 用requires约束推导后的模板参数 #

另一种写法是通过requires子句直接约束每个推导后的Ts类型，同样需要在概念中处理引用：

#include <type_traits>

template <typename T>
concept MyNumber = 
    std::is_integral_v<std::remove_reference_t<T>> || 
    std::is_floating_point_v<std::remove_reference_t<T>>;

template <typename... Ts>
requires (MyNumber<Ts> && ...)
void foo(Ts&&...) noexcept {}

// 测试代码
int i {123};
int j {456};
foo(1,2,3,i,j); // 编译成功

这种写法更强调对模板参数包的显式约束，效果和第一种一致。

总结 #

优先选择第一种方案，它平衡了类型约束的正确性、调用的简便性和代码的扩展性；如果不需要完美转发，第二种方案是更简洁的选择。

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