具有多个函数和多个转换运算符的重载解析

考虑简单代码:

#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 -> charA -> char

A -> intA -> char -> int(因为charint是提升,所以比doubleint转换更快)。

A -> doubleA -> double

仅当两个用户定义的转换序列包含相同的用户定义的转换函数时,它们才具有可比性。因此,A -> char是比A -> int更好的转换序列,因此您的第一种情况是明确的。A -> intA -> double都不比另一种好,因此第二种情况是模棱两可的。

相关文章