C++ Rational类泛型构造函数参数传递方式选型咨询

我希望为自定义的Rational类型实现一个受concept约束的泛型构造函数，以此避免为Natural、Integer、Real、Irrational、Complex等类型及其组合编写大量重载构造函数。

最初编写的代码如下：

template<Numerical L, Numerical R>
[[nodiscard]] constexpr Rational(const L&& numerator, const R&& denominator) noexcept
    : _numerator(static_cast<Integer>(std::forward<L>(numerator))),
      _denominator(static_cast<Integer>(std::forward<R>(denominator))) {}

注：

• _numerator和_denominator是Integer类型，这是int的强类型别名
• 我花了些时间才明白为何不能用const修饰右值引用。

移除const后，发现代码中部分使用左值（const）引用的场景需要借助标准库的限定符移除类型特性才能正常工作，目前代码可运行，但不确定该构造函数的正确参数传递方式。

Numerical概念的定义如下：

template <typename T>
concept Number = ((
    std::is_same_v<T, Natural> ||
    std::is_same_v<T, Integer> ||
    std::is_same_v<T, Rational> ||
    std::is_same_v<T, Irrational> ||
    std::is_same_v<T, Real> ||
    std::is_same_v<T, Complex>
) && requires {
    T::symbol;  /* Check if 'T' has a static member named 'symbol' */
    { T::symbol } -> std::same_as<const MathSymbol&>;  // Check if 'T::symbol' has the type MathSymbol
} );

// Helper to remove const, volatile, and reference qualifiers
template<typename T>
using remove_cvref_t = std::remove_cv_t<std::remove_reference_t<T>>;

template <typename T>
concept Numerical = Number<remove_cvref_t<T>> || std::is_arithmetic_v<remove_cvref_t<T>>;

由于大部分类型是原生类型或自定义强类型，我考虑过始终按值传递参数，但不确定是否合适。想请教：

1. 针对此类API，参数按值、左值引用、右值引用（Scott Meyers万能引用）传递的通用选型规则是什么？
2. 万能引用在哪些场景下才真正适用？

一、通用参数传递选型规则 #

1. 按值传递 #

• 适用场景：参数是小型类型（如原生算术类型int、float，或底层为小类型的自定义强类型，比如你的Integer）；需要在函数内部修改参数且不影响外部原始值；参数需被多次拷贝。
• 优势：代码简洁，无引用生命周期风险；小类型拷贝成本远低于引用的间接访问成本。
• 你的场景适配：Numerical涵盖的多数类型是原生算术类型或强类型别名，按值传递完全可行——拷贝开销可忽略，还能规避引用转发的复杂逻辑。

2. 左值引用传递（const T&） #

• 适用场景：参数是大型对象（拷贝成本高的自定义类），且仅需读取参数值、无需修改。
• 优势：避免不必要的拷贝，节省内存与性能开销。
• 注意：const T&可接收临时右值，但无法利用右值的移动语义。

3. 纯右值引用传递（T&&，非万能引用） #

• 适用场景：需接收临时对象并移动其资源（而非拷贝）以优化性能。
• 注意：仅能接收右值，适用范围较窄。

4. 万能引用（T&&，结合模板参数推导） #

• 本质：当T是模板参数且触发类型推导时，T&&成为万能引用，可同时接收左值与右值，并保留参数的值类别（左值/右值）。

二、万能引用的核心适用场景 #

万能引用并非通用方案，以下是它的真正适用场景：

1. 完美转发：需要将参数原封不动转发给其他函数（如构造函数初始化成员、调用内部函数），同时保留参数的值类别——左值保持左值属性，右值可被移动。
2. 兼容所有值类别的模板函数：当模板函数需处理任意类型的左值和右值，且不想编写多个重载版本时，万能引用可大幅减少代码冗余。
3. 移动语义的通用包装：标准库中的std::forward、std::make_unique等工具，均依赖万能引用实现完美转发与移动优化。

三、针对你的Rational构造函数的建议 #

结合你的场景（最终需将参数转换为Integer类型，且多数参数为小类型），按值传递是更简单高效的选择，代码可修改为：

template<Numerical L, Numerical R>
[[nodiscard]] constexpr Rational(L numerator, R denominator) noexcept
    : _numerator(static_cast<Integer>(numerator)),
      _denominator(static_cast<Integer>(denominator)) {}

• 原生类型与强类型别名的拷贝成本可忽略，代码比万能引用更简洁，无需处理std::forward和引用限定符问题。
• 若后续出现拷贝成本高的大型Numerical类型（如复杂的Complex类型），再考虑为该类型单独重载构造函数，或改用万能引用+std::forward实现移动优化。

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