Исключение и Конструктор копирования:

Question

C++ Ссылаясь на http://en.wikipedia.org/wiki/Copy_elision

я запускаю ниже код:

#include <iostream> 

struct C { 
    C() {} 
    C(const C&) { std::cout << "Hello World!\n"; } 
}; 

void f() { 
    C c; 
    throw c; // copying the named object c into the exception object. 
}   // It is unclear whether this copy may be elided. 

int main() { 
    try { 
    f(); 
    } 
    catch(C c) { // copying the exception object into the temporary in the exception declaration. 
    }    // It is also unclear whether this copy may be elided. 
} 

Выход я получил:

Gaurav@Gaurav-PC /cygdrive/d/Trial 
$ make clean 
rm -f Trial.exe Trial.o 

Gaurav@Gaurav-PC /cygdrive/d/Trial 
$ make 
g++ -Wall Trial.cpp -o Trial 

Gaurav@Gaurav-PC /cygdrive/d/Trial 
$ ./Trial 
Hello World! 
Hello World! 

Я понимаю, что компилятор может быть оптимизирован код с ненужным копированием, чего он здесь не делает.

Но что я хочу спросить, как производится two calls to the copy constructor?

catch(C c) - Поскольку мы проходим по значению, следовательно, здесь вызывается экземпляр копии.

Но в throw c как называется конструктор копирования? Может кто-нибудь объяснить?

Answer 1

throw c;  

Создает временный объект, и это временный объект, который бросается. Создание временного может быть связано с конструктором copy/move. И да, эта копия/перемещение может быть отменено.

---

Литература:
11 15.1 С ++ Метательного исключением

§ 3:

Броски выражение инициализирует временный объект, который называется объект исключения, тип которого определяется удалением любого верхнего Уровня CV-классификаторы от статического типа операнда броска и настройки типа .........

§ 5:

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