关于链接器的函数匹配原则

[htqx]

以前我以为和函数重载是一回事.
但是今天测试了一下,只要返回值不同,也不算链接错误.

这到底是怎么回事?

谁有更加详细的资料?

[SammyLan]

链接器链接只要"名字"完全一样就OK了
一般编译器对函数的命名修饰根据不同调用方式有不同的命名修饰方法,但是都是跟函数名和参数有关系,而且参数里面也不包含参数类型信息,只包含参数的总字节大小信息
所以链接阶段应该跟返回值没关系,但是估计连跟参数也没关系......
不知道对不

[htqx]

参数不同不可能相同的(这样违反了c++的重载语法的基本要求).
只是将返回值归入考量,还真是有点意外,不知道是不是vc自己的特点.

[todototry]

只要返回值不同,也不算链接错误.
==============================
会报错

[lidongri]

重载与返回值无关
例如:
void Draw();
和
int Draw();
编译器就会报错
而
void Draw();
void Draw(int i);
或
void Draw();
int Draw(int i);
就不会

[OOPhaisky]

参数不同不可能相同的(这样违反了c++的重载语法的基本要求).
---------------------------------------------------------------------------------
C++编译器会对函数进行“名称重整”的，重整之后的名称就会反映出参数列表的不同。

[htqx]

要讨论的不是重载,而是否连接器将同名,同参数列表,不同返回值的函数视为不同的两个函数.

[htqx]

比如
a.cpp 定义:
void func(){return;}

b.cpp
int func() { return 1; }

vc链接不报错.

[lidongri]

命名修饰和上面说的类似

[lidongri]

那是作用域不同造成的
编译器的命名类似于
func@a
func@b
但在同一个文件里就会出现错误

[htqx]

那如何解释:
a.cpp
int func() { return 0;}

b.cpp
int func() { return 1; }

是相冲突的?

[晨星]

这个不是冲突，是重定义吧。
即使b.cpp中也是return 0;连接器也同样报错。

[doudouHuY]

两个文件里头的func，没特殊修饰，都是全局域。
应该是命名修饰做的手脚

[htqx]

这个的原因：

c++语法上不能识别返回值，但是连接器可以识别。
对于连接器来说，不同返回值是不同函数。