为什么std :: foreach不能用于std :: vector ？ [重复]

Posted 2021-05-06

这个问题在这里已有答案：

• Why is vector<bool> not a STL container? 6个答案

我有以下代码片段，它接受std::vector<int> list并在所有向量元素中写入零。这个例子工作得非常好。

#include <vector>
#include <iostream>
#include <algorithm>

int main () {
    std::vector<int> list {1, 1, 2};
    auto reset = [](int & element){element = 0;};

    auto print = [](int element) {std::cout << element << " ";};
    std::for_each(list.begin(), list.end(), reset);
    std::for_each(list.begin(), list.end(), print);
}

如果我将矢量的类型从int更改为bool，则代码将无法编译。

#include <vector>
#include <iostream>
#include <algorithm>

int main () {
    std::vector<bool> list {true, true, false};
    auto reset = [](bool & element){element = false;};

    auto print = [](int element) {std::cout << element << " ";};
    std::for_each(list.begin(), list.end(), reset);
    std::for_each(list.begin(), list.end(), print);
}

https://godbolt.org/g/2EntgX

我不明白编译器错误信息：

/opt/compiler-explorer/gcc-7.2.0/lib/gcc/x86_64-linux-gnu/7.2.0/../../../../include/c++/7.2.0/bits/stl_algo .h：3884：2：错误：没有匹配函数来调用'（lambda at：7：18）'对象

    __f(*__first);

    ^~~

：10：10：注意：在实例化函数模板专业化'std :: for_each：7：18）>'请求这里

std::for_each(list.begin(), list.end(),reset);

     ^

：7：18：注意：候选函数不可行：第一个参数没有已知的'std :: _ Bit_iterator :: reference'（又名'std :: _ Bit_reference'）转换为'bool＆'

auto reset = [](bool & element){element = false;};

             ^

：7：18：注意：'void（*）（bool＆）'类型的转换候选人

为什么std::foreach使用std::vector<int>，但不适用于std::vector<bool>？

std::vector<bool>（参见here）的内存优化是答案的一部分吗？

答案

原因

问题源于这样一个事实，即取消引用来自std::vector<bool>的迭代器不会返回bool&，而是返回代理对象。因此，it is not regarded as stl container（感谢@KillzoneKid）。

固定

在参数列表中使用auto element。通常，如果您不关心类型，请在lambda参数列表中使用auto&&。

#include <vector>
#include <iostream>
#include <algorithm>

int main () {
    std::vector<bool> list {true, true, false};
    auto reset = [](auto && element){element = false;};

    auto print = [](int element) {std::cout<< element << " ";};
    std::for_each(list.begin(), list.end(),reset);
    std::for_each(list.begin(), list.end(),print);

}

Demo。

尝试使用auto&将trigger compilation error again，因为返回的代理不是左值，而是rvalue。因此，auto&&比平时有更多的好处。