小编The*_*der的帖子

我正在尝试编写一个函数模板，该模板采用通用引用作为参数，以便它可以接受左值引用和右值引用。

当我写下这个：

template <typename Type>
concept is_number = std::integral<Type> || std::floating_point<Type>;

template <typename Type1, typename Type2>
    requires is_number<Type1> && is_number<Type2>
[[nodiscard]] inline auto add(Type1&& num1, Type2&& num2) noexcept
{
    return num1 + num2;
}

const std::int64_t num1 { 50 };
const double num2 { 30.6 };

std::cout << add(num1, num2) << std::endl;

该代码按预期工作。add() 函数模板成功推导为

[[nodiscard]] inline double add(const std::int64_t& num1, const double& num2);

但是，当我尝试这段代码时：

template <typename Type>
    requires is_number<Type>
[[nodiscard]] inline auto absolute(Type&& number) noexcept
{
    return number < 0 …