为何无法将std::isfinite<double>作为谓词函数传递？

为什么GCC会报“未解析的重载函数类型”错误？ #

GCC在<cmath>头文件中对std::isfinite的实现是针对不同浮点类型提供独立的重载函数，而非模板函数。你写的std::isfinite<double>是错误语法——它根本不是模板，自然无法通过模板参数指定版本。编译器无法从这个写法中确定要选取哪个重载，因此标记为“未解析的重载函数类型”。

而微软编译器（MSVC）将std::isfinite实现为模板函数，std::isfinite<double>是合法写法，这就是代码能在MSVC编译但GCC报错的核心原因。

无需lambda的简便解决方案 #

方案一：显式转换为目标函数指针类型 #

通过static_cast将std::isfinite强制转换为对应类型的函数指针，让编译器明确选择正确的重载：

#include <algorithm>
#include <array>
#include <cmath>

int main()
{
    auto const a = std::array<double, 2>{{0.0, 1.0}};
    return !std::all_of(a.begin(), a.end(), static_cast<bool(*)(double)>(std::isfinite));
}

方案二：使用std::function明确类型（C++11及以上） #

借助std::function的类型推导来锁定重载版本：

#include <algorithm>
#include <array>
#include <cmath>
#include <functional>

int main()
{
    auto const a = std::array<double, 2>{{0.0, 1.0}};
    std::function<bool(double)> fn = std::isfinite;
    return !std::all_of(a.begin(), a.end(), fn);
}

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