C++ 面向对象程序设计复习大纲
date
Aug 21, 2021
Last edited time
Mar 27, 2023 08:59 AM
status
Published
slug
C++面向对象程序设计复习大纲
tags
Algorithm
summary
C++一些基础知识的复习
type
Post
Field
Plat
这是我在准备 C++ 考试时整理的提纲,如果是通过搜索引擎搜索到这篇博客的师弟师妹,建议还是先参照 PPT 和课本,这个大纲也不是很准确,自己总结会更有收获,多去理解含义,不要死记硬背,否则遇到概念辨析题会特别吃亏,如果觉得有收获点赞关注,祝考试顺利。
1. 叙述面向对象编程的特点是什么?(提示:封装、继承、多态。)
对比面向过程具有抽象、封装、继承和多态的特点。
封装是将抽象得到的数据和行为相结合,形成了一个有机整体,使得一部分成员充当类与外部的接口,而将其他成员隐藏了起来达到了对成员访问权限的合理控制,使得不同类之间的影响最小,加强数据安全,简化编程。
继承允许在保持原有类特性的基础上,进行更具体、更详细的说明,能够很好反映出特殊概念和一般概念之间的关系,是代码复用的基础机制。
多态使得一段程序能够具有处理多种类型对象的能力,相同的消息在不同的对象下会有不同的动作,增强了编程的灵活性。
2. 使用 const 定义常量与用使用 define 定义常量相比,有什么优点?
- const 常量有数据类型,而宏常量没有数据类型。编译器可以对 const 常量进行类型安全检查,而对宏常量只能字符替换
- 有些集成化的调试工具能对 const 常量进行调试,对宏常量不能调试
c.const 定义的常量在程序运行的过程中只有一份拷贝,而 define 定义的常量在内存中有若干拷贝。
3. 用代码说明在标准 C++ 中如何进行输入输出,并解释各语句的含义是什么?
在输入时,从键盘输入的数据先放在键盘缓冲区中,当按回车键时,键盘缓冲区中的数据输入到程序中的输入缓冲区,形成 cin 流,然后用流提取运算符 “>>” 从输入缓冲区中提取数据送给程序中的有关变量。
当用 cout 和流插入运算符 “<<” 向显示器输出数据时,先将这些数据送到程序中的输出缓冲区保存,直到缓冲区满了或遇到 endl,就将缓冲区中的全部数据送到显示器显示出来。
4.C++ 中如何进行静态类型转换,解释并举例说明。
(1)用于类层次结构中基类和派生类之间指针或引用的转换。进行上行转换(把派生类的指针或引用转换成基类表示)是安全的;进行下行转换(把基类指针或引用转换成派生类表示)时,由于没有动态类型检查,所以是不安全的。
将派生类型的指针转化为基类型的指针
(2)用于基本数据类型之间的转换,如把 int 转换成 char,把 int 转换成 enum。这种转换的安全性也要开发人员来保证。
(3)把空指针转换成目标类型的空指针 (不安全!!)。
(4)把任何类型的表达式转换成 void 类型。
5. 阐述 C++中函数三种调用的方式实现机制、特点及其实参、形参的格式,最好用代码说明。(提示:传址、传值、引用传递)
在 C++ 中调用函数时有三种参数传递方式:
(1)传值调用;
(2)传址调用(传指针);
用指针类型作为形参的值调用方式,可以通过参数返回修改后的值。
(3)引用传递;
按引用传递,引用实参的引用参数传递给函数,而不是进行参数拷贝。引用类型的形参与相应的实参占用相同的内存空间,改变引用类型形参的值,相应实参的值也会随着变化。
6. 什么是内联函数?为什么要使用内联函数?
在编译时将所调用函数的代码直接嵌入到主调函数中,而不是将流程转出去,这种嵌入到主调函数中的函数成为内联函数。
为了节省参数传递、控制转换等开销,比如:压栈、弹栈、保存现场与恢复现场。
7. 什么是类的前向声明?使用类的前向声明时,要注意什么?
遇到俩个类相互引用的循环依赖情况
前向引用声明,是在引用未定义的类之前,声明该类,使编译器知道那是一个类名。这样,当程序中使用这个类名时,编译器就不会认为是错误,而类的完整定义可以在程序的其他地方。
注意:尽管使用了前向引用声明,但是在提供一个完整的类声明之前,不能定义该类的对象,也不能在成员函数中使用该类的对象。只能用于定义指针、引用、以及用于函数形参的指针和引用。当你使用前向引用声明时,你只能使用被声明的符号,而不能涉及类的任何细节。
8. 什么是先验条件 (Precondition),什么是后置条件 (Postcondition)?(google)
先演条件是在执行某段代码或正式规范操作之前必须始终为真的条件或谓词。比如输入一个时间必须小于 24。
后置条件是在执行某段代码或正式规范操作之后必须始终为真的条件或谓词。比如计算输入数字的平方根程序可能具有结果为数字的后置条件,且其平方等于输入。
9. 什么是名称空间 (namespace)?它的主要作用是什么?要使用一个名称空间中声明的标识符,方式有哪些?
A namespace is a scope.
C++ provides namespaces to prevent name conflicts
名字空间实质上是一种作用域。名字空间是一种描述逻辑分组的机制,是为了解决 C++ 中的变量、函数命名冲突而服务的。
C++ 标准程序库中的所有标识符都被定义于一个名为 std 的 namespace 中。
由于 namespace 的概念,使用 C++标准程序库的任何标识符时,可以有三种选择:
a、直接指定标识符。例如 std::ostream 而不是 ostream。完整语句如下:
b、使用 using 关键字进行声明
显然,当某个名字在它自己的名字空间之外频繁使用时,在反复写它时都要加上名字空间来作限定词,是一件令人厌烦的事情。这时,可以通过一个使用声明而清楚掉,只需要在某个地方说明,在这个作用域其后的代码中,使用此名字时可以自动解析出此名字所在的空间。例如:
此后在使用 cout 和 endl 时,都无需再加上名字空间前缘了:
c、最方便的就是使用指令 using namespace std;
一个使用指令能把来自另一个名字空间的所有名字都变成在当前名字空间内可用,就像这些名字就在当前名字空间中一样。
例如,在一个名字空间内有命令 using namespace std; 则在此后的代码中(当前空间最小局部内),对于所有名字都无需有名字空间前缀即可使用。
10. 什么是重载 (Overloading),解释并举例说明?能否根据返回值不同,对函数进行重载,为什么?
C++ 有两种重载:函数重载和运算符重载。
C++ 允许用同一函数名定义多个函数,这些函数的参数个数和参数类型不同。这就是函数的重载 (function overloading)。
运算符重载实质上是函数的重载,运算符重载通过运算符函数实现。
不能根据返回值不同进行重载。
因为调用时不能指定类型信息,编译器不知道你要调用哪个函数。
例如
当调用 max(1, 2); 时无法确定调用的是哪个,单从这一点上来说,仅返回值类型不同的重载是不应该允许的。
11. 关键字 const 的用法有哪些?(google)
一、定义常量
常量不可修改
与 #define 宏定义常量的区别:
(1)const 常量具有类型,编译器可以进行安全检查;#define 宏定义没有数据类型,只是简单的字符串替换,不能进行安全检查。
(2)有些集成化的调试工具能对 const 常量进行调试,对宏常量不能调试
二、修饰指针
(1)const int* p; // 指针 p 指向的内容是常量,不可改变。
(2)int* const p; // 指针本身是一个常量,不可改变。
(3)const int* const p; // 指针本身和指向的内容都是常量,都不可以改变。
区分方法,*p 代表对象内容,p 代表指针本身,看 const 修饰的是哪个。
三、在函数中使用 const
修饰函数参数
void function(const int Var);
表明参数在函数体内不能被修改,但此处没有任何意义,Var 本身就是形参,在函数内不会改变。
包括传入的形参是指针也是一样。
(1)使用引用参数,可以防止创建副本,减少内存开销,同时可以在函数中对引用参数修改,函数结束后,引用参数的修改仍然存在。
(2)如果为了防止对引用参数进行修改,可以对该参数加上 const 关键字。
修饰函数返回值
与修饰普通变量和指针意义差不多,而在传引用时,如果不希望函数返回值被改变,就可以添加关键字 const 。
四、在类中使用 const
修饰类成员变量
(1) 成员常量不可被修改。
(2)只能在初始化列表中被赋值。
修饰类成员函数
(1)常成员函数, 它不改变对象的成员变量. 代表只读函数,增加程序的可读性。
(2)不能调用类中任何非 const 成员函数。
12. 操作符 new 的作用是什么?如何申请单个空间?如何申请动态数组?用 new 创建一个类的对象时,会发生哪些操作?必要时,请用代码说明。
作用:在堆中申请一段空间,动态分配内存
申请单个空间 int *i = new int;
申请动态数组 int *a = new int[10];
new 创建类对象需要指针接收,一处初始化,多处使用,作用域是全局,且需要手动释放空间,在堆中动态分配内存,调用构造函数。
13. 操作符 delete 的作用是什么?如何删除单个用 new 申请的空间?如何删除申请的动态数组?用 delete 删除一个类的对象时,会发生哪些操作?必要时,请用代码说明。
作用:释放所申请的空间
释放单个空间 delete i;
释放动态数组 delete []a;
释放在堆中分配的内存,调用析构函数。
14. 什么是悬挂指针 (又称为野指针,Dangling Pointers),其危害是什么?(google)
指针指向非法的内存地址,那么这个指针就是悬挂指针,也叫野指针。意为无法正常使用的指针。野指针造成的危害程度和危害时间未知,因为野指针指向的内存空间,有可能是某个重要的数据或其他程序。严重的情况下会造成程序崩溃。
15. 什么是类?通常一个类中,包含什么样的内容?定义一个类的语法是什么,试举例说明。
类是逻辑上相关的函数与数据的封装,描述了所创建对象共同的属性和方法。类中声明或定义的变量和函数称为成员,类的成员包括数据成员和函数成员,数据成员描述问题的属性,函数成员描述问题的行为。
16. 什么是对象?什么是类?类与对象的关系是什么?
类是逻辑上相关的函数与数据的封装,它是对问题的抽象描述。
对象是类的某一特定实体。
将整个公司的雇员看成一个类,那么每一个雇员就是该类的一个特定实体,也就是一个对象。
类对象的关系:类是对象的抽象,而对象是类的具体实例。类是抽象的,不占用内存,而对象是具体的,占用存储空间。类是用于创建对象的蓝图,它是一个定义包括在特定类型的对象中的方法和变量的软件模板。
17. 类中的成员可以用 public/protected/private 分别进行修饰,这三种成员在什么情况下是可以被访问的?类中没有用 public/protected/private 修饰的成员,其可访问性是什么,结构体中没有用 public/protected/private 修饰的成员,其可访问性是什么?
public 修饰的成员可以在任何地方被访问
private 修饰的成员只能由该类中的函数、其友元函数访问;不能被任何其他访问,该类对象也不能访问。
protected 修饰的成员可以被该类中函数、子类函数、友元函数访问;但不能被该类对象访问。
public 可以被访问,没有修饰,类的默认为 private,struct 默认为 public。
18. 什么是封装?其作用是什么?(google)
封装就是将抽象得到的数据和行为(或功能)相结合,形成一个有机的整体,也就是将数据与操作数据的函数代码进行有机结合,形成类。
作用:
使一部分成员充当类与外部的接口,而将其他成员隐藏起来,这样就达到了对成员访问权限的合理控制,使不同类之间的相互影响减少到最低限度,进而保护数据增强数据的安全性和简化程序编写工作。
19. 什么是构造函数?构造函数有返回值吗?构造函数如何命名?构造函数可以重载吗?什么是缺省构造函数 (default constructor)?什么情况下,类中会有缺省构造函数?
构造函数主要用来在创建对象时初始化对象, 即为对象成员变量赋初始值。
构造函数没有返回值。
构造函数是一个与其所在的类同名的函数。
构造函数可以重载。但是, 每个构造函数必须有不同的函数签名。
如果构造函数没有参数,或者构造函数的所有参数都有默认值,就可以称其为缺省构造函数。一个类中,只能有一个缺省构造函数。
当没有定义构造函数或者定义的构造函数没有参数时,类中会有缺省构造函数。
20. 若父类中没有缺省构造函数,则对派生类的构造函数有什么要求?
如果父类是一个无缺省参数的构造函数,那么对于派生类一旦没有构造函数,那么就不会自动的先构造父类的构造函数,这是不允许的。
派生类中一定要有构造函数。
BaseballTeam(const string s[], int si) : Team(si)
派生类的构造函数通过初始化列表,对基类进行初始化。
21. 构造函数的作用是什么?什么时候会被调用?构造函数的执行顺序是什么(父类与子类的构造函数、类自身与其数据成员的构造函数)?
构造函数主要用来在创建对象时初始化对象, 即为对象成员变量赋初始值。
当类被创建时,自动调用。
执行构造函数的顺序:
- 父类的构造函数
- 数据成员的初始化(成员中有类,执行该类的构造函数)
- 子类的构造函数
22. 什么是类作用域 (Class scope)、文件作用域 (file scope)、函数作用域(function scope)?
类作用域:
类是有名成员的集合,类 X 的成员 m 具有类作用域,对成员 m 的访问方式有如下三种:
1)如果 X 的成员函数中没有声明同名的局部作用域标识符,那么可以直接使用成员 m
2)通过表达式 x.m 或 X::m(访问静态成员)
3)通过 ptr->m,其中 ptr 为指向 X 类的一个对象的指针
文件作用域:
在函数外部声明的变量只在当前文件范围内(包括文件内所有定义的函数)可用
在其他文件不可用。要使变量具有文件作用域,必须在变量的声明前加 static 关键字。
当多个源文件链接成一个程序时,static 可以避免一个文件中的全局变量与其它文件中的变量同名而发生冲突。
函数作用域:
(1)指在函数定义或者复合语句中,从标识符的定义点开始到函数或者一对花括号之间的程序段。
(2)在同一个局部作用域内不能出现相同名字的两个局部变量(包括形参)。
(3)一个函数内的复合语句又是一个局部作用域,也就是在函数内有某个变量时,复合语句中可以有另外一个同名字的变量。
23. 为什么拷贝构造函数(copy constructor)的参数必须是按引用传递 (by reference) 而不能是按值传递(by value)?
- 无限递归调用:
当一个对象需要以值方式传递时编译器会生成代码调用它的拷贝构造函数以生成一个复本。如果类 A 的拷贝构造函数是以值方式传递一个类 A 对象作为参数的话,当需要调用类 A 的拷贝构造函数时,需要以值方式传进一个 A 的对象作为实参;而以值方式传递需要调用类 A 的拷贝构造函数;结果就是调用类 A 的拷贝构造函数导致又一次调用类 A 的拷贝构造函数,这就是一个无限递归。
2 在某些状况下,类内成员变量需要动态开辟堆内存,如果实行位拷贝,也就是把对象里的值完全复制给另一个对象,如 A=B。这时,如果 B 中有一个成员变量指针已经申请了内存,那 A 中的那个成员变量也指向同一块内存。这就出现了问题:当 B 把内存释放了(如:析构),这时 A 内的指针就是野指针了,出现运行错误。
- 拷贝构造函数 (复制构造函数) 的作用是什么?什么是浅拷贝?什么是深拷贝?(google)
复制构造函数由编译器调用来完成一些基于同一类的其他对象的构件及初始化。
浅拷贝只是对指针的拷贝,拷贝后两个指针指向同一个内存空间,深拷贝不但对指针进行拷贝,而且对指针指向的内容进行拷贝,经深拷贝后的指针是指向两个不同地址的指针。
25. 全局对象 (Global scope objects) 的构造函数、析构函数分别是什么时候被调用的?
自动局部对象 (Automatic local objects) 的构造函数、析构函数分别是什么时候被调用的?
静态局部对象 (static local objects) 的构造函数、析构函数分别是什么时候被调用的?
- 全局变量构造函数程序运行前被调用,在 main() 函数返回后才被中对象才被销毁,析构函数在程序结束前最后被调用。
- 自动局部变量,当程序执行到对象定义时,调用自动局部对象的构造函数。该对象的析构函数在对象离开范围时调用 (即离开定义对象的块时)。自动对象的构造函数与析构函数在每次对象进人和离开范围时调用。
- 静态局部对象的构造函数只在程序执行首次到达对象定义时调用一次,对应的析构函数在 main 终止或调用 exit 函数时调用。
26. 什么是初始化列表 (Initialization Sections)?它的作用是什么?(提示:一般数据成员的初始化、常成员的初始化,对象成员构选函数的选择、父类构造函数的选等)。
构造函数初始化列表以一个冒号开始,接着是以逗号分隔的数据成员列表,每个数据成员后面跟一个放在括号中的初始化式。
初始化列表作用:一般数据成员的初始化、常成员的初始化,对象成员构选函数的选择、父类构造函数的选择。
27. 什么是纯虚函数?什么是抽象数据类型 (ADT)?抽象类的作用是什么?抽象类是否可实例化?抽象类的什么样子类可以实例化?(google)
纯虚函数是没有函数体的虚函数,它的实现留给该基类的派生类去做,这就是纯虚函数的作用。
抽象类是一种特殊的类,它是为了抽象和设计的目的而建立的,它处于继承层次结构的较上层。
抽象类不可实例化,只可以派生。
抽象类派生的子类必须重置基类的纯虚函数才能实现实例化。
抽象数据类型是具有类似行为的特定类型的数据结构的数学模型:或者具有类似语义的一种或者多种程序设计语言的数据类型。
抽象数据类型的描述包括给出抽象数据类型的名称、数据的集合、数据之间的关系和操作的集合等方面的描述。抽象数据类型的设计者根据这些描述给出操作的具体实现,抽象数据类型的使用者依据这些描述使用抽象数据类型。
抽象数据类型描述的一般形式如下:
ADT 抽象数据类型名称
{
数据对象:
……
数据关系:
……
操作集合:
操作名 1:
……
……
操作名 n:
}ADT 抽象数据类型名称
抽象数据类型定义(ADT)
作用:抽象数据类型可以使我们更容易描述现实世界。例:用线性表描述学生成绩表,用树或图描述遗传关系。
定义:一个数学模型以及定义在该模型上的一组操作。
关键:使用它的人可以只关心它的逻辑特征,不需要了解它的存储方式。定义它的人同样不必要关心它如何存储。
例:线性表这样的抽象数据类型,其数学模型是:数据元素的集合,该集合内的元素有这样的关系:除第一个和最后一个外,每个元素有唯一的前趋和唯一的后继。可以有这样一些操作:插入一个元素、删除一个元素等。
28. 什么是 this 指针,其作用是什么?
this 指针是一个隐含于每一个成员函数中的特殊指针。它是一个指向正在被该成员函数操作的对象,也就是要操作该成员函数的对象。通过 this 指针可以访问当前对象的所有成员。
this 作用域是在类内部,当对一个对象调用成员函数时,编译程序先将对象的地址赋给 this 指针,编译器会自动将对象本身的地址作为一个隐含参数传递给函数。
在以下场景中,经常需要显式引用 this 指针:
(1)在类的非静态成员函数中返回类对象本身的时候,直接使用 return *this,例如:实现对象的链式引用。
(2)当参数与成员变量名相同时,如 this->x = x,不能写成 x = x。
(3)避免对同一对象进行赋值操作。
29. 什么是友元 (friend) 函数?为什么要使用友员函数?
友元函数是在类声明中由关键字 friend 修饰说明的非成员函数或其它类的成员函数,在它的函数体中能够通过对象名访问 private 和 protected 成员
友元函数可以访问这个类中的私有成员, 增加灵活性,使程序员可以在封装和快速性方面做合理选择。
友元是 C++ 提供的一种对数据封装和数据隐藏的破坏机制。
30. 如何防止一个头文件被多重包含?举例说明。
#include “a.h”
#include “b.h”
如果 a.h 和 b.h 都包含了一个头文件 x.h。那么 x.h 在此也同样被包含了两次,只不过它的形式不是那么明显而已。
可以使用条件编译。
当头文件第一次被包含时,它被正常处理,符号_HEADERNAME_H 被定义为 1。如果头文件被再次包含,通过条件编译,它的内容被忽略。
符号_HEADERNAME_H 按照被包含头文件的文件名进行取名,以避免由于其他头文件使用相同的符号而引起的冲突。但是,你必须记住预处理器仍将整个头文件读入,即使这个头文件所有内容将被忽略。由于这种处理将托慢编译速度,所以如果可能,应该避免出现多重包含。
31. 什么是运算符重载?为什么要使用运算符重载?如何进行运算符重载,举例说明。
运算符重载,就是对已有的运算符重新进行定义,赋予其另一种功能,以适应不同的数据类型。
扩展 C++ 中提供的运算符的适用范围,以用于类所表示的抽象数据类型。同一个运算符,对不同类型的操作数,所发生的行为不同。
运算符重载的函数一般地采用如下两种形式:成员函数形式和友元函数形式。这两种形式都可访问类中的私有成员。
32. 为什么重载为全局函数的运算符通常要比重载为成员函数的运算符多一个参数?举例说明。
当重载为成员函数时,会有一个 this 指针,指向当前的类,所以只需要一个参数就可以了。
而当重载为全局函数时,将没有隐含的参数 this 指针,这样将会多一个参数。
33. 什么是析构函数?析构函数有返回值吗?析构函数如何命名?析构函数可以重载吗?
与构造函数相反,当对象结束其生命周期,如对象所在的函数已调用完毕时,系统会自动执行析构函数。
析构函数没有返回值。
名字与类名相同,在前面加‘~’。
析构函数不返回任何值,没有函数类型,也没有函数参数,因此它不能被重载。
34. 析构函数的作用是什么?什么时候会被调用?为什么析构函数通常是虚函数,如果不是虚函数,会如何?(google)
析构函数对象消亡时即自动被调用。
作用:清空并释放对象先前创建或者占用的内存资源。
如果析构函数不被声明成虚函数,则编译器采用的绑定方式是静态绑定,在删除基类指针时,只会调用基类析构函数,而不调用派生类析构函数,这样就会导致基类指针指向的派生类对象析构不完全。
若是将析构函数声明为虚函数,不管派生类的析构函数前是否加 virtual(可以理解为编译器优化),都构成重写。基类的指针指向派生类的对象,然后调用重写虚函数——析构函数,构成了多态,而多态与类型无关,只与对象有关,所以就能够调用的就是派生类的析构函数了。
35. 在一个类中,为什么静态成员函数(static member function)中不能使用 this 指针?
静态成员函数并不是针对某个类的实例对象,而是属于整个类的,为所有的对象实例所共有。他在作用域的范围内是全局的,独立于类的对象之外的。他只对类内部的静态成员变量做操作。当实例化一个类的对象时候,里面不存在静态成员的。this 指针是相当于一个类的实例的指针,this 是用来操作对象实例的内容的,既然静态成员函数和变量都是独立于类的实例对象之外的,他就不能用 this 指针。也不能操作非静态成员。
- 如果要编写一段程序,跟踪类 A 所创建的实例的个数,请叙述编写程序的大体思路。
37. 什么是 C++ 中的三大函数 (The Big Three)?(google)
Big Three: 是指 如果一个类要实现下面某一个成员函数,一般都要一起实现另外两个:
1)Desconstructor 析构函数
2) copy constructor 拷贝构造函数
3) operator = 赋值函数
38. 什么是 UML?如何画 UML 中的类图?什么是类与类之间依赖关系、关联关系、包含关系?试举例说明这三种类之间的关系。这三种关系如何和 UML 图表示?
UML 统一建模语言,UML 语言是一种可视化的的面向对象建模语言,描述软件模型的静态结构、动态行为及模块组织与管理。
依赖关系:一个事物的变化可能会影响到使用它的另一个事物。举例:驾驶员(源)开车(目标)。
关联关系:一个类的对象和另一个类的对象之间相互作用。举例:老师和学生,小明的语文老师是张老师,张老师的学生有小明。
包含关系:聚集和组合
聚集表示类之间的关系是整体与部分的关系。举例:班级成员和学生。
组合是指整体拥有各个部分,整体和部分共存,整体不存在了,部分也会随之消失。举例:打开一个视窗口,它由标题、外框和显示区域组成,视窗口是一个整体,它消失了,部分也就随之消失了。
继承关系:在 UML 中称为泛化。举例:鸭子和鸟,鸭子是一种鸟,继承了鸟的特性。
39. 常见的类与类之间的关系有哪几种,举例说明每种关系的对应 UML 图如何画?两个什么样的类可以实现为继承关系?(google)
依赖关系、关联关系、包含关系、继承关系。
具有共同属性的两个类可以实现继承关系。
40. 父类成员中的 public、protected、private 成员,哪些在子类中是可以访问的?
在公有继承、私有继承、受保护继承三种继承方式下,父类成员中的 public、protected、private 成员被继承到子类后,其可访问性分别是什么?
派生类是否可以继承父类的构造函数和析构函数?
public 和 protected 是可以访问的,private 不可访问。
公有继承:public、protected、private
私有继承:private、private、private
保护继承:protected、protected、private
派生类不能继承父类的构造函数和析构函数。
41. 多重继承会带来什么问题?在 C++ 中是如何解决的?
问题 1:类 DC 的对象中存在多个同名成员 x, 应如何使用?
问题 2:类 DC 的对象中,存在两份来自类 BC0 的成员 K,如何区分?
解决方案:
在 BC1 类和 BC2 类继承 BC0 时,其前面加上 virtual 关键字就可以实现虚拟继承,使用虚拟继承后,当系统碰到多重继承的时候就会先自动加一个 BC0 的拷贝,当再次请求一个 BC0 的拷贝时就会被忽略,以保证继承类成员函数的唯一性。
42. 对于函数调用,什么是前期绑定 (Early Binding,又称为静态联编)?什么是的后期绑定 (Late Binding,又称为动态联编)?重载函数是后期绑定吗,如果不是为什么?
绑定:程序自身彼此关联的过程,确定程序中的操作调用与执行该操作的代码间的关系。例如把一个标示符名和一个存储地址联系在一起的过程。
用面向对象的术语讲,就是把一条消息和一个对象的方法相结合的过程。
按照绑定进行的阶段的不同,可以分为静态绑定和动态绑定两种。
静态绑定:绑定工作在编译连接阶段完成。
因为绑定过程是在程序开始执行之前进行的,因此也称为早期绑定或前绑定。
在编译、连接过程中,系统就可以根据类型匹配等特征确定程序中操作调用与执行该操作代码的关系,即确定了某一个同名标识到底是要调用哪一段程序代码。
动态绑定:和静态绑定相对应,绑定工作在程序运行阶段完成的。
pa->Get() 调用的是 A::Get() 还是 B::Get( ),编译时无法确定,因为不知道 MyFunction 被调用时,形参会对应于一个 A 对象还是 B 对象。
所以只能等程序运行到 pa->Get() 了,才能决定到底调用哪个 Get()。
重载函数是静态绑定。
43. 要让一个函数调用表现出多态特征,必须满足哪些条件?
- 必须存在继承关系;
- 子类重写父类的方法。继承关系中必须有同名的虚函数,并且它们是覆盖关系(重载不行)。
- 存在基类的指针,通过该指针调用虚函数。
44. 简述虚函数动态绑定的实现原理。
构造函数中为对象的虚指针赋值,通过多态类型的指针或引用调用成员函数时,通过虚指针找到虚表,进而找到所调用的虚函数的入口地址,通过该入口地址调用虚函数。
45. 什么是隐藏 (hiding)、覆盖 (overriding)、重载 (overloading)?对比它们的异同?以 C++ 代码为例进行说明。
若基类 B 定义了非虚方法 m,同时其派生类 D 也定义了方法 m,此时,我们说派生类方法 D::m 隐藏了继承自基类的同名方法 B::m 。由于函数签名不同,所以二者不构成重置。故 D::m 隐藏了 B::m。
覆盖 (override) 是指派生类中存在重新定义的函数,其函数名、参数列、返回值类型必须同父类中的相对应被覆盖的函数严格一致,覆盖函数和被覆盖函数只有函数体不同,当派生类对象调用派生类中该同名函数时会自动调用派生类中的覆盖版本,而不是父类中的被覆盖函数版本,这种机制就叫做覆盖。
重载:如果顶层函数有不同的签名,则函数名可以相同。
如果同一类中的函数有不同的签名,则函数名可以相同。
编译过程中绑定函数调用和对应的函数体
46. 什么是多态?
一个组合的希腊词。含义:一种物质有多种形态。在专业术语中,多态是一种运行时绑定机制 (run-time binding) ,通过这种机制,实现将函数名绑定到函数具体实现代码的目的。
47. 什么是切片 (Slicing)?(注意参考讲义)
派生类的存储结构与基类的存储结构存在着 “粘接(splice)” 关系:
当子类对象拷贝到父类对象时,父类对象中只存在父类定义的成员,而不会出现任何子类中的成员。
48. 使用异常处理机制的好处是什么?
- 将常规代码与错误处理代码的分离
- 实现在调用栈中传播异常
- 实现对不同的错误类型进行分类
49. 简述 C++ 中的异常处理机制。要捕获某段代码中的所有异常,应该如何编写代码?
C++ 用 try 和 catch 进行异常处理,当 try 块出现异常,则 catch 中匹配相应的异常处理,若 catch 块中没有匹配该异常对象的语句,则转向外一层的 try、catch 语句,若一直退回到主函数都无法处理异常,则由系统调用 terminate()函数终止程序。用异常规格 (exception specification) 列出函数可能会抛出所有异常的类型。
50. 分别举例说明用于算法抽象的函数模板和用于数据抽象的类模板。(google)
函数模板:
函数模板是 对算法相似,但支持的数据类型不同的一组操作的提炼,以提高程序的重用性。
函数模板的实例就是一个用于特定类型的普通函数。
通常,编译器可根据实参类型确定模板参数;
类模板:
使用类模板使用户可以为类定义一种模式,使得类中的某些数据成员、某些数据成员函数的参数、返回值和局部变量能够取任意类型(包括系统预定义和用户自定义)
有时候,有两个或多个类,其功能是相同的,仅仅是数据类型不同,可以使用模板类。
51.dynamic-cast 的作用是什么?试举例说明。
该运算符把 expression 转换为 type-id 类型,并且可以在运行期间检测类型转换是否安全。dynamic_cast 要求转型的目的类型必须是指针或者引用。
将基类指针转换为派生类指针,将基类引用转换为派生类引用;
转换是有条件的
如果指针(或引用)所指对象的实际类型与转换的目的类型兼容,则转换成功进行;
否则如执行的是指针类型的转换,则得到空指针;如执行的是引用类型的转换,则抛出异常。