详谈面向对象的重载——“函数重载”与“运算符重载”

1、例子引入（现象）

#include<iostream>
using namespace std;
void print(int i)
{cout<<"print a integer :"<<i<<endl;
}
void print(string str)
{cout<<"print a string :"<<str<<endl;
}
int main()
{print(12);print("hello world!");return 0;
}

2、编译器如何解决命名冲突的?

为了了解编译器是如何处理这些重载函数的，我们反编译下上面我们生成的执行文件，看下汇编代码（全文都是在Linux下面做的实验，Windows类似，你也可以参考《一道简单的题目引发的思考》一文，那里既用到Linux下面的反汇编和Windows下面的反汇编，并注明了Linux和Windows汇编语言的区别）。我们执行命令objdump -d a.out >log.txt反汇编并将结果重定向到log.txt文件中，然后分析log.txt文件。
发现函数void print(int i) 编译之后为：（注意它的函数签名变为——_Z5printi）


发现函数void print(string str) 编译之后为：（注意它的函数签名变为——_Z5printSs）

我们可以发现编译之后，重载函数的名字变了不再都是print！这样不存在命名冲突的问题了，但又有新的问题了——变名机制是怎样的，即如何将一个重载函数的签名映射到一个新的标识？我的第一反应是：函数名+参数列表，因为函数重载取决于参数的类型、个数，而跟返回类型无关。但看下面的映射关系：
void print(int i)                    -->         _Z5printi 
void print(string str)         -->         _Z5printSs
进一步猜想，前面的Z5表示返回值类型，print函数名，i表示整型int，Ss表示字符串string，即映射为返回类型+函数名+参数列表。最后在main函数中就是通过_Z5printi、_Z5printSs来调用对应的函数的：
80489bc:       e8 73 ff ff ff          call   8048934 <_Z5printi> 
…………… 
80489f0:       e8 7a ff ff ff          call   804896f <_Z5printSs>
我们再写几个重载函数来验证一下猜想，如:
void print(long l)           -->           _Z5printl 
void print(char str)        -->           _Z5printc 
可以发现大概是int->i，long->l，char->c，string->Ss….基本上都是用首字母代表，现在我们来现在一个函数的返回值类型是否真的对函数变名有影响，如：

#include<iostream>
using namespace std;
int max(int a,int b)
{return a>=b?a:b;
}
double max(double a,double b)
{return a>=b?a:b;
}
int main()
{cout<<"max int is: "<<max(1,3)<<endl;cout<<"max double is: "<<max(1.2,1.3)<<endl;return 0;
}

float sqrt(float);
double sqrt(double);
void f(double da, float fla)
{float fl=sqrt(da);//调用sqrt(double)double d=sqrt(da);//调用sqrt(double)fl=sqrt(fla);//调用sqrt(float)d=sqrt(fla);//调用sqrt(float)
}

#include<iostream>
using namespace std;
class test{
public:void print(int i){cout<<"int"<<endl;}void print(char c){cout<<"char"<<endl;}
};
int main()
{test t;t.print(1);t.print('a');return 0;
}

3、重载函数的调用匹配