标准重载std::abs无法匹配std::function<double(double)>的原因？

编译错误信息 #

min.cpp:17:30: error: no viable conversion from '' to 'Container::UnaryFun' (aka 'function<double (double)>')
this->addFunction("abs", abs);

测试代码 #

#include <cmath>
#include <string>
#include <functional>

class Test
{
public:
  using UnaryFun  = std::function<double (double)>;

  Test()
  {
    this->addFunction("abs", abs);
  }
  auto addFunction(const std::string& name, UnaryFun fun) -> void
  {
    // ...
  }
};

auto main() -> int {
  Test eval;
  return 0;
}

测试观察结果 #

• 确认std::abs存在double类型的重载：

  inline _LIBCPP_INLINE_VISIBILITY double abs(double __lcpp_x) _NOEXCEPT {
    return __builtin_fabs(__lcpp_x);
  }
  

• 单独调用std::abs(double)可正常编译无警告
• 自定义同签名的xabs函数传入addFunction可正常编译，但std::abs报错
• 若addFunction参数改为函数指针double (*fun)(double)，std::abs可正常匹配

问题原因 #

核心原因是重载函数名在隐式转换场景下无法自动确定具体的重载版本：

1. 当传递std::abs给std::function<double(double)>类型参数时，编译器需要同时完成「重载决议选版本」和「函数指针转std::function」两步操作，但C++规则不允许隐式转换序列包含重载决议——编译器没法在转换过程中自动筛选符合std::function签名的重载。
2. 当参数是明确的函数指针类型double(*)(double)时，重载决议有了明确的目标类型，编译器能直接匹配对应的std::abs重载，之后再完成传递。
3. 自定义函数xabs没有重载，编译器能直接确定其类型，因此可以顺利转换为std::function。

解决方法 #

可以通过显式指定重载版本来解决：

// 方法1：强制转换为对应函数指针
this->addFunction("abs", static_cast<double(*)(double)>(std::abs));

// 方法2：用lambda包裹（更直观）
this->addFunction("abs", [](double x) { return std::abs(x); });

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