The compiler can perfectly well figure out which types of exception t could hold and prove that Listing 1 will not violate the contract of foo - without making the programmer jump through hoops.

编译器可以非常清楚地找出哪种类型的异常t可以保留并证实清单1不会违反foo的合同—而无需程序员赴汤蹈火。

youdao

The compiler can perfectly well figure out which types of exception t could hold and prove that Listing 1 will not violate the contract of foo - without making the programmer jump through hoops.

编译器可以非常清楚地找出哪种类型的异常t可以保留并证实清单1不会违反foo的合同—而无需程序员赴汤蹈火。

youdao