操作符的中缀调用,函数查找过程是怎么样的啊.为什么这样的代码出错呢?

[R9R9R9]

书上看到说,中缀操作符中的左边参数的类的作用域与全局作用域都被考虑到重载解析范围内.

class X
{
public:
void operator %(float rx) //2
{
cout<<"X:%"<<endl;
}
};

void operator %(const X &lx, int rx) //1
{
cout<<"std:%"<<endl;
}


int main(char**, char**)
{

X x;
x % 2; //为什么这里不懂去调用函数1呢?操作符的中缀调用,函数查找过程是怎么样的啊.是先查找类X中的operator %函数呢.还是先寻找最佳可匹配函数啊?
system("pause");
return 0;
}

[Jokar]

#include <iostream>

using namespace std;

class X
{
public:
void operator %(float rx) //2
{
cout<<"X:%"<<endl;
}
};

void operator %(const X &lx, int rx) //1
{
cout<<"std:%"<<endl;
}


int main(char**, char**)
{

X x;
x%2;
x.operator %(2);
system("pause");
return 0;
}

输出：
std:%
X:%
请按任意键继续. . .


platfrom:VC6.0

[R9R9R9]

不是吧...我在vc.net 2003与dev c++上编译x%2这条语句都是出现错误的:

vc7.1:
c:\documents and settings\administrator\桌面\dev cpp\oo\oo.cpp(28): error C2666: “X::operator`%'” : 2 个重载有相似的转换

dev c++:
C:\Documents and Settings\Administrator\×ÀÃæ\dev cpp\oo\oo.cpp ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second:

[pongba]

比较复杂，实际上这类重载决议包含三个候选集：内建的、成员的、自由的。三个候选集出来了之后就会进行一般意义上的重载决议。重载决议的过程一般描述是这样：如果存在一个重载版本，它的所有参数对实参的匹配都不比别人差，同时至少有一个参数匹配得比别人好，那么这个就会被选中。
你的例子实际上应该是ambiguous的，不信你拿到comeau online test上看看。成员的那个版本：
X::operator%(float) <transformed into> operator%(X&,float);
与自由的版本：
operator%(const X&,int)
做比较。
成员版本的第一个参数比自由版本的第一个参数能更佳的匹配*this，因为x是non-const的。但自由版本的第二个参数又比成员版本匹配得更好，所以... 无法决议。

鉴于X::operator %应该是不会修改this的状态的，所以你可以把它声明为const成员函数：
operator%(float) const
{...}
这样决议就会选中自由版本。

[weijiangshanwww]

呵呵，路过，支持路上的说法！

[R9R9R9]

...给分,结贴!!!谢谢各位捧场