c – 为什么std :: for_each在地图上调用copy构造函数？

这个问题在这里已经有一个答案：> unexpected copies with foreach over a map3个
我有以下简单的例子,其中我想在不可复制的对象集合上调用std :: for_each：

class A {
public:
    A() : x(0) {}
    A(const A&) = delete;

private:
    int x;
};

void func() {
    std::vector<A> v(10);
    std::map<int,A> m;

    // works as expected
    std::for_each(begin(v),end(v),[](const A& a) { /* do nothing */ });

    // error calling copy constructor
    std::for_each(begin(m),end(m),[](const std::pair<int,A>& a) { /* do nothing */ });
}

如果我将所有内容都放在一个std :: vector中,它的工作原理就像我预期的那样,但是当使用std :: map时,突然间std :: for_each想要调用(删除)的拷贝构造函数.为什么？我会假设我只是得到一个保存在地图上的对的引用,没有任何必要的副本.

解决方法

问题是std :: map有一个std :: pair< const Key,Value>作为其内部值类型.标准库容器不是明确指定,而是可以从容器类型中提取出来：

在C 11中(与C 98中相同,但是您必须使用函数对象而不是in_each中的lambda,并且还使用typedef而不是using =)：

using value_type = std::map<int,A>::value_type;
std::for_each(begin(m),[](value_type const& a) { /* do nothing */ });

在C 14做：

std::for_each(begin(m),[](auto const& a) { /* do nothing */ });

Clang 3.4,Visual Studio 2013 November CTP和GCC 4.9支持使用lambda内的auto.