http://blog.csdn.net/hackbuteer1/article/details/7558868
看那篇网志
hackbuteer1是个演算法大牛！
起首：强调两个根本概念
表述两个表达式为虚表达式，不代表者表达式为不被同时实现的表达式。
表述他为虚表达式是为的是允许用派生类的操做体例符来初始化常量的阿谁表达式。
表述两个表达式为tcsh表达式，才代表者表达式没被同时实现。
表述tcsh表达式是为的是同时实现两个USB，起到两个标准化的促进感化，标准化承袭阿谁类的开发人员要同时实现阿谁表达式。
1、概要
假定我们有下面的类层级：
class A { public: virtual void foo() { cout<<"A::foo() is called"<<endl; } }; class B:public A { public: void foo() { cout<<"B::foo() is called"<<endl; } }; int main(void) { A *a = new B(); a->foo(); // 在那里，a固然是瞄准A的操做体例符，但是被初始化的表达式(foo)却是B的! return 0; }阿谁规范是虚表达式的两个典型应用，通过阿谁规范，也许你就对虚表达式有了一些根本概念。它虚就虚在所谓“延后联编”或是“动态联编”上，两个类表达式的初始化并非在校对关键时刻被确认的，而是在运行关键时刻被确认的。因为撰写标识符的时候并没有法确认被初始化的是派生类的表达式却是哪个派生类的表达式，因而被成为“虚”表达式。
虚表达式底子无法借助操做体例符或是提及来到达隐式的效果。
C++tcsh表达式
一、表述
tcsh表达式是在派生类中新闻稿的虚表达式，它在派生类中没表述，但明白要求任何派生类都要表述本身的同时实现体例。在派生类中同时实现tcsh表达式的体例是在表达式蓝本Niederbronn“=0”
virtual void funtion1()=0
二、导入原因
1、为的是外置隐式特征，我们常常需要在派生类中表述交互式表达式。
2、在良多情况下，派生类那类聚合第一类是相左逻辑的。例如，鸟类做为两个派生类能派萌生乌鸦、狮子等常量，但鸟类那类聚合第一类明显相左端方。
为的是处理前述难题，导入了tcsh表达式的根本概念，将表达式表述为tcsh表达式（体例：virtual ReturnType Function()= 0;），则C++明白要求在派生类中要予以改写以同时实现隐式性。同时含有tcsh拟表达式的类称为tcsh，它无法聚合第一类。如许就很不消说了前述两个难题。
新闻稿了tcsh表达式的类是两个tcsh。因而，用户无法创建类的示例，底子无法创建它的派生类的示例。
tcsh表达式最显著的特征是：它要在承袭类中再次新闻稿表达式（不要后面的＝0，不然该派生类也无法示例化），并且它在tcsh中往往没表述。
表述tcsh表达式的目地在于，使派生类不管如何承袭表达式的USB。
tcsh表达式的意义，让所有的类第一类（次要是派生类第一类）都能施行tcsh表达式的动做，但类无法为tcsh表达式供给更多两个合理的隐式同时实现。因而类tcsh表达式的新闻稿就是在告诉常量的斯特默，“你要供给更多两个tcsh表达式的同时实现，但我不晓得你会如何同时实现它”。
tcsh的介绍
tcsh是一种特殊的类，它是为的是笼统化和设想的目地为创建的，它处于承袭系统构造的较下层。
（1）tcsh的表述： 称带有tcsh表达式的类为tcsh。
（2）tcsh的促进感化：
tcsh的次要促进感化是将有关的操做体例做为成果USB组织在两个承袭系统构造中，由它来为派生类供给更多两个公共的根，派生类将详细内容同时实如今其派生类中做为USB的操做体例。因而派生类现实上刻划了几组常量的操做体例USB的通用语法，那些语法也传予常量，常量能详细内容同时实现那些语法，也能再将那些语法传予本身的常量。
（3）接纳tcsh时留意：
• tcsh底子无法做为派生类来接纳，其tcsh表达式的同时实现由派生类得出。假设派生类中没再次表述tcsh表达式，而只是承袭派生类的tcsh表达式，则阿谁派生类仍然却是两个tcsh。假设派生类中得出了派生类tcsh表达式的同时实现，则该派生类就不再是tcsh了，它是两个能创建第一类的详细内容的类。
• tcsh是无法表述第一类的。
总结：
1、tcsh表达式新闻稿如下表所示： virtual void funtion1()=0; tcsh表达式必然没表述，tcsh表达式用来标准化派生类的行为，即USB。包罗tcsh表达式的类是tcsh，tcsh无法表述示例，但能新闻稿瞄准同时实现该tcsh的详细内容类的操做体例符或提及。
2、虚表达式新闻稿如下表所示：virtual ReturnType FunctionName(Parameter)；虚表达式要同时实现，假设差别时实现，C++将报错，错误提醒为：
error LNK****: unresolved external symbol "public: virtual void __thiscall ClassName::virtualFunctionName(void)"
3、关于虚表达式来说，父类和常量都有各自的版本。由隐式体例初始化的时候动态绑定。
4、同时实现了tcsh表达式的常量，该tcsh表达式在常量中就编程了虚表达式，常量的常量即孙常量能笼盖该虚表达式，由隐式体例初始化的时候动态绑定。
5、虚表达式是C++顶用于同时实现隐式(polymorphism)的机造。核心理念就是通过派生类拜候派生类表述的表达式。
6、在有动态分配堆上内存的时候，析构表达式如果虚表达式，但没需要是tcsh的。
7、友元不是成员表达式，只要成员表达式才气是交互式的，因而友元无法是交互式表达式。但能通过让友元表达式初始化交互式成员表达式来处理友元的交互式难题。
8、析构表达式应当是虚表达式，将初始化响应第一类类型的析构表达式，因而，假设操做体例符瞄准的是常量第一类，将初始化常量的析构表达式，然后主动初始化派生类的析构表达式。
有tcsh表达式的类是tcsh，无法聚合第一类，底子无法派生。他派生的类的tcsh表达式没被改写，那么，它的派生类却是个tcsh。
表述tcsh表达式就是为的是让派生类不成示例化化
因为示例化如许的笼统化数据构造那类并没意义。
或是得出同时实现也没意义
现实上我小我认为tcsh表达式的导入，是出于两个目地
1、为的是平安，因为制止任何需要明白但是因为不小心而招致的未知的成果，提醒常量去做应做的同时实现。
2、为的是效率，不是法式施行的效率，而是为的是编码的效率。