几道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，这样的类就不会有多态了。