可以使用带有 lambda 谓词和 auto 元素的 std::remove_if 吗？

Question

我假设这是不可能的，因为我收到以下错误：

error C3533: 'auto': a parameter cannot have a type that contains 'auto'

这是重现错误的代码 sn-p：

int myInts[] = {1,2,3,3,3,4};
std::vector<int> myVec(myInts, myInts + sizeof(myInts)/sizeof(int));
myVec.erase(
    std::remove_if(myVec.begin(), myVec.end(),
        [](auto i){return i==3;}), // lambda param error
    myVec.end());

现在如果你写这个，一切都很好，它会删除值为 3 的元素：

int myInts[] = {1,2,3,3,3,4};
std::vector<int> myVec(myInts, myInts + sizeof(myInts)/sizeof(int));
myVec.erase(
    std::remove_if(myVec.begin(), myVec.end(),
        [](int i){return i==3;}),
    myVec.end());

那么你能不能像错误提示的那样直接不使用auto作为函数参数？

这是因为auto 的类型是由编译器无法推断出的右值 确定的，尽管它是在int 的已知向量上执行的算法的谓词？

有人知道原因吗？

Answer 1

遗憾的是，虽然这是在 C++0x 过程中提出的，但最终没有成功。对于简单的函子，您可能想要使用类似 Boost.Lambda 之类的东西（也许凤凰 v3 出来时也是如此），其中生成的函子是多态的（因此您无需指定任何内容）：

std::remove_if(myVec.begin(), myVec.end(),
    _1 == 3)

---

只有类型推断的解决方案：

// uses pass-by-reference unlike the question
std::remove_if(myVec.begin(), myVec.end(),
    [](decltype(myVec[0]) i){return i==3;})

Answer 2

auto 是基于您将其初始化为的值的类型推断。参数未在代码中出现的位置初始化为任何内容。

Answer 3

基本上，这已经被建议了，然后被拒绝了，并且 then lambdas被添加了，所以它几乎成功但碰巧没有，并且很可能将它变成语言未来。