几道C++笔试题
#include <iostream> using namespace std; class A { public: A() { print(); } void fun() { print(); } virtual void print() { cout<<"A::print()"<<endl; } int m; }; class B: public A { public: virtual void print() { cout<<"B::print()"<<endl; } } int main() { B b; // A::print() A * a = &b; a->print(); // B::print() b.fun(); // B::print() return 0; }
上例运行结果表明:
1.构造函数中调用虚函数,无法实现多态。
2.通过非虚函数调用虚函数,也可以实现多态。
#include <iostream> #include <string> using namespace std; class A { public: A() { memset(this,0,sizeof(*this)); } virtual void print() { cout<<"A::print()"<<endl; } private: //string s; int m; }; class B: public A { public: virtual void print() { cout<<"B::print()"<<endl; } }; int main() { A a; B b; //静态调用没有问题 a.print(); // A::print() b.print(); // B::print() //动态调用,实际类型为B,也没有问题,因为B的虚函数表没有被破坏 A & aa = b; aa.print(); // B::print() A * pa = &b; pa->print(); // B::print() //B自己通过指针调用也没有问题,虚表没有被破坏 B * pb = &b; pb->print(); // B::print() //A自己通过指针调用崩溃,虚表被破坏 //A * pa = &a; //pa->print(); // crash! return 0; }
上面的代码,使用memset(this,0,sizeof(*this));对一个类A进行初始化,类A的虚表被破坏,在使用A的指针并指向A的实例的时候会崩溃。因为通过指针调用,编译器会检测虚函数表,检查是否是多态,这时候虚函数表已经被破坏,就会崩溃。如果是通过实例调用,不会是多态,因为函数是静态绑定的,就没有崩溃。
如果在类A中加一个成员变量:string s; 程序会崩溃,因为memset()破坏了string(如果是其他的容器如vector等,也会崩溃)。
如果在类B的造函数用memset(this,0,sizeof(*this));初始化,类B的虚函数表被破坏,动态调用虚函数时会崩溃。
用C的方式memset初始化一个类,是不被推荐的,这样做会破坏掉C++类中一些信息,如虚函数表、基类的信息等。
什么样的类型可以用memset()初始化?
POD类型的可以:http://zh.wikipedia.org/wiki/POD_(%E7%A8%8B%E5%BA%8F%E8%AE%BE%E8%AE%A1)
POD类类型就是指class、struct、union,且不具有用户定义的构造函数、析构函数、拷贝算子、赋值算子;不具有继承关系,因此没有基类;不具有虚函数,所以就没有虚表;非静态数据成员没有私有或保护属性的、没有引用类型的、没有非POD类类型的(即嵌套类都必须是POD)、没有指针到成员类型的(因为这个类型内含了this指针)。
#include <iostream> #include <string> using namespace std; typedef struct Test { string name; int a; }Test; int main() { Test tTest; memset(&tTest, 0, sizeof(Test)); return 0; }
程序会崩溃!
不能把一个含有string型的对象memset,含有CString对象也是如此。
C++里结构就是类,而不是原生的C结构。用memset会把类里的一些必要数据清零。另外需要注意如果类有虚函数,则就有虚表指针,用memset会把虚函数表指针置为0,这样的类就不会有多态了。