具有多个函数和多个转换运算符的重载解析
考虑简单代码:
#include<iostream>
struct A {
operator double(){
std::cout<<"Conversion function double chosen."<<std::endl;
return 1.1;
}
operator char(){
std::cout<<"Conversion function char chosen."<<std::endl;
return 'a';
}
} a;
void foo(int){}
void foo (char){}
int main() {
foo(a);
}
以上代码运行良好,不出所料,GCC、clang和VC++选择foo(char)。
现在让我们稍微修改一下代码:
#include<iostream>
struct A {
operator double(){
std::cout<<"Conversion function double chosen."<<std::endl;
return 1.1;
}
operator char(){
std::cout<<"Conversion function char chosen."<<std::endl;
return 'a';
}
} a;
void foo(int){}
void foo (double){} //parameter changed from char to double
int main() {
foo(a);
}
现在应该选择foo(double),但似乎只有VC++对代码满意,而clang和GCC对上面的代码不满意。
main.cpp:11:10: error: call of overloaded 'foo(A&)' is ambiguous
foo(a);
^
main.cpp:8:6: note: candidate: void foo(int)
void foo(int){}
^
main.cpp:9:6: note: candidate: void foo(double)
void foo (double){} //parameter changed from char to double
^
有人能解释一下上述代码失败的原因吗?或者是错误?
再问一个问题:GCC和clang是否共享重载解决代码?
解决方案
A -> char为A -> char。
A -> int为A -> char -> int(因为char到int是提升,所以比double到int转换更快)。
A -> double为A -> double。
A -> char是比A -> int更好的转换序列,因此您的第一种情况是明确的。A -> int和A -> double都不比另一种好,因此第二种情况是模棱两可的。
相关文章