InterView之C/CPP
CPP
引用
什么是“引用”?申明和使用“引用”要注意哪些问题?
答:引用就是某个目标变量的别名(alias)
,对应用的操作与对变量直接操作效果完全相同。申明一个引用的时候,切记要对其进行初始化。引用声明完毕后,相当于目标变量名有两个名称,即该目标原名称
和引用名
,不能再把该引用名作为其他变量名的别名。声明一个引用,不是新定义了一个变量,它只表示该引用名是目标变量名的一个别名,它本身不是一种数据类型,因此引用本身不占存储单元
,系统也不给引用分配存储单元。不能建立数组的引用。
将“引用”作为函数参数有哪些特点?
(1)传递引用给函数与传递指针的效果是一样的。这时,被调函数的形参就成为原来主调函数中的实参变量或对象的一个别名来使用,所以在被调函数中对形参变量的操作就是对其相应的目标对象(在主调函数中)的操作。
(2)使用引用传递函数的参数,在内存中并没有产生实参的副本,它是直接对实参操作;而使用一般变量传递函数的参数,当发生函数调用时,需要给形参分配存储单元,形参变量是实参变量的副本;如果传递的是对象,还将调用拷贝构造函数。因此,当参数传递的数据较大时,用引用比用一般变量传递参数的效率和所占空间都好。
(3)使用指针作为函数的参数虽然也能达到与使用引用的效果,但是,在被调函数中同样要给形参分配存储单元,且需要重复使用"*指针变量名"的形式进行运算,这很容易产生错误且程序的阅读性较差;另一方面,在主调函数的调用点处,必须用变量的地址作为实参。而引用更容易使用,更清晰。
什么时候需要使用“常引用”?
如果既要利用引用提高程序的效率,又要保护传递给函数的数据不在函数中被改变,就应使用常引用。常引用声明方式:const 类型标识符 &引用名=目标变量名
;
int a;
const int &ra = a;
ra = 1; // 错误
a = 1; // 正确
string foo( );
void bar(string&s)
//下面的表达式将是非法的:
bar(foo());
bar("hello world");
原因在于
foo( )
和"hello world"
串都会产生一个临时对象,而在C++中,这些临时对象都是const
类型的。因此上面的表达式就是试图将一个const
类型的对象转换为非const
类型,这是非法的。引用型参数应该在能被定义为const
的情况下,尽量定义为`const 。
将“引用”作为函数返回值类型的格式、好处和需要遵守的规则?
格式:
类型标识符 &函数名(形参列表及类型说明)
{
//函数体
}
好处
在内存中不产生被返回值的副本;(注意:正是因为这点原因,所以返回一个局部变量的引用是不可取的。因为随着该局部变量生存期的结束,相应的引用也会失效,产生
runtime error
!
注意
(1)不能返回局部变量的引用。这条可以参照Effective C++[1]的Item 31
。主要原因是局部变量会在函数返回后被销毁,因此被返回的引用就成为了"无所指"
的引用,程序会进入未知状态。
(2)不能返回函数内部new
分配的内存的引用。 这条可以参照Effective C++[1]的Item 31
。虽然不存在局部变量的被动销毁问题,可对于这种情况(返回函数内部new
分配内存的引用),又面临其它尴尬局面。例如,被函数返回的引用只是作为一个临时变量出现,而没有被赋予一个实际的变量,那么这个引用所指向的空间(由new
分配)就无法释放,造成memory leak
。
(3)可以返回类成员的引用,但最好是const
。 这条原则可以参照Effective C++[1]的Item 30
。主要原因是当对象的属性是与某种业务规则(business rule
)相关联的时候,其赋值常常与某些其它属性或者对象的状态有关,因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常量引用(或指针)
,那么对该属性的单纯赋值就会破坏业务规则的完整性。
(4)流操作符重载返回值申明为“引用”
的作用:
流操作符
<<
和>>
,这两个操作符常常希望被连续使用,例如:cout <<"hello" << endl
; 因此这两个操作符的返回值应该是一个仍然支持这两个操作符的流引用。可选的其它方案包括:返回一个流对象和返回一个流对象指针。但是对于返回一个流对象,程序必须重新(拷贝)构造一个新的流对象,也就是说,连续的两个<<
操作符实际上是针对不同对象的!这无法让人接受。对于返回一个流指针则不能连续使用<<
操作符。 因此,返回一个流对象引用是惟一选择。这个唯一选择很关键,它说明了引用的重要性以及无可替代性,也许这就是C++语言中引入引用
这个概念的原因吧。 赋值操作符=
。这个操作符象流操作符一样,是可以连续使用的,例如:x = j = 10
;或者(x=10)=100
;赋值操作符的返回值必须是一个左值,以便可以被继续赋值。因此引用成了这个操作符的惟一返回值选择。
#include <iostream.h>
int &put(int n);
int vals[10];
int error = -1;
void main(){
put(0) = 10; // 以put(0)函数值作为左值,等价于vals[0]=10;
put(9) = 20; // 以put(9)函数值作为左值,等价于vals[9]=20;
cout << vals[0];
cout << vals[9];
}
int &put(int n){
if (n>=0 && n<=9) {
return vals[n];
}else {
cout << "subscript error";
return error;
}
}
(5)在另外的一些操作符中,却千万不能返回引用:+-*/
四则运算符。它们不能返回引用,Effective C++[1]的Item23
详细的讨论了这个问题。主要原因是这四个操作符没有side effect
,因此,它们必须构造一个对象作为返回值,可选的方案包括:返回一个对象、返回一个局部变量的引用,返回一个new
分配的对象的引用、返回一个静态对象引用。根据前面提到的引用作为返回值的三个规则,第2、3两个方案都被否决了。静态对象的引用又因为((a+b) == (c+d))
会永远为true
而导致错误。所以可选的只剩下返回一个对象了。
“引用”与多态的关系?
引用是除指针外另一个可以产生多态效果的手段。这意味着,一个基类的引用可以指向它的派生类实例(见:C++中类的多态与虚函数的使用)。
Class A;
Class B : Class A{
// ...
};
B b;
A &ref= b;
“引用”与指针的区别是什么?
指针通过某个指针变量指向一个对象后,对它所指向的变量间接操作。程序中使用指针,程序的可读性差;而引用本身就是目标变量的别名,对引用的操作就是对目标变量的操作。此外,就是上面提到的对函数传ref
和pointer
的区别。
什么时候需要“引用”?
流操作符<<
和>>
、赋值操作符=的返回值
、拷贝构造函数的参数、赋值操作符=的参数
、其它情况都推荐使用引用。
结构与联合有和区别?
结构
和联合
都是由多个不同的数据类型成员组成, 但在任何同一时刻, 联合中只存放了一个被选中的成员(所有成员共用一块地址空间), 而结构的所有成员都存在(不同成员的存放地址不同)。- 对于联合的不同成员赋值, 将会对其它成员重写, 原来成员的值就不存在了, 而对于结构的不同成员赋值是互不影响的。
其他
已知String类定义如下
class String{
public:
String(const char *str = NULL); // 通用构造函数
String(const String &another); // 拷贝构造函数
~String(); // 析构函数
String& operater =(const String &rhs); // 赋值函数
private:
char* m_data; // 用于保存字符串
};
尝试写出类的成员函数实现。
String::String(const char *str){
if ( str == NULL ){ // strlen在参数为NULL时会抛异常才会有这步判断
m_data =newchar[1] ;
m_data[0] ='\0' ;
}else{
m_data =newchar[strlen(str) +1];
strcpy(m_data,str);
}
}
String::String(const String &another){
m_data =newchar[strlen(another.m_data) +1];
strcpy(m_data,other.m_data);
}
String& String::operator=(const String &rhs){
if ( this==&rhs)
return*this ;
delete []m_data; //删除原来的数据,新开一块内存
m_data =newchar[strlen(rhs.m_data) +1];
strcpy(m_data,rhs.m_data);
return*this ;
}
String::~String(){
delete []m_data ;
}
.h
头文件中的ifndef
/define
/endif
的作用?
防止该头文件被重复引用。
#include <file.h>
与 #include "file.h"
的区别?
前者是从Standard Library
的路径寻找和引用file.h
,而后者是从当前工作路径
搜寻并引用file.h
。
在C++程序中调用被C 编译器编译后的函数,为什么要加extern "C"
?
首先,作为extern
是C/C++语言中表明函数
和全局变量
作用范围(可见性)的关键字,该关键字告诉编译器,其声明的函数和变量可以在本模块或其它模块中使用。
通常,在模块的头文件中对本模块提供给其它模块引用的函数和全局变量以关键字extern
声明。例如,如果模块B欲引用该模块A中定义的全局变量和函数时只需包含模块A的头文件即可。这样,模块B中调用模块A中的函数时,在编译阶段,模块B虽然找不到该函数,但是并不会报错;它会在连接阶段中从模块A编译生成的目标代码中找到此函数
extern "C"
是连接申明(linkage declaration
),被extern "C"
修饰的变量和函数是按照C语言方式编译和连接的,来看看C++中对类似。
C的函数是怎样编译的
作为一种面向对象的语言,C++支持函数重载,而过程式语言C则不支持。函数被C++编译后在符号库中的名字与C语言的不同。例如,假设某个函数的原型为:void foo( int x, int y );
该函数被C编译器编译后在符号库中的名字为_foo
,而C++编译器则会产生像_foo_int_int
之类的名字(不同的编译器可能生成的名字不同,但是都采用了相同的机制,生成的新名字称为“mangled name”
)。_foo_int_int
这样的名字包含了函数名
、函数参数数量
及类型信息
,C++就是靠这种机制来实现函数重载的。例如,在C++中,函数void foo( int x, int y )
与void foo( int x, float y )
编译生成的符号是不相同的,后者为_foo_int_float
。同样地,C++中的变量除支持局部变量外,还支持类成员变量和全局变量。用户所编写程序的类成员变量可能与全局变量同名,我们以"."
来区分。而本质上,编译器在进行编译时,与函数的处理相似,也为类中的变量取了一个独一无二的名字,这个名字与用户程序中同名的全局变量名字不同。
未加extern "C"
声明时的连接方式
假设在C++中,模块A的头文件如下:
// 模块A头文件 moduleA.h
#ifndef MODULE_A_H
#define MODULE_A_H
int foo( int x, int y );
#endif
在模块B中引用该函数:
// 模块B实现文件 moduleB.cpp
#include "moduleA.h"
foo(2,3);
实际上,在连接阶段,连接器会从模块A生成的目标文件moduleA.obj
中寻找_foo_int_int
这样的符号!
加extern "C"声明后的编译和连接方式
加extern "C"
声明后,模块A的头文件变为
// 模块A头文件 moduleA.h
#ifndef MODULE_A_H
#define MODULE_A_H
extern "C" int foo( int x, int y );
#endif
在模块B的实现文件中仍然调用foo( 2,3 )
,其结果是:
- 模块A编译生成
foo
的目标代码时,没有对其名字进行特殊处理,采用了C语言的方式; - 连接器在为模块B的目标代码寻找
foo(2,3)
调用时,寻找的是未经修改的符号名_foo
。
如果在模块A中函数声明了foo
为extern "C"
类型,而模块B中包含的是extern int foo( int x, int y )
,则模块B找不到模块A中的函数;反之亦然。所以,可以用一句话概括extern "C"
这个声明的真实目的(任何语言中的任何语法特性的诞生都不是随意而为的,来源于真实世界的需求驱动。我们在思考问题时,不能只停留在这个语言是怎么做的,还要问一问它为什么要这么做,动机是什么,这样我们可以更深入地理解许多问题):实现C++与C及其它语言的混合编程。明白了C++中extern "C"
的设立动机,我们下面来具体分析extern "C"
通常的使用技巧:
extern "C"
的惯用法
在C++中引用C语言中的函数和变量,在包含C语言头文件(假设为cExample.h
)时,需进行下列处理:
extern"C"
{
#include"cExample.h"
}
而在C语言的头文件中,对其外部函数只能指定为extern
类型,C语言中不支持extern "C"
声明,在.c
文件中包含了extern "C"
时会出现编译语法错误。
C++引用C函数例子工程中包含的三个文件的源代码如下:
/* c语言头文件:cExample.h */
#ifndef C_EXAMPLE_H
#define C_EXAMPLE_H
extern int add(int x, inty);
#endif
/* c语言实现文件:cExample.c */
#include "cExample.h"
int add( int x, int y ){
return x + y;
}
// c++实现文件,调用add:cppFile.cpp
extern"C"
{
#include "cExample.h"
}
int main(int argc, char* argv[]){
add(2,3);
return0;
}
如果C++调用一个C语言编写的.DLL
时,当包括.DLL
的头文件或声明接口函数时,应加extern "C" { }
。
在C中引用C++语言中的函数和变量时,C++的头文件需添加extern "C"
,但是在C语言中不能直接引用声明了extern "C"
的该头文件,应该仅将C文件中将C++中定义的extern "C"
函数声明为extern
类型。
C引用C++函数例子工程中包含的三个文件的源代码如下:
//C++头文件cppExample.h
#ifndef CPP_EXAMPLE_H
#define CPP_EXAMPLE_H
extern"C" int add( int x, int y );
#endif
//C++实现文件 cppExample.cpp
#include"cppExample.h"
int add( int x, int y ){
return x + y;
}
/* C实现文件 cFile.c
/* 这样会编译出错:#include "cExample.h" */
externint add( int x, int y );
int main( int argc, char* argv[] ){
add( 2, 3 );
return0;
}
关联
、聚合
(Aggregation
)以及组合
(Composition
)的区别?
涉及到UML中的一些概念:
关联
是表示两个类的一般性联系,比如“学生”和“老师”就是一种关联关系;聚合
表示has-a
的关系,是一种相对松散的关系,聚合类不需要对被聚合类负责,如下图所示,用空的菱形表示聚合关系:
从实现的角度讲,聚合可以表示为:
class A {...}
class B { A* a; .....}
组合
表示contains-a
的关系,关联性强于聚合:组合类与被组合类有相同的生命周期,组合类要对被组合类负责,采用实心的菱形表示组合关系:
实现的形式是:
class A{...}
class B{ A a; ...}
面向对象
的三个基本特征,并简单叙述之?
封装
:将客观事物抽象成类,每个类对自身的数据和方法实行protection
(private
,protected
,public
)继承
:广义的继承有三种实现形式:实现继承
(指使用基类的属性和方法而无需额外编码的能力)、可视继承
(子窗体使用父窗体的外观和实现代码)、接口继承
(仅使用属性和方法,实现滞后到子类实现)。前两种(类继承)和后一种(对象组合=>接口继承以及纯虚函数)构成了功能复用的两种方式。多态
:系统能够在运行时,能够根据其类型确定调用哪个重载的成员函数的能力,称为多态性。(见:C++中类的多态与虚函数的使用)
重载
(overload
)和重写
(override
,有的书也叫做“覆盖overwrite”
)的区别?
定义
重载
:是指允许存在多个同名函数,而这些函数的参数表不同(或许参数个数不同,或许参数类型不同,或许两者都不同)。重写
:是指子类重新定义父类虚函数的方法。
原理
-
重载
:编译器根据函数不同的参数表,对同名函数的名称做修饰,然后这些同名函数就成了不同的函数(至少对于编译器来说是这样的)。如,有两个同名函数:function func(p:integer):integer;和function func(p:string):integer;
。那么编译器做过修饰后的函数名称可能是这样的:int_func、str_func
。对于这两个函数的调用,在编译器间就已经确定了,是静态的。也就是说,它们的地址在编译期就绑定了(早绑定),因此,重载和多态无关! -
重写
:和多态真正相关。当子类重新定义了父类的虚函数后,父类指针根据赋给它的不同的子类指针,动态的调用属于子类的该函数,这样的函数调用在编译期间是无法确定的(调用的子类的虚函数的地址无法给出)。因此,这样的函数地址是在运行期绑定的(晚绑定)。
多态
的作用?
隐藏实现细节
,使得代码能够模块化;扩展代码模块,实现代码重用;接口重用
:为了类在继承和派生的时候,保证使用家族中任一类的实例的某一属性时的正确调用。
Ado
与Ado.net
的相同与不同?
除了“能够让应用程序处理存储于DBMS
中的数据“这一基本相似点外,两者没有太多共同之处。但是Ado
使用OLE DB
接口并基于微软的COM
技术,而ADO.NET
拥有自己的ADO.NET
接口并且基于微软的.NET
体系架构。众所周知.NET
体系不同于COM
体系,ADO.NET
接口也就完全不同于ADO
和OLE DB
接口,这也就是说ADO.NET
和ADO
是两种数据访问方式。ADO.net
提供对XML
的支持。
New
delete
与malloc
free
的联系与区别?
都是在堆
(heap
)上进行动态的内存操作。用malloc
函数需要指定内存分配的字节数并且不能初始化对象,new
会自动调用对象的构造函数。delete
会调用对象的destructor
,而free
不会调用对象的destructor
.
有哪几种情况只能用intializationlist
而不能用assignment
?
当类中含有const
、reference
成员变量;基类的构造函数都需要初始化表。
C++是不是类型安全的?
不是。两个不同类型的指针之间可以强制转换(用reinterpret cast
)。C#是类型安全的。
main
函数执行以前,还会执行什么代码?
全局对象的构造函数会在main
函数之前执行,为malloc
分配必要的资源,等等。
描述内存分配方式以及它们的区别?
- 从
静态存储区域
分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。例如全局变量
,static
变量。 - 在
栈
上创建。在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集。 - 从
堆
上分配,亦称动态内存分配
。程序在运行的时候用malloc
或new
申请任意多少的内存,程序员自己负责在何时用free
或delete
释放内存。动态内存的生存期由程序员决定,使用非常灵活,但问题也最多。 - 代码区。
struct
和 class
的区别
struct
的成员默认是公有的,而类的成员默认是私有的。struct
和 class
在其他方面是功能相当的。从感情上讲,大多数的开发者感到类
和结构
有很大的差别。感觉上结构仅仅象一堆缺乏封装和功能的开放的内存位,而类就象活的并且可靠的社会成员,它有智能服 务,有牢固的封装屏障和一个良好定义的接口。既然大多数人都这么认为,那么只有在你的类有很少的方法并且有公有数据(这种事情在良好设计的系统中是存在的!)时,你也许应该使用 struct
关键字,否则,你应该使用 class
关键字。
当一个类A 中没有生命任何成员变量与成员函数,这时sizeof(A)
的值是多少,如果不是零,请解释一下编译器为什么没有让它为零。(Autodesk
)
肯定不是零。举个反例,如果是零的话,声明一个class A[10]
对象数组,而每一个对象占用的空间是零,这时就没办法区分A[0]
,A[1]…
了。
在8086
汇编下,逻辑地址
和物理地址
是怎样转换的?(Intel
)
通用寄存器给出的地址,是段内偏移地址,相应段寄存器地址*10H+通用寄存器内地址,就得到了真正要访问的地址。
比较C++中的4种类型转换方式?
重点是static_cast
, dynamic_cast
和reinterpret_cast
的区别和应用。
分别写出BOOL
,int
,float
,指针类型的变量a
与“零”
的比较语句。
- BOOL :
if ( !a ) or if(a)
- int :
if ( a ==0)
- float :
const EXPRESSION EXP = 0.000001; if ( a < EXP&& a >-EXP)
- pointer :
if ( a != NULL) or if(a == NULL)
请说出const
与#define
相比,有何优点?
const
常量有数据类型,而宏常量没有数据类型。编译器可以对前者进行类型安全检查。而对后者只进行字符替换,没有类型安全检查,并且在字符替换可能会产生意料不到的错误。- 有些集成化的调试工具可以对const 常量进行调试,但是不能对宏常量进行调试。
简述数组
与指针
的区别?
数组要么在静态存储区被创建(如全局数组),要么在栈上被创建。指针可以随时指向任意类型的内存块。
- 修改内容上的差别
char a[] = “hello”;
a[0] = ‘X’;
char *p = “world”; // 注意p 指向常量字符串
p[0] = ‘X’; // 编译器不能发现该错误,运行时错误
- 用运算符
sizeof
可以计算出数组的容量(字节数
)。sizeof(p)
,p
为指针得到的是一个指针变量的字节数,而不是p
所指的内存容量。C++/C 语言没有办法知道指针所指的内存容量,除非在申请内存时记住它。注意当数组作为函数的参数进行传递时,该数组自动退化为同类型的指针。
char a[] ="hello world";
char*p = a;
cout<<sizeof(a) << endl; // 12 字节
cout<<sizeof(p) << endl; // 4 字节
- 计算数组和指针的内存容量
void Func(char a[100]){
cout<<sizeof(a) << endl; // 4 字节而不是100 字节
}
类成员函数的重载
、覆盖
和隐藏
区别?
成员函数被重载的特征:
- 相同的范围(在同一个类中);
- 函数名字相同;
- 参数不同;
virtual
关键字可有可无。
覆盖是指派生类函数覆盖基类函数,特征是:
- 不同的范围(分别位于派生类与基类);
- 函数名字相同;
- 参数相同;
- 基类函数必须有
virtual
关键字。
隐藏是指派生类的函数屏蔽了与其同名的基类函数,规则如下:
- 如果派生类的函数与基类的函数同名,但是参数不同。此时,不论有无
virtual
关键字,基类的函数将被隐藏(注意别与重载混淆)。 - 如果派生类的函数与基类的函数同名,并且参数也相同,但是基类函数没有
virtual
关键字。此时,基类的函数被隐藏(注意别与覆盖混淆)