将std命名空间下的函数作为函数参数传递时的编译问题

我尝试将std命名空间下的函数作为参数传递，示例代码如下：

#include <cmath>
#include <functional>
#include <iostream>

void bar(const double v, std::function<int(int)> foo) {
  std::cout << foo(v) << std::endl;
}

int main() {
  bar(-23., std::abs);
}

这段代码编译失败，提示“no matching function for call to bar”，但去掉std前缀后可正常运行，请问这是什么原因？

原因分析 #

1. std::abs是重载函数，导致模板推导失败 #

C++标准库中，<cmath>和<cstdlib>里的std::abs存在多个重载版本：

• 整数类型重载：int abs(int)、long abs(long)、long long abs(long long)
• 浮点类型重载：double abs(double)、float abs(float)、long double abs(long double)

当你直接传递std::abs给std::function<int(int)>时，编译器无法从多个重载中确定哪一个符合目标函数签名，模板参数推导过程失败，因此找不到匹配bar函数的调用方式。

2. 全局命名空间的abs无重载歧义 #

去掉std前缀使用abs时，全局命名空间中的abs通常只暴露整数版本（这是C标准库的遗留行为，编译器会将C标准库的函数导入全局命名空间）。此时编译器能明确匹配到int abs(int)，可以顺利转换成std::function<int(int)>，因此代码能正常编译。

解决办法 #

如果你必须使用std::abs，可以通过以下方式消除歧义：

• 强制类型转换：明确指定要使用的重载版本

  bar(-23., static_cast<int(*)(int)>(std::abs));
  

• lambda包装：用lambda表达式包裹调用，明确参数和返回类型

  bar(-23., [](int x) { return std::abs(x); });
  

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