时间戳

首页 > 解决方案 > 模板参数推断失败

c++ - 模板参数推断失败

问题描述

考虑以下代码：

template<class T>
vector<T> filter(typename vector<T>::iterator begin,
          typename vector<T>::iterator end,
          bool (*cond)(T a))
{
    vector<T> vec;
    for (typename vector<T>::iterator it = begin; it != end; it++) {
        if (cond(*it)) {
            vec.push_back(*it);
        }
    }
    return vec;
}

vector<int> vec = { 1,2,3,4,5,6,7,8,9,10 };
auto another_vec = filter<int>(vec.begin(), vec.end(), [](int a) {return a > 5; });

当我从函数过滤器的调用中删除类型时，代码无法编译，即编写时

filter(vec.begin(), vec.end(), [](int a) {return a > 5; });

我的问题是，为什么？编译器可以从 lambda 和迭代器中推断出类型。

我得到的错误是：

错误 C2784 'std::vector> filter(vector>::iterator,vector>::iterator,bool (__cdecl *)(T))'：无法从'main::' 示例 c:\users\danii\documents\visual studio 2017\projects\example\example\source.cpp 24

我找不到有关此问题的详细信息。我的猜测是，编译器不能推断内部类型？（例如，不能从vector推断出int）。如果是这样，为什么会这样？如果不是，是什么情况？有什么办法可以解决吗？

我遇到的另一件事是使用迭代器本身作为模板，即类似

template <class T, class iter, class cond>
vector<T> filter(iter begin, iter end, cond c)

是正确的编程吗？这段代码对我来说有点可疑。

标签： c++templatestemplate-argument-deduction

解决方案

这是因为 lambda 类型不完全是预期的函数类型，所以模板推导不起作用。编译器不能同时进行隐式转换和模板推导。如果你使用一个函数，它会：

bool f(int a) {
    return a > 5;
}

int main() {
    vector<int> vec = { 1,2,3,4,5,6,7,8,9,10 };
    auto another_vec = filter(vec.begin(), vec.end(), f); 
    return 0;
}

推荐阅读