习题
using namespace std; class A{ public: A(char *s) { cout<<s<<endl; } ~A(){} }; class B:virtual public A { public: B(char *s1,char*s2):A(s1) { cout<<s2<<endl; } }; class C:virtual public A { public: C(char *s1,char*s2):A(s1) { cout<<s2<<endl; } }; class D:public B,public C { public: D(char *s1,char *s2,char *s3,char *s4):B(s1,s2),C(s1,s3),A(s1) { cout<<s4<<endl;} }; int main() { D *p=new D("class A","class B","class C","class D"); delete p; return 0; }
A:class A class B class C class D B:class D class B class C class A
C:class D class C class B class A D:class A class C class B class D
子类必须调用父类的构造函数,这里不调用A的构造函数会报错,因为是虚继承,A是B和C共享的,但是B和C都不能初始化A,此时应该由D去初始化A,因为D里面的A只有一份,而且这个A是B和C共享的。
注意B和C里面都有对A构造
调用顺序:编译器会特殊处理,不会重复对A进行构造,D里面只有一份A,只在D里面初始化,编译器按照声明的顺序进行初始化,所以先初始化A,然后B,C,D。
B和C初始化A的意义,可能会单独定义B或C对象。
多态总结
inline函数可以是虚函数吗?(内联函数是直接展开,内联函数没有地址,汇编时候不进行call操作,虚函数要放进虚函数表,虚函数表中填的是函数地址)
答:可以,不过编译器就忽略inline属性,这个函数就不再是inline,因为虚函数要放到虚表中去。
static函数可以是虚函数吗
首先测试一下不行,编译器直接报错,因为静态成员函数没有this指针,直接使用A::FUNC2()类域指定的形式调用,虚函数是为了实现多态,多态都是运行时直接去虚表中决议(寻找),static成员函数都是在编译时决议(直接call函数地址,不通过虚表),所以静态函数不能成为虚函数
构造函数可以是虚函数吗
运行程序直接报错,对创建好后,对象没有被初始化,虚表也没有被初始化
在初始化列表阶段会对对象和虚表进行初始化(找到虚表的地址再初始化)
虚函数是为了实现多态,运行时去虚表找对应的虚函数进行调用,对象中虚表指针都是构造函数初始化列表阶段才初始化,构造函数是虚函数是没有意义的
析构函数可以是虚函数吗
可以,建议基类的析构函数定义成虚函数,博客里有提到过。
拷贝构造和operator=可不可以是虚函数?
拷贝构造不可以,拷贝构造也是构造函数,拷贝构造也有初始化列表。
operator=:可以,子类B的赋值不是A类赋值的重写,因为参数不同,但这种重写可以让子类对象接收父类对象
class A { public: virtual A& operator=(const A& aa) { return *this; } }; class B:public A { public: virtual B& operator=(const B& aa) { return *this; } };
这种赋值重写,可以把父类赋值给子类
但如果去掉赋值重写,这种写法就会报错,因为这是C++的语法规定
对象访问普通函数快还是虚函数快
首先如果是普通对象,是一样快的。如果是指针对象或者是引用对象,则调用的普通函数快,因为构成多态,运行时调用虚函数需要到虚函数表中去查找。
虚函数表是在什么阶段生成的,存在哪的?
虚函数表是在编译阶段就生成的,一般情况下存在代码段(常量区)的。
构造函数初始化列表阶段初始化的是虚函数表指针,对象中存的也虚函数表指针
习题
1.关于重载、重写和重定义的区别说法正确的是( A F)
A.重写和重定义都发生在继承体系中
B.重载既可以在一个类中,也可以在继承体系中
C.它们都要求原型相同
D.重写就是重定义
E.重定义就是重写
F.重写比重定义条件更严格
G.以上说法全错误
A.重写即覆盖,针对多态, 重定义即隐藏, 两者都发生在继承体系中
B.重载只能在一个范围内,不能在不同的类里
C.只有重写要求原型相同
D.重写和重定义是两码事,重写即覆盖,针对多态, 重定义即隐藏
E.重写和重定义是两码事,重写即覆盖,针对多态, 重定义即隐藏
F.重写要求函数完全相同,重定义只需函数名相同即可
G.很明显有说法正确的答案
2.关于重载和多态正确的是 ( B)
A.如果父类和子类都有相同的方法,参数个数不同, 将子类对象赋给父类对象后, 采用父类对象调用该同名方法时,实际调用的是子类的方法
B.选项全部都不正确
C.重载和多态在C++面向对象编程中经常用到的方法,都只在实现子类的方法时才会使用
D.class A{ public: void test(float a) { cout << a; } }; class B :public A{ public: void test(int b){ cout << b; } }; void main() { A *a = new A; B *b = new B; a = b; a->test(1.1); } 结果是1
A.使用父类对象调用的方法永远是父类的方法
B.正确
C.重载不涉及子类
D.输入结果为1.1
3.以下哪项说法时正确的(D )
class A { public: void f1(){cout<<"A::f1()"<<endl;} virtual void f2(){cout<<"A::f2()"<<endl;} virtual void f3(){cout<<"A::f3()"<<endl;} }; class B : public A { public: virtual void f1(){cout<<"B::f1()"<<endl;} virtual void f2(){cout<<"B::f2()"<<endl;} void f3(){cout<<"B::f3()"<<endl;} };
A.基类和子类的f1函数构成重写
B.基类和子类的f3函数没有构成重写,因为子类f3前没有增加virtual关键字
C.如果基类指针引用子类对象后,通过基类对象调用f2时,调用的是子类的f2
D.f2和f3都是重写,f1是重定义
4.关于抽象类和纯虚函数的描述中,错误的是 ( D)
A.纯虚函数的声明以“=0;”结束
B.有纯虚函数的类叫抽象类,它不能用来定义对象
C.抽象类的派生类如果不实现纯虚函数,它也是抽象类
D.纯虚函数不能有函数体
A.纯虚函数的声明以“=0;”结束,这是语法要求
B.有纯虚函数的类叫抽象类,它不能用来定义对象,一般用于接口的定义
C.子类不实现父类所有的纯虚函数,则子类还属于抽象类,仍然不能实例化对象
D.纯虚函数可以有函数体,只是意义不大
5.假设A为抽象类,下列声明( )是正确的
A.A fun(int);
B.A*p;
C.int fun(A);
D.A obj;
A.抽象类不能实例化对象,所以以对象返回是错误
B.抽象类可以定义指针,而且经常这样做,其目的就是用父类指针指向子类从而实现多态
C.参数为对象,所以错误
D.直接实例化对象,这是不允许的