函数的签名
Signature of a function
本文关键字:函数 更新时间:2023-10-16
我是一名初级程序员,刚开始学习C++编程,
我看了一个名为"函数重载"的功能,虽然我已经了解了代码级别的目的和实现,但我不明白它是如何在编译器级别实现的,即编译器如何区分具有相同名称的不同函数的签名,并且会
return-type func-name (data-type 1 , data-type-2);
将具有与
return-type func-name (data-type 2 , data-type-1);
同样的事情也适用于重载的构造函数吗?
编译器使用一种称为名称重整的技术。
简而言之,编译器将参数的数量和类型编码为写入目标文件的实际名称。 维基百科文章中有一些关于该主题的例子,包括C++的例子。
作为一个具体的例子,我在Mac上使用g++编译了以下C++文件:
测试.cpp
int f(int x) {}
int f(double x, char y) {}
跟
g++ -S test.cpp
这将产生汇编语言文件(略微省略):
测试.s
.globl __Z1fi
__Z1fi:
pushq %rbp
movq %rsp, %rbp
movl %edi, -4(%rbp)
leave
ret
.globl __Z1fdc
__Z1fdc:
pushq %rbp
movq %rsp, %rbp
movsd %xmm0, -8(%rbp)
movb %dil, -12(%rbp)
leave
ret
这里重要的部分是,这些函数在汇编语言输出中被调用__Z1fi
和__Z1fdc
,链接器将看到这些输出。 您可能可以推断f
是函数的名称,对于参数,我们有i
(int)和dc
(double和char)。请注意,参数的顺序也是编码的!
现在考虑一下如果你有会发生什么
int f(int x) {}
int f(int y) {}
就语言而言,这当然是不可接受的情况,因为像f(10)
这样的呼叫无法解决。从理论上讲,语言可以指定第二个声明替换第一个声明,但C++不这样做。 这只是非法超载。
事实证明,名称重整实际上显示了为什么这应该是一个错误。 编译器将尝试使用名称__Z1fi
创建两个不同的函数(实际名称不是由语言定义的,而是依赖于编译器)。 在这个级别的程序中,我们不能有两个同名的函数。
相关文章:
- "error: no matching function for call to"构造函数错误
- 什么时候调用组成单元对象的析构函数
- 继承函数的重载解析
- 为什么随机数生成器不在void函数中随机化数字,而在main函数中随机化
- C++模板来检查友元函数的存在
- 递归函数计算序列中的平方和(并输出过程)
- 对RValue对象调用的LValue ref限定成员函数
- C++17复制构造函数,在std::unordereded_map上进行深度复制
- 将数组作为参数传递给函数安全吗?作为第三方职能部门,可以探索他们想要的之外的其他元素
- 在C++STL中是否有Polyval(Matlab函数)等价物?
- 为什么使用 "this" 指针调用派生成员函数?
- 将对象数组的引用传递给函数
- 函数调用中参数的顺序重要吗
- 函数向量_指针有不同的原型,我可以构建一个吗
- 使用不带参数的函数访问结构元素
- 代码在main()中运行,但在函数中出现错误
- 内置函数可查看CPP中的成员变量
- 如何获取std::result_of函数的返回类型
- 如何在c++中为模板函数实例创建快捷方式
- 如果C++类在类方法中具有动态分配,但没有构造函数/析构函数或任何非静态成员,那么它仍然是POD类型吗