为何std::views::filter无法推导带auto参数的函数指针类型？

你遇到的问题核心在于：带auto参数的函数是函数模板，而非一个具体的函数。

当你直接把isnt_nullptr传给views::filter时，编译器需要将其解析为一个确定类型的可调用实体，但函数模板本身没有固定的类型——它需要被实例化为具体的函数后才能形成函数指针。而std::views::filter的构造逻辑无法自动推导并实例化这个模板的参数，因此报出“无法匹配重载函数类型”的错误。

为什么其他写法可行？ #

• 显式指定参数类型的函数
  当你把函数改成auto isnt_nullptr(tuple<long int, int*> t)后，它就变成了一个普通的非模板函数，有明确的参数和返回值类型。此时编译器可以直接将其转换为对应的函数指针，views::filter能正常接受这个确定的可调用实体。

• lambda表达式
  lambda是编译器生成的闭包类型，它本身是一个具体的类型，而非模板。即使lambda的operator()是模板（比如[](auto pair){...}），闭包类型本身是确定的，views::filter可以接受这个闭包对象，在后续遍历执行过滤逻辑时，才会根据实际传入的元素类型实例化lambda的operator()，进而完成过滤判断。

• 用lambda包装模板函数
  和直接用lambda的原理类似，这里的lambda是一个具体的闭包类型，它的operator()会在调用时接收具体的参数类型，此时再去实例化isnt_nullptr模板函数，编译器能顺利推导出模板参数，因此代码可以正常运行。

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