try catch throw的本质

try catch 本质就是 goto ， throw 本质就是 return ，没那么复杂。

你调用函数 foo() bar() ，判断返回值，然后进行错误处理：

...result = foo(...);if (error_occurs(result)) {handle_foo_error...;release_resources...;}...result = bar(...);if (error_occurs(result)) {handle_bar_error...;release_resources...;}...

你嫌麻烦，因为有很多重复语句，比如释放资源，那么你可以用goto语句简化：

...result = foo(...);if (error_occurs(result)) {error = foo_error;goto catch;}...result = bar(...);if (error_occurs(result)) {error = bar_error;goto catch;}...
catch:if (error == foo_error) {handle_foo_error...;} else if (error == bar_error) {handle_bar_error...;}release_resources...;

你还嫌 goto 太老土，或者有没有一种高级版的 goto 可以从内层函数跳出来？那你可以用stdc函数 setjmp() longjmp() ，不过这俩有bug，需慎用。而如果语言支持 try catch throw ，那么就简单多了：

try {result = foo(...); // foo_error在foo()里面throw...result = bar(...); // bar_error在bar()里面throw...
} catch (error) {if (error == foo_error) {handle_foo_error...;} else if (error == bar_error) {handle_bar_error...;}release_resources...;
}

我不喜欢那些让人云里雾里的术语，现在我就来告诉你们编译器/解释器是如何实现的：

首先，会标准化函数返回值，在其中嵌入一个隐藏的 success 布尔值标记， true 表示调用成功，返回值就是函数返回值， false 表示调用失败，那么返回值就是错误值（错误描述、堆栈信息…随便，反正都是值）。 throw 就是 return ，只不过会把 success 置为 false 。编译器/解释器发现如果函数调用处于 try 块里面，那么 success 为 false 的时候，就会 goto 到 catch 块，否则就打印返回值（就是错误值）并退出进程。

c是根本没有上述标准化套路；go lua有，但让你自行处理；三脚猫c++因为不是高级语言，无法在返回值里嵌入隐藏字段，用的是 setjmp() longjmp() ？天晓得；至于java那种还把异常（错误？管它叫什么，反正就是返回值）各种分类，纯属吃饱撑的。

所以总结就是：本质都一样。随你喜好，想用就用，不想用就不用。