为何std::isalpha无法触发模板参数推导，包装后却可行？

我有一个成员函数基于“谓词”类型模板化的类，此前旧版MSVC编译器可以正常编译调用foo.Match(std::isalpha)的代码，但新版MSVC（v19.38.33133）和clang 17.0.1都提示无法推导谓词的模板参数。但只要对std::isalpha做一层包装，或者使用自定义的字符判断函数就能正常编译，这是什么原因？字符分类函数有什么特殊之处？

补充：x64 MSVC v19.37版本仍能编译通过该代码。

示例代码：

#include <cctype>
#include <iostream>

int WrappedIsAlpha(int ch) { return std::isalpha(ch); }
int MyIsAlpha(int ch) {
    return ('A' <= ch && ch <= 'Z') ||
           ('a' <= ch && ch <= 'z');
}

class Foo {
    public:
        explicit Foo(char ch) : m_ch(ch) {}

        template <typename Predicate>
        bool Match(Predicate P) const {
            return P(m_ch) != 0;
        }

    private:
        char m_ch;
};

int main() {
    Foo foo('x');
    // 编译器无法推导Predicate模板参数（旧版MSVC可正常编译）
    std::cout << foo.Match(std::isalpha) << std::endl;

    // 包装函数可解决问题，为什么它们的签名和std::isalpha看起来一样？
    std::cout << foo.Match(WrappedIsAlpha) << std::endl;
    std::cout << foo.Match(MyIsAlpha) << std::endl;

    return 0;
}

问题根源 #

1. std::isalpha不是单一函数，而是重载集合 #

C++标准允许<cctype>中的字符分类函数（如std::isalpha）以重载函数的形式实现。比如某些实现会提供针对不同字符类型的重载版本，或是为兼容C语言接口做了特殊处理。这意味着std::isalpha不是一个具有明确单一类型的函数实体，而是一组候选函数的集合。

模板参数推导需要编译器确定一个明确的类型，面对重载集合时，编译器无法自动判断要选用哪个重载版本，因此推导失败。

2. 旧版MSVC的非标准扩展 #

旧版MSVC（如v19.37）可能实现了非标准的编译器扩展，允许从重载函数集合中推导模板参数。但新版MSVC和clang严格遵循C++标准，取消了这个非标准行为，所以现在会报错。

3. 自定义包装函数的特殊性 #

WrappedIsAlpha和MyIsAlpha是无重载的单一函数，它们的类型是明确的int(*)(int)（接受int参数、返回int的函数指针）。当把它们传递给Match模板函数时，编译器可以直接推导出Predicate的类型为这个函数指针类型，因此推导成功。

解决方法 #

除了用包装函数，还可以通过以下方式解决：

• 显式指定模板参数，明确告诉编译器要选用的函数类型：

  foo.Match<int(*)(int)>(std::isalpha)
  

• 使用lambda表达式包装std::isalpha，lambda的类型是明确的闭包类型，可被模板推导：

  foo.Match([](int ch){ return std::isalpha(ch); })
  

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