草庐IT

C++函数重载的原理

Call life 2023-03-28 原文

C++函数重载的原理

一、函数重载概述

1.1 为什么要有函数重载

  • 在实际的开发中，有时候我们需要实现几个功能类似的函数，只是有些细节不同。例如希望交换两个变量的值，但是这两个变量可能有多种类型：int、char、double、bool等。在C语言中，程序员往往需要分别设计出多个不同名的函数，但是在C++中，这完全没有必要。C++允许多个函数拥有相同的名字，只要它们的参数列表不同就可以，这就是函数的重载。借助函数重载，一个函数名就可以有多种用途。

1.2 构成函数重载的条件

  1. 函数名相同
  2. 参数列表不同（即：参数个数不同/参数类型不同/参数顺序不同）

1.3 实例

  • 如下swap()函数即可构成函数重载：
#include <iostream>
using namespace std;

void swap(int &v1,int &v2) {
	int temp = v1;
	v1 = v2;
	v2 = temp;
}

void swap(char &v1, char &v2) {
	char temp = v1;
	v1 = v2;
	v2 = temp;
}


int main() {
	int a = 1, b = 2;
	swap(a, b);
	cout << "a=" << a << "，b=" << b << endl;

	char c = 'q', d = 'w';
	swap(c, d);
	cout << "c=" << c << "，d=" << d << endl;

	return 0;
}

1.4 注意

  1. 函数的返回值类型与函数重载无关。

    • 如下代码便不构成函数重载

  2. 调用函数时，实参的隐式类型转换可能会产生二义性。

    • 如下代码便会因此产生二义性
    • 在下面的代码中，main函数调用了display函数，传入的实参为int类型的变量，但是代码中所定义的display函数的形参类型只有long类型和double类型，因此编译器想要匹配成功的话，就必须进行数据类型的隐式转换，但是int类型既可以隐式转换成long类型，也可以隐式转换成double类型，所以就导致编译器不知道要调用以哪个函数，从而造成了二义性，导致编译失败。

二、函数重载的实现原理

2.1 概述

  • C++代码在编译时会根据参数列表对函数名进行命重名（该技术被官方称为：name mangling），例如 void swap(int v1, int v2)会被重命名为 _swapii ，void swap(char v1,char v2)会被重命名为 _swapcc（不同的编译器会有不同的重命名规范，这里仅仅举例说明，实际情况可能并非如此）。当发生函数调用时，系统便会根据这些被重新命名的函数名去调用相应的函数。
  • 因此从这个角度来讲，函数重载仅仅是语法层面上的，本质上它们还是不同的函数，占用不同的内存，入口地址也不一样。

2.2 证明

  • 实验环境：
    1. windows10 64位
    2. Visual Studio 2017 社区版
  • 我们先创建一个FunctionOverload.cpp源文件，文件中的代码如下所示：
#include <iostream>
using namespace std;

void display(int v1) {
	cout << "display(int)" << v1 << endl;
}

void display(char v1, int v2) {
	cout << "display(char)" << v1 << "," << v2 << endl;
}

int main() {
	display(1);
	display('a',2);
	return 0;
}

  • 然后进行编译生成（注意：在编译生成的时候要把debug模式改为release模式，并且要禁止release模式的优化），如下图：

  • 再将生成好的release版exe文件使用IDA打开，由下图我们可以看到，两函数名是不同的，这也就印证了我们以上的说法。

2.3 题外话

  1. 之所以要将debug模式改为release模式，是因为在debug模式下生成的exe中含有需要大量调试信息，而这些调试信息会影响我们的分析。
  2. 之所以要禁止release模式的优化，是由于我们所编写的display函数太过简单，到时候编译器进行编译时，很可能会把我们的display优化掉，如下图：
  • 可以看到，左边绿框中的display函数名消失了，且右边main函数中并没有调用display函数的痕迹，而是直接将display函数的函数体搬进main函数中的函数体中，直接执行了（编译器之所以这样优化是因为可以减低函数调用的开销）。
C++函数数名liltC++

有关C++函数重载的原理的更多相关文章

  1. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem，所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  2. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词，但有时效果很好，在某些情况下会出现此错误？这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊，我找到了!gsub!是一个非常奇怪的方法。首先，它替换了字符串，所以它实际上修改了

  3. ruby - 在 Ruby 中有条件地定义函数 - 2

    我有一些代码在几个不同的位置之一运行:作为具有调试输出的命令行工具，作为不接受任何输出的更大程序的一部分，以及在Rails环境中。有时我需要根据代码的位置对代码进行细微的更改，我意识到以下样式似乎可行:print"Testingnestedfunctionsdefined\n"CLI=trueifCLIdeftest_printprint"CommandLineVersion\n"endelsedeftest_printprint"ReleaseVersion\n"endendtest_print()这导致:TestingnestedfunctionsdefinedCommandLin

  4. ruby - 在 Ruby 中按名称传递函数 - 2

    如何在Ruby中按名称传递函数？(我使用Ruby才几个小时，所以我还在想办法。)nums=[1,2,3,4]#Thisworks,butismoreverbosethanI'dlikenums.eachdo|i|putsiend#InJS,Icouldjustdosomethinglike:#nums.forEach(console.log)#InF#,itwouldbesomethinglike:#List.iternums(printf"%A")#InRuby,IwishIcoulddosomethinglike:nums.eachputs在Ruby中能不能做到类似的简洁？我可以只

  5. C51单片机——实现用独立按键控制LED亮灭（调用函数篇） - 2

    说在前面这部分我本来是合为一篇来写的，因为目的是一样的，都是通过独立按键来控制LED闪灭本质上是起到开关的作用，即调用函数和中断函数。但是写一篇太累了，我还是决定分为两篇写，这篇是调用函数篇。在本篇中你主要看到这些东西！！！1.调用函数的方法（主要讲语法和格式）2.独立按键如何控制LED亮灭3.程序中的一些细节（软件消抖等）1.调用函数的方法思路还是比较清晰地，就是通过按下按键来控制LED闪灭，即每按下一次，LED取反一次。重要的是，把按键与LED联系在一起。我打算用K1来作为开关，看了一下开发板原理图，K1连接的是单片机的P31口，当按下K1时，P31是与GND相连的，也就是说，当我按下去时

  6. ruby-on-rails - 将字符串转换为 ruby​​-on-rails 中的函数 - 2

    我需要一个通过输入字符串进行计算的方法，像这样function="(a/b)*100"a=25b=50function.something>>50有什么方法吗？ 最佳答案 您可以使用instance_eval:function="(a/b)*100"a=25.0b=50instance_evalfunction#=>50.0请注意，使用eval本质上是不安全的，尤其是当您使用外部输入时，因为它可能包含注入(inject)的恶意代码。另请注意，a设置为25.0而不是25，因为如果它是整数a/b将导致0(整数)。

  7. ruby - 在 ruby​​ 中使用 .try 函数和 .map 函数 - 2

    我需要从json记录中获取一些值并像下面这样提取curr_json_doc['title']['genre'].map{|s|s['name']}.join(',')但对于某些记录，curr_json_doc['title']['genre']可以为空。所以我想对map和join()使用try函数。我试过如下curr_json_doc['title']['genre'].try(:map,{|s|s['name']}).try(:join,(','))但是没用。 最佳答案 你没有正确传递block。block被传递给参数括号外的方法

  8. ruby - 是否可以从也在该模块中的类内部调用模块函数 - 2

    在这段Ruby代码中:ModuleMClassC当我尝试运行时出现“'M:Module'的未定义方法'helper'”错误c=M::C.new("world")c.work但直接从另一个类调用M::helper("world")工作正常。类不能调用在定义它们的同一模块中定义的模块函数吗？除了将类移出模块外，还有其他解决方法吗？ 最佳答案 为了调用M::helper，你需要将它定义为defself.helper;结束为了进行比较，请查看以下修改后的代码段中的helper和helper2moduleMclassC

  9. ruby - 将运算符传递给函数？ - 2

    也许这听起来很荒谬，但我想知道这对Ruby是否可行？基本上我有一个功能...defadda,bc=a+breturncend我希望能够将“+”或其他运算符(例如“-”)传递给函数，这样它就类似于...defsuma,b,operatorc=aoperatorbreturncend这可能吗？ 最佳答案 两种可能性:以方法/算子名作为符号:defsuma,b,operatora.send(operator,b)endsum42,23,:+或者更通用的解决方案:采取一个block:defsuma,byielda,bendsum42,23,

  10. ruby - 我可以在 Ruby 1.9.x 中使用无参数函数吗？ - 2

    所以我正在研究RubyKoans，而且我遇到了一个我认为是ruby1.9.x特有的问题。deftest_calling_global_methods_without_parenthesesresult=my_global_method2,3assert_equal5,resultend我明白了:james@tristan:~/code/ruby_projects/ruby_koans$rake(in/home/james/code/ruby_projects/ruby_koans)cdkoans/home/james/.rvm/rubies/ruby-1.9.2-p180/bin/ru

随机推荐