конструктор копирования не называется?

Question

class X 
{ 
    int i; 
    public: 
    X(int m) : i(m) {}; 

    X(const X& x) 
    { 
    //cout "copy constructor is called\n"; 
    } 

    const X opearator++(X& a,int) 
    { 
    //cout "X++ is called\n"; 
    X b(a.i); 
    a.i++; 
    return b; 
    } 
    void f(X a) 
    { } 
}; 

int main() 
{ 
    X a(1); 
    f(a); 
    a++; 
    return 0; 
} 

Здесь, когда функция 'f' называется конструктором копирования, вызывается как ожидалось. В случае ++ оператор operator ++ вызывается, но когда он возвращает «конструктор копирования не вызывается». почему «копия застройщик не вызывается при возвращении из функции 'оператор ++?

Answer 1

Компилятор разрешается игнорировать вызов конструктора копирования, когда объект возвращается из функции.

То есть, это не требуется для фактического вызова конструктора копирования: он может просто построить объект, который будет возвращен в любом месте, где объект должен быть возвращен из функции.

Answer 2

Я считаю, что вы столкнулись с оптимизацией обратных значений (RVO) http://en.wikipedia.org/wiki/Return_value_optimization

Answer 3

Это законно для копий эллинов, даже если конструктор копирования имеет побочные эффекты. Он называется RVO (есть также один для имен (комментарий: спасибо), NRVO) и явно разрешен Стандартом.

Answer 4

Похоже, что RVO (Оптимизация возвращаемого значения). Ваш компилятор видит, что вы ничего не делаете с экземпляром «b» или с его возвращенной копией, поэтому он удаляет его (операцию копирования объекта) из скомпилированного вывода.

Answer 5

Известный на C++ FAQ Lite (который вы можете найти, например, here) является обязательным для каждого программиста на C++.

Ваш вопрос, вероятно, соответствует тому одному:
[10.9] Does return-by-value mean extra copies and extra overhead?

Answer 6

Ну, было несколько ошибок в коде. Если вы скомпилируете и запустите код, который я подключил, вы увидите, что копия contructor успешно вызвана, когда возвращается оператор ++.

#include <iostream> 

class X { 
public: 
    X(int m) : i(m) {}; 

    X(const X& x) 
    { 
     std::cout << "Copy constructor is called\n"; 
    } 

    X 
    operator++(int) 
    { 
     std::cout << "X++ is called\n"; 

     this->i++; 
     return *this; 
    } 


private: 
    int i; 

}; 


void 
f(X a) 
{ 
} 


int 
main(void) 
{ 
    X a(1); 
    f(a); 
    a++; 
    return 0; 
}