深入C++(4)

深入C++(4)

1.局部域变量覆盖

​ 局部域内的变量名解析过程是 从内向外 的,从当前域开始查找该变量的声明,如果找到了就会解析该变量名,如果找不到,就会进入包含当前域的域中去寻找这个变量名.

​ 因此,如果在全局域中定义了一个变量,而又在某个局部域定义了一个与之变量名相同的变量,那么根据变量名的解析过程,在当前局部域找到了这个变量的声明定义,然后就会按照局部域的定义来解析这个变量,而全局域中的变量被抛弃,当作不存在.因此在这个局部域中,会形成变量覆盖.

2. 数组的动态分配

​ 2.1 用new分配一个数组时,只有第一维可以用一个运行时刻的表达式来指定,其他维必须在是在编译时刻就已知的常量值,如:

	int getSize();
	int (*pArr)[1024] = new int\[getSize()][1024];	//正确
	int (*pArr_0)[1024] = new int\[1024][getSize()];	//错误

​ 2.2 不能用new创建一个内置类型元素的const数组,因为const数组必须被初始化,而用new创建const数组无法完成初始化过程,因此会出现编译错误,错误实例如下:

	const int *pArr = new const int[10];	//错误

3. extern与名字空间成员

​ 在名字空间中只是声明空间成员时,必须加上extern来指明我们只是声明这些成员,而不是定义它们,它们的定义应该在其他文件中去寻找.

关键字extern也可以被用在名字空间成员函数的声明中,但它如同全局函数一样,是可选的,实例如下:

namespace yadong{
	extern int a;	//必须有extern
	extern string str;	//必须有externm
	void fun_1();	//可以没有extern
	extern void fun_2(); 	//可以有extern
}

4.函数重载

​ 当一个参数类型是const或volatile时,在识别函数声明是否相同时,并不考虑volatile和const修饰符,因为像const一样,它只是表示按值传入的数据不能在函数体内修改,仅此而已,传入int和const int 都能调用该函数 , 例如下面这两个函数是不能重载的:

	void f(int );
	void f(const int);

​ 但如果const或volatile修饰的引用参数,那么函数可以重载,因为对于一个const &参数,其用户也必须传入一个const变量,因此可以区别开普通变量和const引用变量.

	void f(nt&);
	void f(const int&)

5. 函数传参标准转换的细节

常量表达式0L、0x00等等都是属于整形类型,因此在函数传参时能被转换为int *类型的空指针值,而对于枚举,即使它的对应值是0,也不能完成转换,如:

#include <iostream>

using namespace std;

enum E{test1,test2};

void fun(int *p)
{
	cout << "fun()" << endl;
}

int main()
{
	int a = 0;
	fun(0L);	//正确
	fun(a);		//错误
	fun(e);		//错误
	return 0;
}