关于:C++中异常对象的范围:为什么我没有得到副本?

about : Scope of exception object in C++ : why don't I get the copy?

本文关键字:副本 范围 C++ 异常 对象 关于 为什么      更新时间:2023-10-16

关于异常范围的问题,由Aj声明。throw和catch子句将创建异常的副本(我想除非使用引用(

我试了一个小玩具代码,但我不明白结果。此处:

//g++  7.4.0
#include <iostream>
using namespace std;
struct Some_error {
Some_error(float code):err_code(code){ cout << "Some_error(" << err_code << ")n";  }
~Some_error()                        { cout << "~Some_error(" << err_code << ")n"; }
Some_error(const Some_error& o):err_code(o.err_code+0.1)      { cout << "Some_error(copy::" << err_code << ")n";  }
Some_error(Some_error&& o):err_code(std::move(o.err_code)+.01){ cout << "Some_error(move::" << err_code << ")n";  }
int get_code() const { return err_code; }
private : float err_code;
};
int do_task() { 
if ( false )  return 42; else throw Some_error {1};
cout << "end do_taskn" ;
}

void taskmaster(){
try { auto result = do_task(); cout << "the answer is " << result << "n" ; }
catch (Some_error e) { cout << "catch Some_error : " << e.get_code() << "n" ; }
cout << "end taskmastern" ;
}
int main() { taskmaster(); }

我得到的轨迹如下:

Some_error(1)
Some_error(copy::1.1)
catch Some_error : 1
~Some_error(1.1)
~Some_error(1)
end taskmaster

根据Aj的说法,首先,由于我在这里没有引用。,我希望能复制两份。

第二,有一个副本,它将err_code设置为1.1,但显示仍然是1。

备注:为了完整起见,我将catch更改为:catch(Some_error&e(,然后轨迹在我看来很好:

Some_error(1)
catch Some_error : 1
~Some_error(1)
end taskmaster

我预计会有两个副本。

为什么?catch块只进行一次复制。第二次复制会发生在哪里?

将err_code设置为1.1,但显示仍然为1。

因为get_code返回一个int,所以浮点值会被截断。