基于循环复制范围内的省略

时间:2015-02-16 09:50:12

标签: c++ c++11 copy-elision

我有以下代码:

#include <iostream>
#include <vector>

using namespace std;

class A {
    public:
    A() {    
    }

    A(const A &a) {
        cout << "Copied!" << endl;
    }
};

int main()
{
   vector<A> vec;
   vec.push_back(A());
   vec.push_back(A());
   vec.push_back(A());
   cout << "Hello World" << endl;

   for (A &a: vec) {
       cout << "loop1" <<endl;
   }
   for (A a: vec) {
       cout << "loop2" <<endl;
   }

   return 0;
}

我运行了这个程序并打印出来:

Copied!
Copied!
Copied!
Hello World
loop1
loop1
loop1
Copied!
loop2
Copied!
loop2
Copied!
loop2

我的问题是为什么要复印?致电push_back(A())时,为什么副本没有被删除?在for (A a: vec)行中,为什么副本没有被删除?

我正在使用以下命令进行编译: sh-4.3# g++ -std=c++11 -O3 -o main *.cpp

1 个答案:

答案 0 :(得分:3)

很简单,因为在这种情况下没有允许复制省略的规则。

通常只有在从函数返回值或复制初始化时才允许。在其他每种情况下,副本都有副作用(例如您的I / O),禁止复制。

如果规则如此松懈,以至于无论副本的副作用是什么,任何副本都可能被禁止,那将是一种疯狂的标准:你将失去任何能力确定性地合理化你的计划。此外,在一般情况下,编译器确定这样做是安全的,这在计算上是不可行的。

仅针对循环的异常,或仅针对不使用循环值的循环的异常,将是不合逻辑的。