在还没学习C++模板之前,我们先学习了函数重载。编译器面对众多名字一模一样的函数自然需要匹配此次调用的究竟是哪个函数,于是问题来了,编译器是遵守什么函数匹配原则?
在无模板情况下:
**首先,编译器只能匹配参数列表,而返回值无法作为匹配的标准。
为什么?因为C/C++中存在类型转换!C在函数调用前面加个(type-name)
就解决了问题,而C++在函数调用前面加个const_cast<type-name>
、static_cast<type-name>
、dynamic_cast<type-name>
、reinterpreter_cast<type-name>
就解决了问题,换句话来说,返回值不可靠!真正可靠的只有那些“不可被转化”只可“转化为”的东西,究其函数本身,只有参数列表。
**其次,编译器先匹配参数个数再一一匹配参数类型
在只存在模板的情况下:
**首先,匹配模板中参数个数
**其次,匹配模板中参数类型,有明确了类型的(不是默认类型),看调用中数据类型是否一致。
**最后,编译器先找到符合条件的模板,再去实例化的模板中寻找合适类型的模板函数(如果有的话)
通用情况:
**先匹配非模板函数,再匹配模板函数(注意二义性调用错误)
C++ 重载函数匹配
最新推荐文章于 2022-03-20 18:38:40 发布