C++中为什么不允许通过返回类型重载函数的辩论

最新推荐文章于 2024-08-26 21:34:27 发布

wingfiring

最新推荐文章于 2024-08-26 21:34:27 发布

阅读量9.7k

点赞数

分类专栏： C/C++ 文章标签： c++ struct fun 编译器 dll 扩展

本文链接：https://blog.csdn.net/wingfiring/article/details/37033

版权

C/C++ 专栏收录该内容

58 篇文章 2 订阅

订阅专栏

2004-07-05 13:25:31 别逗了
问个问题：
1。C++中为什么不允许通过返回类型重载函数？
2。为什么不允许通过返回类型解析模板函数？

2004-07-05 14:47:55 完美废人
返回类型是一种可有可无的东西……

2004-07-05 16:41:23 完美废人
瞧见什么叫高手了吧

2004-07-05 18:32:46 别逗了
那operator type()怎么说？不是根据返回值判断调用那个函数的吗？

2004-07-05 18:34:49 完美废人
void f();
int f();
f(); //which one to go?

2004-07-05 18:35:18 别逗了
增加一条规则就是了。

2004-07-05 18:35:27 无锋之刃
啊哈！

2004-07-05 18:35:31 完美废人
怎么描述？

2004-07-05 18:35:53 完美废人
type-cast operators are individual functions, not the same one with diff return type

2004-07-05 18:39:11 别逗了
void f();
int f();
之间只是存在歧义，当出现歧义的时候，按照C++的习惯，制定一个最佳匹配规则。规则不行的时候，扩展语法, 调用形式: f() void;或者f() int;

2004-07-05 18:39:37 完美废人
手工确认调用哪个函数？那还要重载干吗？

2004-07-05 18:39:44 完美废人
而且

2004-07-05 18:39:57 无锋之刃
最佳匹配规则上说你这两个选择一样地好……

2004-07-05 18:39:58 完美废人
void f() 和 int f();，没有重载规则可以达到调用 void f();

2004-07-05 18:40:13 别逗了
那问题是,可以判别的时候,就不用指定了啊.

2004-07-05 18:40:32 无锋之刃
那问题是，没有办法判别。

2004-07-05 18:40:39 完美废人
为了这么一点方便？我不如直接写 void f_void(); 和 int f_int(); 算了

2004-07-05 18:41:03 别逗了
那你放到模板里面怎么办?

2004-07-05 18:41:27 完美废人
拜托了大哥，尽量简化问题是每个程序员应尽的义务

2004-07-05 18:41:43 别逗了
调用形式作一个扩展不行?例如f() void;

2004-07-05 18:41:57 完美废人
f() void; 和 f(); 怎么区别？

2004-07-05 18:42:06 别逗了
指定返回值是void的f().

2004-07-05 18:42:15 完美废人
我直接 f(); 就会有二义性错误

2004-07-05 18:42:21 别逗了
对.

2004-07-05 18:42:23 完美废人
这样的语法，还不如不用重载

2004-07-05 18:42:43 无锋之刃
这是历史的倒退。

2004-07-05 18:42:52 别逗了
问题是,加了这个,对你以前的重载有影象吗?

2004-07-05 18:43:11 别逗了
你以前的代码规则照样起作用.

2004-07-05 18:43:57 别逗了
你完全可以不通过返回值重载函数---只有需要的人才会用到这个功能.

2004-07-05 18:44:11 别逗了
为什么就倒退了?

2004-07-05 18:44:25 完美废人
struct base
{
virtual void f();
};
struct d:public base
{
void f();
int f();
};
base * p = new d;
p->f(); ??

2004-07-05 18:44:45 无锋之刃
编译器无法通过返回类型来判断应该调用哪个函数。链接器也是。

2004-07-05 18:45:20 别逗了
首先,你按照新的规则,定义了一对重载函数,却指望按照老的方式调用,当然不行.

2004-07-05 18:45:49 完美废人
如果没有 struct d，我的老规则完全适用

2004-07-05 18:45:51 无锋之刃
那什么是新的调用方式？

2004-07-05 18:45:52 别逗了
我的意思,增加了新的规则,你的老的重载方式,还是像以前一样工作.

2004-07-05 18:46:02 完美废人
除非你规定，所有的 void f(); 都必须改成 f() void; 这样调用

2004-07-05 18:46:07 别逗了
p->f() void;
或者

2004-07-05 18:46:12 别逗了
p->f() int;

2004-07-05 18:46:26 完美废人
struct S
{
void f(); //how to call?
};

2004-07-05 18:46:30 无锋之刃
那我还不如写p->f_int()呢。搞那么复杂。

2004-07-05 18:46:41 完美废人
这个重载完全没有意义

2004-07-05 18:47:07 别逗了
好,我举个有意义的例子给你.

2004-07-05 18:48:20 完美废人
plz

2004-07-05 18:48:27 别逗了
max(T1& lhs, T2& rhs)
{
//应该返回什么类型?
}
int i = max(2, 3.3);
double d = max(2, 3.3);

2004-07-05 18:48:51 别逗了
这是内部类型,可以互相转换,如果是自定义类型呢?

2004-07-05 18:49:05 别逗了
max应该返回什么类型？

2004-07-05 18:49:08 完美废人
自定义类型怎么能进行比较？

2004-07-05 18:49:17 完美废人
如果能比较，就应该能转化

2004-07-05 18:49:27 别逗了
我的自定义类型定了了less不可以阿？

2004-07-05 18:49:39 完美废人
你试试看。

2004-07-05 18:51:17 别逗了
例如我定义了dec类型和money类型。返回值需要做转换，转换可能丢失精度。如果不需要转换，那就没有这个问题。

2004-07-05 18:52:41 完美废人
所以你有
dec max(const dec &, const money &);
和
money max(const dec &, const money &): ?

2004-07-05 18:54:00 完美废人
1、建议你看看 C++0x 的 typeof
2、不论什么时候，重载决断是编译器的，不存在动态联编，所以根据返回值重载不切实际。

2004-07-05 18:54:21 别逗了
对。我的money类型是定点数，在进行数学运算的时候，有时候需要转换成dec类型，以防止中间运算过程的精度误差。算完了，还要转换回来。

2004-07-05 18:54:30 完美废人
2、不论什么时候，重载决断是编译器的，不存在动态联编，所以根据返回值重载不切实际。

2004-07-05 18:55:03 别逗了
呵呵，我要的就是决断是编译器的。

2004-07-05 18:55:07 完美废人
这个地方，你不如用 enum 好了。

2004-07-05 18:55:13 完美废人
抱歉，我是说 union

2004-07-05 18:55:28 别逗了
union和我的问题有啥关系？

2004-07-05 18:55:56 完美废人
typedef union {dec, money} rt_t;
rt_t max (const money &, const dec &);

2004-07-05 18:56:36 别逗了
靠，这不行的，这可真的运行期判决了。

2004-07-05 18:56:37 完美废人
对 money 和 dec 设计用 NullObject 作为默认值，可以用来检查 rt_t 的值

2004-07-05 18:56:50 完美废人
你不靠运行期决断，返回值就不存在意义。

2004-07-05 18:57:21 完美废人
money m;
dec d;
infile >> m >> d;
max(m, d); ??

2004-07-05 18:57:34 别逗了
谁说得？先确定一下，你不反对我要返回不同类型的数据了吧？

2004-07-05 18:57:44 完美废人
反对。

2004-07-05 18:57:56 完美废人
强烈反对用 union 这么变态的东西

2004-07-05 18:58:02 别逗了
好，那一个个问题来。

2004-07-05 18:58:10 benbear
强烈反对废人此观点

2004-07-05 18:58:21 别逗了
首先，我才不要返回union 。

2004-07-05 18:58:21 完美废人
我有一个很好的解决办法

2004-07-05 18:58:31 完美废人
想不想听？

2004-07-05 18:58:38 别逗了
我要返回的就是money或者是dec

2004-07-05 18:58:56 完美废人
std::pair 作为返回好了，哈哈。

2004-07-05 18:59:43 benbear
你试过
dec max(const dec &, const money &);
和
money max(const dec &, const money &):
能通过编译吗？

2004-07-05 18:59:47 别逗了
一样没用。你怎么知道返回值是什么类型？返回两个？那你怎么知道该用那个？

2004-07-05 19:00:06 完美废人
把不是返回值的一个指针作为 0

2004-07-05 19:00:17 完美废人
这是为什么我用指针而不是引用的原因

2004-07-05 19:00:22 完美废人
指针有 NullObject

2004-07-05 19:00:26 别逗了
我知道不能，所以我才不满意C++强加的限制。

2004-07-05 19:01:01 别逗了
越来越垃圾的设计了。[shake]

2004-07-05 19:01:12 完美废人
总比越来越垃圾的语言好[:D]

2004-07-05 19:01:28 完美废人
荼毒你一个，幸福俺大家

2004-07-05 19:01:32 别逗了
怎么垃圾了，我说得新特性你可以不用啊。

2004-07-05 19:01:46 完美废人
那么你告诉我，怎么调用 basd::virtual void f(); ？？

2004-07-05 19:02:22 完美废人
我真的可以对一个
void func (base * p)
{
p->func(); //不是 p->func() void; ？
}

2004-07-05 19:02:47 完美废人
没有什么东西是没有代价的。

2004-07-05 19:03:21 别逗了
你不是不用嘛，干吗要通过返回值重载？只要你不仅仅通过返回值重载（这是现状），就不必知道新特性。但是，你需要仅仅通过返回值重载，你就需要新特性。

2004-07-05 19:03:41 完美废人
我当然不用！但是我不能保证从我的类派生的家伙们不用！

2004-07-05 19:04:07 完美废人
作为一个接口基类，我必须把一切该死的可能性都考虑进去

2004-07-05 19:04:35 别逗了
OK.那么，、先确认一点：新特性对既有的代码，不需要修改，同意不？

2004-07-05 19:04:52 完美废人
不同意

2004-07-05 19:05:03 别逗了
那你举例反对。

2004-07-05 19:05:45 完美废人
struct Base
{
virtual void fun();
};

void f(const Base * p)
{
p->fun(); //你要我抄多少遍？
}

2004-07-05 19:07:29 别逗了
很显然，这是调用void fun()啊。现有规则就能解决。如果派生类定义了同名的，而类型不同，那就是同名覆盖，而不是重载。

2004-07-05 19:08:11 完美废人
好，某个 newbie 写了
struct Derived : public Base
{
virtual void fun();
virtual int fun();
};
如何？？

2004-07-05 19:08:31 别逗了
这个在现有规则下合法吗？

2004-07-05 19:09:00 完美废人
我的基类是旧规则的，但是这个 newbie 是学习新规则长大的，如何？旧的代码已经不能通用了！

2004-07-05 19:09:48 别逗了
靠，newbie写的是新代码！他既没有遵守旧规则，也没有遵守新规则！

2004-07-05 19:10:09 完美废人
他为什么没有遵守新规则？很漂亮的 rt-overload

2004-07-05 19:10:32 别逗了
让我想想。

2004-07-05 19:11:57 完美废人
：）恭候。

2004-07-05 19:14:17 别逗了
OK。这里只能调用void fun()，因为，virtual void fun();
virtual int fun();是两个函数。而Base当中根本就不认识virtual int fun();所以，你老的代码f(const Base * p)
只有一种选择，就是原来的那一个。

2004-07-05 19:14:47 别逗了
所以，这里没有任何问题。[:D]

2004-07-05 19:15:05 无锋之刃
[?]

2004-07-05 19:15:15 完美废人
呵呵，有道理。

2004-07-05 19:15:28 完美废人
刀子，替我砍！

2004-07-05 19:15:45 无锋之刃
你去弄个砧板来

2004-07-05 19:15:48 别逗了
好啊，继续，我接着。

2004-07-05 19:16:34 完美废人
那么，如果 struct Base 放在新规则下，我就必须写 p->fun() void; 了？

2004-07-05 19:18:12 别逗了
不必。只有在老规则不能分辨的时候才需要这样写。
例如：
long f(int);
char f(char);
不需要写成f(10) int;

2004-07-05 19:19:10 完美废人
struct Base
{ virtual void fun(); };
struct Derived : public Base
{ virtual int fun(); };
算是隐藏？

2004-07-05 19:19:30 完美废人
这个在现有模式下是怎么处理的？

2004-07-05 19:19:33 别逗了
但是也有部分地方会有问题，就是没有一个是匹配的，但是存在两个同样优先级的转换时。

2004-07-05 19:19:50 完美废人
这个从来都存在问题……无奈了

2004-07-05 19:20:03 完美废人
我上次写那个 bi_map，都差点放弃重载了

2004-07-05 19:20:37 别逗了
1。现有模式不能只通过返回值区分重载。2。如果你的参数不同，那么，这两个函数覆盖。

2004-07-05 19:21:23 完美废人
都是 (void) 的时候，发生的是覆盖、修改接口、还是？？

2004-07-05 19:21:34 别逗了
覆盖。

2004-07-05 19:21:44 别逗了
错了。

2004-07-05 19:21:50 完美废人
到底是……？

2004-07-05 19:21:52 别逗了
怎么都是void？

2004-07-05 19:22:11 完美废人
int f(void); 和派生类的 void f(void); 或者相反。

2004-07-05 19:22:21 无锋之刃
你们在讨论虾米……

2004-07-05 19:22:22 别逗了
是这样：
覆盖

2004-07-05 19:22:42 完美废人
这个东西我是没法明白了……刀子或者鸡丁还有希望：（

2004-07-05 19:22:52 别逗了
倒！

2004-07-05 19:23:01 无锋之刃
《EC》上说“绝对不要重新定义继承而来的非虚函数”……

2004-07-05 19:23:17 别逗了
是啊。

2004-07-05 19:23:23 完美废人
struct Base
{ virtual void fun(); };
struct Derived : public Base
{ virtual int fun(); };

2004-07-05 19:23:26 无锋之刃
那……

2004-07-05 19:23:30 完美废人
struct Base
{ virtual void fun(); };
struct Derived : public Base
{ virtual int fun(); };

2004-07-05 19:23:30 别逗了
但是，语言则要考虑到。

2004-07-05 19:23:34 完美废人
两个函数签名相同啊，怎么会是覆盖的？

2004-07-05 19:24:00 无锋之刃
返回值类型是不会被Name-mangling机制处理的。

2004-07-05 19:24:18 完美废人
所以应是一般的派生类重写而已

2004-07-05 19:24:23 别逗了
晕倒，签名规则不可以变啊？况且，签名规则根本就是和编译没太大关系得，连接系统关系比较大而以。

2004-07-05 19:24:38 完美废人
我现在是说传统 C++……

2004-07-05 19:24:45 无锋之刃
你把你的想法提交C++ Standard Commitee，也许有可能……

2004-07-05 19:24:46 完美废人
不了解过去就无法预测将来

2004-07-05 19:26:06 别逗了
我好像在那里看到过说为什么不能通过返回值重载的，但是，我实在是想不起来任何线索了。

2004-07-05 19:26:24 完美废人
别逗了：这两个函数签名相同，不可能是覆盖……

2004-07-05 19:26:49 无锋之刃
也不可能是重载，因为参数列表一样。

2004-07-05 19:27:05 完美废人
本来就不可能，因为是在不同的 class scope

2004-07-05 19:27:14 完美废人
所以只能是重写了。

2004-07-05 19:27:32 无锋之刃
重定义。

2004-07-05 19:27:33 别逗了
函数签名不包括返回值？那dump出来的dll中怎么解析我的返回值类型的？

2004-07-05 19:27:59 完美废人
dump 出来的 dll 还支持 const char * 到函数的映射呢……

2004-07-05 19:29:41 别逗了
不要搞，我问你：int CppUnit::CompilerOutputter::wrapColumn(void)
Name-mangling之后怎么知道返回值是int而不是void的？

2004-07-05 19:29:52 完美废人
不知道。

2004-07-05 19:30:09 完美废人
返回值和 name mangling 无关

2004-07-05 19:31:09 别逗了
int CppUnit::CompilerOutputter::wrapColumn(void)
是我用depends从dll中导出的函数名。
这是C函数名：
?wrapColumn@CompilerOutputter@CppUnit@@QBEHXZ
你是这里面没有返回值信息？

2004-07-05 19:31:29 完美废人
我没看到 int 啊

2004-07-05 19:31:44 别逗了
那时你不知道怎么解码。

2004-07-05 19:32:11 完美废人
呵呵：）这是一句没有说服力的反驳

2004-07-05 19:32:11 无锋之刃
在C中调用C++的函数，要在C++代码中使用extern "C"来禁止重载的……

2004-07-05 19:33:05 别逗了
晕倒，我刚才的两个名字就是同一个，只不过depends能够?wrapColumn@CompilerOutputter@CppUnit@@QBEHXZ解码成int CppUnit::CompilerOutputter::wrapColumn(void)这样可以读的格式。

2004-07-05 19:33:26 无锋之刃
那也只是凑巧……

2004-07-05 19:33:36 完美废人
呵呵～这是用结论逆推理论。

2004-07-05 19:33:58 别逗了
什么凑巧，C++的dll全都是这样的，自己可用depends去看。

2004-07-05 19:34:30 无锋之刃
别在Dll中使用太多重载，不然会死得很惨的。

2004-07-05 19:34:34 别逗了
我的意思是：Name-mangling不过是一种实作手段而以。

2004-07-05 19:34:48 完美废人
我没有 depends。逆试试
struct { int f();}
struct { void f();}
有没有区别

2004-07-05 19:35:07 无锋之刃
但是为什么编译器厂商都没有把你想的实作出来呢？

2004-07-05 19:35:23 别逗了
你不是用vc的吗？怎么没有depends？

2004-07-05 19:35:29 完美废人
不知道：（

2004-07-05 19:35:52 别逗了
depends.exe没有？晕倒！

2004-07-05 19:36:11 完美废人
好像没装 vc-tools 的说……

2004-07-05 19:36:13 无锋之刃
C++编译出的Dll在Console下怎么调用？