如何为接受模板参数包的函数实现按类型自动选择传值或万能引用的参数声明？

你这个需求太典型了——想让带参数包的函数模板自动对标量类型用传值、非标量类型用万能引用，既保留标量传值的性能优势，又能对复杂类型完美转发。类模板靠推导指南能搞定，但函数模板确实得换个思路，不过完全可行，而且实现起来和你之前的代码逻辑一脉相承！

核心思路还是复用你定义的MaybeRef类型映射，只不过函数模板没法像类那样用推导指南直接修改模板参数，所以我们可以用两层函数转发的方式：外层函数负责推导原始的参数类型，然后把每个参数转发给内层函数，内层函数的参数就是经过MaybeRef转换后的类型，这样每个参数都会自动匹配「标量传值/非标量万能引用」的规则。

完整实现代码 #

#include <cstdio>
#include <string>
#include <type_traits>
#include <utility>
#include <typeinfo>

// 和你类模板里一致的类型映射模板
template <typename T>
using MaybeRef = std::conditional_t<
    std::is_scalar_v<std::decay_t<T>>,
    std::decay_t<T>,
    T&&
>;

// 辅助函数：打印单个参数的处理类型（仅用于演示）
template <typename T>
void print_arg_info() {
    if constexpr (std::is_scalar_v<std::decay_t<T>>) {
        std::printf("  - 标量类型，传值 (%s)\n", typeid(std::decay_t<T>).name());
    } else {
        if constexpr (std::is_lvalue_reference_v<T>) {
            std::printf("  - 非标量左值，万能引用 (%s&)\n", typeid(std::remove_reference_t<T>).name());
        } else {
            std::printf("  - 非标量右值，万能引用 (%s&&)\n", typeid(std::remove_reference_t<T>).name());
        }
    }
}

// 内层函数：实际实现业务逻辑的地方，参数已经是我们想要的类型
template <typename... Ts>
void foo_impl(MaybeRef<Ts>... args) {
    std::puts("当前参数处理情况：");
    // 用C++17折叠表达式遍历所有参数，打印类型信息
    (print_arg_info<Ts>(), ...);
    
    // 这里写你的实际业务逻辑，比如：
    // process(args...);
}

// 外层转发函数：负责推导原始参数类型，转发给内层函数
template <typename... Ts>
void foo(Ts&&... args) {
    // 显式指定内层函数的模板参数为推导得到的Ts...，并用forward完美转发
    foo_impl<Ts...>(std::forward<Ts>(args)...);
}

int main() {
    int x = 42;
    std::string str = "hello";
    
    // 测试混合类型的参数包
    foo(123, x, str, std::string("world"), 3.14f);
    
    return 0;
}

代码工作原理 #

1. 类型映射核心：MaybeRef<T> 完全复用了你之前的逻辑——对衰减后的标量类型用传值，非标量类型保留万能引用的特性（自动适配左值/右值）。
2. 外层转发函数：foo(Ts&&... args) 是一个普通的转发函数，它会自动推导传入的每个实参的原始类型 Ts...，然后用 std::forward 把参数转发给内层的 foo_impl，同时显式告诉 foo_impl 要使用的模板参数是 Ts...。
3. 内层实现函数：foo_impl(MaybeRef<Ts>... args) 的参数列表会自动把每个 Ts 转换成我们想要的类型：
   • 标量类型（比如 int、float）会被转换成传值类型，参数直接拷贝进来（符合你要的性能优化需求）。
   • 非标量类型：如果实参是左值，Ts 会是 X&，MaybeRef<Ts> 最终变成 X&（万能引用的左值情况）；如果实参是右值，Ts 会是 X，MaybeRef<Ts> 最终变成 X&&（万能引用的右值情况），完美实现了非标量的完美转发。

额外说明 #

• 这种方式完全支持任意混合类型的参数包——不管参数包里有多少个标量和非标量，每个参数都会被独立处理，不需要你手动拆分参数包。
• 如果你的编译器支持C++20及以上，也可以用概念约束来进一步优化类型检查，但两层函数的方式已经足够简单直观，和你现有的代码风格完全对齐。
• 如果你不想用两层函数，也可以尝试把 MaybeRef 直接写到函数的参数列表里，但两层函数的方式更清晰，也更容易调试和扩展。

备注：内容来源于stack exchange，提问作者lobelk