�U�虚析构函数、虚函数与抽象类[By Skywind]

c++ 学习 — Tue, 22 Jul 2008 02:06:00 GMT

我们知道�Q��ؓ了能够正��的调用对象的析构函敎ͼ�一般要求具有层�ơ结构的��c�d��义其析构函数��函数。因为在delete一个抽象类指针时候，必须要通过虚函数找到真正的析构函数�?br>
如：

++:

class CObject{
public:
CObject()
{
}
virtual ~CObject()
{
};
};
class CX: public CObject
{
public:
CX(){...};
~CX(){...};
}
void f()
{
CObject *px;
px = new CX;
delete px;
}

否则delete px只会执行CObject的析构函敎ͼ�而不是真正的CX析构函数�?br>现在的问题是�Q�我们想把CObject做出抽象�c�，不能直接构造对象，需要在其中定义一�?layer id="google-toolbar-hilite-9" style="background-color: Fuchsia; color: black;">�U�虚函数。如果其中没有其他合适的函数�Q�可以把析构函数定义为纯虚的�Q�即��前面的CObject定义�Ҏ��Q?br>

++:

class CObject{
public:
CObject()
{
}
virtual ~CObject() = 0;
};

�? 是，�q�段代码不能通过�~�译�Q�通常是链接错误，不能扑ֈ�~CObject()的引�?gcc的错误报�?。这是因为，析构函数、构造函数和其他内部函数不一 ��P��在调用时�Q�编译器需要��生一个调用链。也��是�Q�CX的析构函数里面隐含调用了CObecjt的析构函数。而刚才的代码中，�~�少～CObecjt的函�? 体，当然会出现错误�?br>
�q�里面有一个误区，有�h认�ؓ�Q�virtual f()=0�q�种语法��是没有定义体的语义。其实，�q�是不对的。这�U�语法只是表明这个函数是一�?layer id="google-toolbar-hilite-11" style="background-color: Fuchsia; color: black;">�U�虚函数�Q�因此这个类变成了抽象类�Q�不能��生对象。我们完全可以�ؓ指定函数体。通常�?layer id="google-toolbar-hilite-13" style="background-color: Fuchsia; color: black;">�U�虚函数不需要函��C��Q�是因�ؓ我们一般不会调用抽象类的这个函敎ͼ�只会调用�z��cȝ��对应函数。这��P��我们��有了一个纯虚析构函数的函数体，上面的代码需要改成：

++:

class CObject{
public:
CObject()
{
}
virtual ~CObject() = 0;
};

CObject::~CObject()
{
}

从语法角度来��_��不可以将上面的析构函数直接写入定义中�Q�内联函数的写法�Q�。这或许是一个不正交化的地方�?br>
�q�个问题看�v来有些学术化�Q�因��Z��般我们完全可以在CObject中找��C��个更加适合的函敎ͼ�通过��其定义为没有实��C��?layer id="google-toolbar-hilite-14" style="background-color: Fuchsia; color: black;">�U�虚函数�Q�而将整个�c�d��义�ؓ抽象�c�R��但�q�种技术也有一些应用，如这个例子：

++:

class CB{
public:
virtual ~CB(){};
virtual void Hiberarchy() const = 0;
};

void CB::Hiberarchy() const
{
std::cout <<"CB::";
}

class CD : public CB
{
public:
CD()
{
};
virtual void Hiberarchy() const
{
CB::Hiberarchy();
std::cout <<"CD::";
};
virtual void f()
{
}
};

int main(){
CB* x=new CD();
x->Hiberarchy();
x->CB::Hiberarchy();
return 0;
}

�? �q�个例子中，我们试图打印出类的��承关�p�R��在根基�c�M��定义了虚函数Hiberarchy�Q�然后在每个�z��c�M��都重载此函数。我们再一�ơ看刎ͼ��׃��x��CB 做成个抽象类�Q�而这个类中没有其他合适的�Ҏ��成员可以定义为纯虚的�Q�我们还是只好将Hiberarchy定义为纯虚的。（当然�Q�完全可以定义～CB函数�Q? �q�就和上面的讨论一样了。^_^�Q?br>
另外�Q�可以看刎ͼ�在main中有两种调用�Ҏ��Q�第一�U�是普通的方式�Q�进行动态链接，执行虚函敎ͼ�得到�l�果"CB::CD::"�Q�第二种是指定类的方式，��׃��再执行虚函数的动态链接过�E�了�Q�结果是"CB::"�?br>
通过上面的分析可以看出，定义的真正目的是��Z��定义抽象�c�，而�ƈ不是函数本��n。与之对比，在java中，定义抽象�cȝ��语法�?abstract class�Q�也��是在类的一�U�作指定�Q�当然虚函数�q�是也要加上abstract关键字）。是不是�q�种方式更好一些呢�Q�在Stroustrup的�?layer id="google-toolbar-hilite-4" style="background-color: Yellow; color: black;">C++语言的设计与演化》中我找到这样一�D�话�Q?br>
“我选择的是��个别的函数描述为纯虚的方式�Q�没有采用将完整的类声明定义为抽象的形式�Q�这是因�?layer id="google-toolbar-hilite-16" style="background-color: Fuchsia; color: black;">�U�虚函数的概忉|��加灵�z�M��些。我很看重能够分阶段定义�cȝ��能力�Q�也��是��_��我发现预先定义一�?layer id="google-toolbar-hilite-17" style="background-color: Fuchsia; color: black;">�U�虚函数�Q��ƈ把另外一些留�l�进一步的�z��c�d��定义也是很有用的”�?br>
�? �q�没有完全理解后一句话�Q�我想从另外一个角度来阐述�q�个概念。那��是�Q�在一个多层复杂类�l�构中，中间层次的类应该具体化一些抽象函敎ͼ�但很可能�q�不是所�? 的。中间类没必要知道是否具体化了所有的虚函敎ͼ�以及其祖先已�l�具体化了哪些函敎ͼ�只要��x��自己的职责就可以了。也��是��_��中间�c�L��必要知道自己是否是一个真正的抽象�c�，设计者也��׃��用考虑是否需要在�q�个中间�cȝ��cȝ�别上加上�c�M��abstract的说明了�?br>
当然�Q�一个语�a�的设计有多种因素�Q�好坏都是各个方面的。这只是一个解释而已�?br>
最后，�ȝ��一下关于虚函数的一些常见问题：

虚函数是动态绑定的�Q�也��是��_��使用虚函数的指针和引用能够正��找到实际类的对应函敎ͼ�而不是执行定义类的函数。这是虚函数的基本功能，��׃��再解释了�?
构造函��C��能是虚函数。而且�Q�在构造函��C��调用虚函敎ͼ�实际执行的是父类的对应函敎ͼ�因�ؓ自己�q�没有构造好�?
析构函数可以是虚函数�Q�而且�Q�在一个复杂类�l�构中，�q�往往是必��ȝ��?
��一个函数定义�ؓ�Q�实际上是将�q�个�c�d��义�ؓ抽象�c�，不能实例化对象�?
通常没有定义体，但也完全可以拥有。纯虚析构函数必��L��定义体，因�ؓ析构函数的调用是在子�c�M��隐含的�?
非纯的虚函数必须有定义体�Q�不然是一个错误�?
�z? 生类的重载虚函数定义必须和父�c�d��全一致。除了一个特例，如果父类中返回值是一个指针或引用�Q�子�c�重载时可以�q�回�q�个指针�Q�或引用�Q�的�z��。例如，在上�? 的例子中�Q�在CB中定义了 virtual CB* clone(); 在CD中可以定义�ؓ virtual CD* clone()。可以看刎ͼ��q�种放松对于Clone模式是非常有用的�?
其他�Q�有待补充�?

c++ 学习 2008-07-22 10:06 发表评论

一个google论坛上的问题

c++ 学习 — Mon, 20 Mar 2006 01:17:00 GMT

The question is:
Yesterday my friend had taken interview in Microsft.If u know this
Plz answer this

main() // line 1
{
   printf("TWO");

} //line4

U don't change from line1 to line4. u will add anything before the
main function only.
write the solution with 10 ways.
We want the ouput is->

One
Two //注意�Q�不是TWO�Q?br />Three

There are several ways to solve the question, the following is:
First�Q�to ignore the main funcion
#include
int main(int argc, char *argv[])
{
   printf("One\nTwo\nThree\n");
   return 0;
}

#define main XXX

main() // line 1
{
   printf("TWO");

} //line4

The second way:To ignore the printf function
int xxx(const char* x)
{
   return printf("One\nTwo\nThree\n");
}
#define printf xxx

main() // line 1
{
   printf("TWO");

} //line4

The last way: using struct
#include

struct Foo
{
   Foo(){printf("One\nTwo\nThree\n");exit(0);}
}foo;

main() // line 1
{
   printf("TWO");

} //line4

c++ 学习 2006-03-20 09:17 发表评论

精品久久人人爽天天玩人人妻,国产成人精品综合久久久,色婷婷综合久久久久中文一区二区

�U�虚析构函数、虚函数与抽象类[By Skywind]

一个google论坛上的问题