分享
 
 
 

对话#27:Baseless Exceptions

王朝vc·作者佚名  2006-01-08
窄屏简体版  字體: |||超大  

(WQ语:此文在CSDN上已被翻译,但一时找不出来了,就也译了一次。)

对话#27:Baseless Exceptions

“嗯,不错,不错,”我自我感觉良好。“看起来我发现了一个编译器错误。”

我正在追踪一个故障,有一个异常没有被异常处理体系捕获。精简后的代码如下:

class Base

{

// ...

whatever ...

};

class Derived : private Base

{

void f() {

try {

throw Derived();

}

catch (Base &) {

cout << "Caught Base" << endl;

}

catch (...)

{

cout << "Caught something else" << endl;

}

}

};

我预期程序会隐式地将Derived对象转换为Base &,因此会打印出 "捕获Base"。然而,实际上,它没有转换而打印出 "Caught something else"。沾沾自喜于发现了编译器的错误时,我记起了Guru的教导:“记住,徒弟,绝不要假设你或编译器中的任何一个是正确的。总是查神圣的标准来确定你的理解和智慧。”几分钟之后,我的自喜已转变为迷惑,因为标准说编译器的行为是正确的:

一个捕获程序匹配于抛出的类型E的对象,条件是……捕获程序的参数类型是cv T或cv T&并且T是E的一个无二义公有基类……[1]

无二义的公有基类?好吧,这有些不合理,我认为。毕竟,那个Derived被转换为Base对象,因为它处在自己的代码空间中。为了测试这个问题,我在try语句前增加了一句语句

Base & testRef = *this;

肯定,它没有任何编译问题。

“你看起来很迷惑,徒弟。”我轻轻抖了一下-我不认为我会习惯于Guru的突然出现。

“嗯,是的,”我嘟囔着。“我不理解标准为什么不允许异常被类型转换,而在代码中又是允许的。”

她在捧着的“砖头”上小心地作记号了然后合上。“在语句'Base & testRef = *this;'上发生的类型转换,编译器什么时候检查转换是否允许进行,以及取决于存取权限还是继承?”

“嗯,当它构造这个引用的时候,它进行检查。不,等等-说错了。它在编译的时候。”

“正确,孩子。接下来,编译器什么时候为异常捕获程序要求的类型转换作检查?”

“它也发生于编译期,不是吗?”Guru没回答。实际上,她是扬起眉毛,用灰色的眼睛盯着我-这是她的“你确定吗?”。我死命想了一会儿。然后明白了。“哦,当然,”我说。“评估发生在运行期。任何类型的对象都可以被抛出,所以异常捕获程序必须查看实际对象的类型。”

“而访问权限信息在运行期存放在哪里?”Guru提示道。

“它被储存于……”我停了一下。“嗨,这有个陷阱-访问检查应该在编译期进行,不会存储任何运行期信息。啊,我现在明白了-这里存在限制是因为缺乏访问权限信息。”

我以为Guru会于此时离开。然而,她没有。她只是静静地站在我的隔间旁边。我又想了一下。

“等一下,”我慢慢地说。“不,我还是没明白。程序仍然必须知道,是否存在一个无二义的公有基类以进行转换。这会发生什么……”我转向白板,写了个比较复杂的例子:

#include<iostream>

using namespace std;

class Base

{

public:

virtual ~Base(){}

};

class DerivedPrivately : private Base

{

// ...

whatever ...

};

class DerivedPublicly : public Base

{

// ...

whatever ...

};

void g(int which)

{

if (which < 0) throw DerivedPublicly();

else if (which == 0) throw Base();

else throw DerivedPrivately();

}

void f(int value)

{

try {

g(value);

}

catch(Base &)

{

cout << "Caught Base" << endl;

}

catch ( ... )

{

cout << "Caught something else" << endl;

}

}

int main()

{

f(-1);

f(0);

f(1);

}

“如果我正确地理解了标准,前两个调用的输出应该是'Caught Base',最后一个是'Caught something else'。编译器显然做了某种运行期检查,所以限定它为公有无二义基类?”

“啊,孩子,如果你修改私有派生出的类,加一句friend void f(int);语句。然后你预料会发生什么?”

“ 嗯, DerivedPrivately对象已经申明f()为友元,所以我预料它打印出'Caught Base'。”

她微笑了一下。“现在,程序需要什么信息以知道类型转换是可接受的?”

我曾经提到Guru的Socratic方法是多么令人苦恼吗?我思索了一下。“嗯,”我冒险一试,“显然,它必须跟踪继承树。而且,我猜测它也必须跟踪友元。这个应该实现起来很容易,虽然-只要在f()的obj文件中生成一些有序表。”

“啊,但如果f()不知道它是DerivedPrivately友元时怎么办?也就是说,f()所在的编译单元只引用了Base,它根本没有包含申明DerivedPrivately的头文件。不,我的孩子,信息必须全局存储,而且程序需要某种方式将特定的机器码映射到特定的函数,以判决某函数是否作为友元在执行。在复杂体系层次中,可能有任意的友元或隐含类型转换顺序,维护这些信息会是一项重大开销,而还可能并不必要。维护一个无二义的公有基类列表就简单多了。”

“顺便一提,你会注意到,同样的限制也适用于捕获指针的情况。编译器只将会一个指针转换指向它所指类型的无二义公有基类类型的指针。指针确实有额外的能力执行受限的转换。”

Guru转身离开了。“解决办法是明摆着的了,徒弟。顺便提一句,神圣的标准要求进行运行期访问权限的检查的地方仅有两处,异常捕获是其中之一。另外一处当然是……”但是她转了弯,于是我就没听清余下的部分。

当然,Guru是正确的。解决办法很简单:为Derived增加一个异常捕获:

class Derived : private Base

{

void f() {

try {

throw Derived();

}

catch (Derived &) {

cout << "Caught Derived" << endl;

}

catch (Base &) {

cout << "Caught Base" << endl;

}

catch (...) {

cout << "Caught something else" << endl;

}

}

};

[注释]

[1] ISO C++ Standard, clause 15.3 paragraph 3.

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
 
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有