c++ - 不同编译器使用的不同类型转换运算符

Question

以下 C++ 程序在我尝试过的所有编译器(gcc 4.6.3、llvm 3.0、icc 13.1.1、SolarisStudio 12.1/12.3)中编译时均未出现警告:

struct CClass
{
  template<class T>
  operator T() const { return 1; }

  operator int() const { return 2; }
};

int main(void)
{
  CClass x;
  return static_cast<char>(x);
}

但是，除了 SolarisStudio 编译器之外的所有编译器都返回 2，SolarisStudio(任一版本)返回 1，我认为这是最合乎逻辑的结果。

使用 return x.operator char(); 会导致所有编译器返回 1。

显然，自从弄清楚这一点以来，我一直在使用后一种表示法。但是，我想知道哪个编译器是正确的以及为什么。 (人们会认为多数人规则，但这仍然不能解释为什么。)

这个问题似乎与 SO questions here 有关, here , 和 here ，但是这些“仅”给出了问题的解决方案，没有解释(无论如何我都能够应用于我的特定问题)。

请注意，添加一个额外的重载强制转换运算符，例如 operator float() const { return 3; } 导致除 SolarisStudio 之外的所有编译器都提示歧义。

Answer 1

应选择第一个(模板)重载。

C++11 标准第 13.3.3/1 段规定:

[...] a viable function F1 is defined to be a better function than another viable function F2 if for all arguments i, ICSi(F1) is not a worse conversion sequence than ICSi(F2), and then

— for some argument j, ICSj(F1) is a better conversion sequence than ICSj(F2), or, if not that,

— the context is an initialization by user-defined conversion (see 8.5, 13.3.1.5, and 13.3.1.6) and the standard conversion sequence from the return type of F1 to the destination type (i.e., the type of the entity being initialized) is a better conversion sequence than the standard conversion sequence from the return type of F2 to the destination type. [ Example:

struct A {
    A();
    operator int();
    operator double();
} a;
int i = a; // a.operator int() followed by no conversion
           // is better than a.operator double() followed by
           // a conversion to int
float x = a; // ambiguous: both possibilities require conversions,
             // and neither is better than the other

—end example ] or, if not that,

— F1 is a non-template function and F2 is a function template specialization, or, if not that,

[...]

如您所见，第一个转换运算符是模板这一事实仅在标准转换序列从其返回类型(在本例中为 char)到目标类型(char，在这种情况下)不优于从非模板重载的返回类型(int，在这种情况下)的标准转换序列) 到目标类型(在本例中为 char)。

然而，从 char 到 char 的标准转换是 完全匹配，而从 int 的标准转换> 到 char 不是。因此，第 13.3.3/1 节的第三项不适用，第二项适用。

这意味着应该选择第一个(模板)重载。