64,685
社区成员
发帖
与我相关
我的任务
分享函数模板重载的二义性问题
已知下面两个函数模板定义
以及三个变量
Primer上说，如果调用
min1(a,b);会出现二义性,因为无法确定是以模板实参<int>实例化第一个模板，还是以模板实参<int,int>实例化第二模板。
唯一消除二义性的方法是通过提供模板显式实参来实例化第二个模板
min1<int,int>(a,b)
经过测试，在我的IDE（VS2010）中
min1(a,b);
min1<int>(a,b);
min1<int,int>(a,b);
三种方式都可以调用成功，前两个输出"min1_1",最后一个输出"min1_2"
不知道C++标准究竟是怎么规定的。
template<class T>
#include <iostream>
void min1(T t1,T t2)
{
std::cout<<"min1_1"<<std::endl;
}
template<class T,class U>
void min1(T t1,U t2)
{
std::cout<<"min1_2"<<std::endl;
}以及三个变量
int a=2,b=3;
unsigned int c=20;Primer上说，如果调用
min1(a,b);会出现二义性,因为无法确定是以模板实参<int>实例化第一个模板，还是以模板实参<int,int>实例化第二模板。
唯一消除二义性的方法是通过提供模板显式实参来实例化第二个模板
min1<int,int>(a,b)
经过测试，在我的IDE（VS2010）中
min1(a,b);
min1<int>(a,b);
min1<int,int>(a,b);
三种方式都可以调用成功，前两个输出"min1_1",最后一个输出"min1_2"
不知道C++标准究竟是怎么规定的。
...全文
请发表友善的回复…
发表回复
hhddzz 2011-02-16
- 打赏
- 举报
书上说了啊，就是因为1024做参数时，实参推演推出了int，所以才出二义性啊。
如果1024实参推演推出long int或者unsigned int之类的，那第一个模板就不匹配了，只能用第二个模板，这样就没二义性了
如果1024实参推演推出long int或者unsigned int之类的，那第一个模板就不匹配了，只能用第二个模板，这样就没二义性了
DAsama 2011-02-16
- 打赏
- 举报
补充：你用一下这两个例子应该就清楚了
min1(10000000000000,a);
min1(10,a);
min1(10000000000000,a);
min1(10,a);
DAsama 2011-02-16
- 打赏
- 举报
[Quote=引用 6 楼 hhddzz 的回复:]
书中用的 整形常量+int变量，我用的两个int变量，就像你说的，应该是一样的吧
[/Quote]
这个不一样吧，你用的两个是确定类型为int型的变量，而书上的1024只是一个常量，这个不同编译器在编译的时候可能会默认为不同类型的常量。反正我的理解是这样的。
书中用的 整形常量+int变量，我用的两个int变量，就像你说的，应该是一样的吧
[/Quote]
这个不一样吧，你用的两个是确定类型为int型的变量，而书上的1024只是一个常量，这个不同编译器在编译的时候可能会默认为不同类型的常量。反正我的理解是这样的。
hhddzz 2011-02-16
- 打赏
- 举报
[Quote=引用 5 楼 dasama 的回复:]
不知道楼主用的是什么编译器，如果没记错话在vs2005中为定义的常量，书中提到的1024会被默认为int型变量，这样就不存在二义性了。但要清楚的是primer中提到的是c++标准中这样写会产生二义性。
[/Quote]
书中用的 整形常量+int变量，我用的两个int变量，就像你说的，应该是一样的吧
不知道楼主用的是什么编译器，如果没记错话在vs2005中为定义的常量，书中提到的1024会被默认为int型变量，这样就不存在二义性了。但要清楚的是primer中提到的是c++标准中这样写会产生二义性。
[/Quote]
书中用的 整形常量+int变量，我用的两个int变量，就像你说的，应该是一样的吧
DAsama 2011-02-16
- 打赏
- 举报
不知道楼主用的是什么编译器，如果没记错话在vs2005中为定义的常量，书中提到的1024会被默认为int型变量，这样就不存在二义性了。但要清楚的是primer中提到的是c++标准中这样写会产生二义性。
hhddzz 2011-02-16
- 打赏
- 举报
图片能不能显示啊
我这里看，图片好像有点大，右边一部分没有显示出来
在单独的页面里打开就可以看到了
我这里看，图片好像有点大，右边一部分没有显示出来
在单独的页面里打开就可以看到了
hhddzz 2011-02-16
- 打赏
- 举报
[Quote=引用 2 楼 ri_aje 的回复:]
具体你这个例子，没觉得有二义性，a，b变量类型相同，template<class T> min1 是一个严格意义上更好的调用，肯定会选它的。原文怎么说的，能摘录到这里吗？
[/Quote]
具体你这个例子，没觉得有二义性，a，b变量类型相同，template<class T> min1 是一个严格意义上更好的调用，肯定会选它的。原文怎么说的，能摘录到这里吗？
[/Quote]
pengzhixi 2011-02-16
- 打赏
- 举报
额，有一个最佳匹配原则。
ri_aje 2011-02-15
- 打赏
- 举报
具体你这个例子，没觉得有二义性，a，b变量类型相同，template<class T> min1 是一个严格意义上更好的调用，肯定会选它的。原文怎么说的，能摘录到这里吗？
hhddzz 2011-02-15
- 打赏
- 举报
template<class T>
#include <iostream>
这个地方的#include是我写好帖子后才加上去的
没注意，加错位置了
#include <iostream>
这个地方的#include是我写好帖子后才加上去的
没注意，加错位置了
