C++拾遗--函数重载

                      C++拾遗--函数重载

前言

    函数重载(overloaded)似乎并不难，至于函数重载规则，比较简单，没什么好讲的。但仍有一些问题值得注意。下面从几个关键词入手：

正文

1.作用域

关于作用域，需要指出几点事实

1. 用大括号{}括起来的区域处于同一作用域，常见的有函数体、for、if语句等。
2. 同一作用域内不可出现同名的变量，若是函数同名，那就是函数重载问题。不同作用域内同名与否，没影响。
3. 所有的函数之外的区域就是全局作用域。

首先需要指出，同一作用域中的函数才会出现重载问题。不同作用域中的函数即使是同名，且参数类型和返回值类型一致，也是两个不同的函数。

2.隐藏

当作用域存在嵌套关系时，隐藏现象会出现。

#include <iostream>
using namespace std;
//位于全局作用域的var
int var = 0;
void print(void)
{
	cout << "全局print" << endl;
}
int main()
{
	//位于局部作用域的g_var会隐藏位于全局作用域的g_var
	int var = 1;
	//局部print同样会隐藏全局print
	auto print = [](void){
		cout << "局部print" << endl;
	};
	//以下调用全为局部的
	cout << "var = " << var << endl;
	print();
	//调用全局的
	cout << "::var = " << ::var << endl;
	::print();
	cin.get();
	return 0;
}

运行

由于main函数体嵌套在全局作用域的内部，所以当出现同名对象时，会发生隐藏现象。若要调用全局的对象，需使用全局作用域运算符::。

需要进一步指出，隐藏只是现象，本质是对象名字查找规则。C++的名字查找规则是这样的，从名字出现处到名字所处的作用域的起始处，这一段进行查找。找到即不再查找，找不到就跳到上一层作用域继续查找。

本示例代码中，可以在main函数体内找到var和print，所以调用的就是局部的。

隐藏现象表明，不同作用域的同名函数，不是重载关系。

3.const和重载

const和重载的联系是，只能通过底层const区分重载。

#include <iostream>
using namespace std;
void print(const char *str)
{
	cout << "void print(const char *str) call" << endl;
	cout << str;
}
void print(char *str)
{
	cout << "void print(char *str) call" << endl;
	cout << str;
}
int main()
{
	char str[] = "David";
	print("zhangxiang");
	cout << endl;
	print(str);
	cin.get();
	return 0;
}

运行

若把void print(const char *str)改为void print(char *const str)，编译后提示错误：

error C2084: function 'void print(char *const )' already has a body，也就是说顶层const无法区分重载。

至于顶层const和底层const的区别，name_cast 显示类型转换中有提到。

3.覆盖

只有虚函数才存在覆盖(override)或者覆写问题。覆盖类似隐藏，但不是重载。覆盖现象我们在虚函数中进行讨论。

特别地，main函数不能被重载。

本专栏目录

• C++拾遗 目录

所有内容的目录

• CCPP Blog 目录