복사 제거는 불필요한 객체 복사 / 이동을 제거하는 컴파일러 최적화 기술입니다.

다음과 같은 상황에서 컴파일러는 복사 / 이동 작업을 생략 할 수 있으므로 연관된 생성자를 호출하지 않아도됩니다.

1. NRVO (Named Return Value Optimization) : 함수가 값으로 클래스 유형을 리턴하고 리턴 명령문의 표현식이 자동 저장 기간 (함수 매개 변수 아님)을 갖는 비 휘발성 오브젝트의 이름 인 경우 복사 / 이동 비 최적화 컴파일러에 의해 수행되는 것은 생략 될 수 있습니다. 그렇다면 반환 된 값은 함수의 반환 값이 이동되거나 복사 될 스토리지에 직접 구성됩니다.
2. RVO (Return Value Optimization) : 함수가 순진한 컴파일러에 의해 목적지로 이동 또는 복사 될 이름없는 임시 오브젝트를 리턴하는 경우, 복사 또는 이동은 1에 따라 생략 될 수 있습니다.

#include <iostream>
using namespace std;

class ABC
{
public:
    const char *a;
    ABC()
     { cout<<"Constructor"<<endl; }
    ABC(const char *ptr)
     { cout<<"Constructor"<<endl; }
    ABC(ABC  &obj)
     { cout<<"copy constructor"<<endl;}
    ABC(ABC&& obj)
    { cout<<"Move constructor"<<endl; }
    ~ABC()
    { cout<<"Destructor"<<endl; }
};

ABC fun123()
{ ABC obj; return obj; }

ABC xyz123()
{  return ABC(); }

int main()
{
    ABC abc;
    ABC obj1(fun123());//NRVO  
    ABC obj2(xyz123());//NRVO  
    ABC xyz = "Stack Overflow";//RVO  
    return 0;
}

**Output without -fno-elide-constructors**
root@ajay-PC:/home/ajay/c++# ./a.out
Constructor
Constructor
Constructor
Constructor
Destructor
Destructor
Destructor
Destructor

**Output with -fno-elide-constructors**
root@ajay-PC:/home/ajay/c++# g++ -std=c++11 copy_elision.cpp -fno-elide-constructors
root@ajay-PC:/home/ajay/c++# ./a.out
Constructor
Constructor
Move constructor
Destructor
Move constructor
Destructor
Constructor
Move constructor
Destructor
Move constructor
Destructor
Constructor
Move constructor
Destructor
Destructor
Destructor
Destructor
Destructor  

복사 제거가 발생하고 복사 / 이동 생성자가 호출되지 않더라도 존재하고 액세스 할 수 있어야합니다 (최적화가 전혀 발생하지 않은 것처럼) 그렇지 않으면 프로그램이 잘못 구성됩니다.

소프트웨어의 관찰 가능한 행동에 영향을 미치지 않는 장소에서만 그러한 복사 제거를 허용해야합니다. 복사 제거는 관찰 가능한 부작용을 갖도록 허용 된 유일한 최적화 형태입니다. 예:

#include <iostream>
int n = 0;
class ABC
{  public:
 ABC(int) {}
 ABC(const ABC& a) { ++n; } // the copy constructor has a visible side effect    
};                     // it modifies an object with static storage duration    

int main()
{
  ABC c1(21); // direct-initialization, calls C::C(42)  
  ABC c2 = ABC(21); // copy-initialization, calls C::C( C(42) )  

  std::cout << n << std::endl; // prints 0 if the copy was elided, 1 otherwise
  return 0;
}

Output without -fno-elide-constructors
root@ajay-PC:/home/ayadav# g++ -std=c++11 copy_elision.cpp  
root@ajay-PC:/home/ayadav# ./a.out   
0

Output with -fno-elide-constructors
root@ajay-PC:/home/ayadav# g++ -std=c++11 copy_elision.cpp -fno-elide-constructors  
root@ajay-PC:/home/ayadav# ./a.out   
1

GCC는 -fno-elide-constructors복사 제거를 비활성화 하는 옵션을 제공합니다 . 가능한 복사 제거를 피하려면을 사용하십시오 -fno-elide-constructors.

이제 거의 모든 컴파일러는 최적화가 활성화 된 경우 (및 다른 옵션이 비활성화되지 않은 경우) 복사 제거를 제공합니다.

결론

각각의 카피 제거시, 카피의 하나의 구성 및 하나의 매칭 파괴가 생략되어, CPU 시간을 절약하고, 하나의 객체가 생성되지 않아서, 스택 프레임상의 공간을 절약한다.

답변