C++模板类中如何根据类型尺寸选择最优参数传递类型

方案1：基于std::conditional的通用实现（兼容C++11及以上版本） #

这是适用范围最广的方案，直接用标准库的类型萃取工具实现条件判断：

1. 引入<type_traits>头文件
2. 在模板类内部定义参数类型别名：

#include <type_traits>

template<typename T>
class List {
private:
    // C++11 写法
    using argType = typename std::conditional<
        sizeof(T) > 8,
        const T&,
        T
    >::type;

    // 如果你用C++14及以上版本，可以简化为：
    // using argType = std::conditional_t<sizeof(T) > 8, const T&, T>;

public:
    void add(argType item) {
        // 函数实现
    }
};

补充优化建议：判断条件可以额外增加std::is_trivially_copyable检查，避免部分尺寸小但拷贝成本高的非平凡类型传值导致性能损失：

using argType = std::conditional_t<
    sizeof(T) > 8 || !std::is_trivially_copyable_v<T>,
    const T&,
    T
>;

方案2：C++20 基于requires的重载实现 #

如果你的编译环境支持C++20，可以直接用requires从句限制函数重载，不需要额外定义类型别名：

#include <type_traits>

template<typename T>
class List {
public:
    void add(const T& item) requires (sizeof(T) > 8) {
        // 函数实现
    }

    void add(T item) requires (sizeof(T) <= 8) {
        // 函数实现
    }
};

两种方案的选型建议 #

• 如果你的模板类里有大量函数需要用到这个参数类型，选方案1：所有函数复用同一个argType定义，后续调整规则只需要修改一处即可。
• 如果只有少数函数需要做传值/传引用的区分，选方案2：逻辑直接写在函数定义上，可读性更高。

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