C++函数模板万能引用匹配失败问题求助

你的问题出在概念（concept）对引用类型的检查逻辑上，结合万能引用的类型推导规则，导致absolute模板无法匹配调用。

核心原因分析 #

1. 万能引用的类型推导规则：
   当你给万能引用参数Type&&传入一个const左值（比如const double num3）时，模板参数Type会被推导为const double&（左值引用类型）。此时函数参数会通过引用折叠变为const double&（即const double& && → const double&）。

2. 概念的检查逻辑缺陷：
   你定义的is_number概念直接检查Type是否满足std::integral或std::floating_point，但这两个标准概念只接受非引用、非cv限定的对象类型——引用类型（比如const double&）并不满足这两个概念的要求，因此absolute模板会因不满足约束被编译器排除，最终出现"找不到匹配的重载函数"的错误。

3. 关于add的运行疑问：
   你描述的add推导结果存在偏差：实际上如果按照你给出的is_number概念，add的调用也应该失败（因为Type1会被推导为const std::int64_t&，同样不满足std::integral）。能运行的可能性是你实际代码中对is_number的实现做了隐式调整，或者编译器旧版本对概念的处理存在差异，但这不是标准行为。

解决方案 #

修改is_number概念，使用std::remove_cvref_t剥离类型的引用和cv限定符，检查底层的原始类型是否为算术类型：

#include <concepts>
#include <utility> // 包含std::remove_cvref_t

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

// absolute模板保持不变
template <typename Type>
    requires is_number<Type>
[[nodiscard]] inline auto absolute(Type&& number) noexcept
{
    return number < 0 ? -(number) : number;
}

const double num3 { -12.5 };
std::cout << absolute(num3) << std::endl; // 现在可正常编译运行

补充说明 #

• std::remove_cvref_t<Type>会同时移除类型的引用（左值/右值）和const、volatile限定符，确保我们检查的是原始的算术类型本身。
• 这个修改同时也能让add模板的行为符合预期，无论传入左值、右值、const或非const的算术类型，都能正确匹配模板。

内容的提问来源于stack exchange，提问作者The Lonesome Coder