模板化转换运算符 string() 无法编译

Question

以下在 VS 2005 中编译，但在 2010 或 2012 中不编译：

#include <string>

template <typename TT> TT getAs();
template <>            std::string getAs() { return "bye"; }
template <>            int getAs() { return 123; }

class Foo
{
public:
    template <typename TT>
        TT getAs() const { return ::getAs<TT>(); }

    template <typename TT>
        operator TT() const { return ::getAs<TT>(); }
};

Foo tempFoo() { return Foo(); }

int main()
{
    Foo foo;
    std::string testStringLocal = foo;                            // OK in 2010, FAIL in 2012
    int testIntTemp = tempFoo();                                  // OK
    std::string testStringTemp = tempFoo().getAs<std::string>();  // OK
    const std::string& testStringTemp2 = tempFoo();               // OK

    std::string testStringTemp3 = tempFoo();                    // FAIL!
}

编译器在main() 的两行中抱怨无法进行转换。但是如果我用一组等效的重载替换operator TT() 的模板定义，

class Foo
{
public:
    template <typename TT>
        TT getAs() const { return ::getAs<TT>(); }

    operator std::string() const { return ::getAs<std::string>(); }
    operator int() const { return ::getAs<int>(); }
};

然后一切正常。请注意，基于标记为 OK 的 main() 行，当字符串是模板参数并且（在 2010 年，但不是在 2012 年）涉及临时时，此问题特定于模板运算符 TT。

这不是有效的代码吗？为什么它在某些情况下有效？

Answer 1

字符串的复制构造函数之间似乎存在歧义。

使用这条线解决了歧义：

std::string testStringLocal = (const std::string&)foo;

operator= 也是如此：

std::string testStringLocal;               // define empty string
testStringLocal = (const std::string&)foo; //OK
testStringLocal = foo;                     // Fail in all VS compilers (VS2010, 2012, 2013)

我不知道为什么std::string 的行为与其他类不同，很可能是大量的构造函数和赋值运算符。

当给编译器提供多个选项来执行强制转换时，在这种情况下，double cast (Foo -> string -> const string&) 它将失败。它也可以选择Foo -> int -> const string& 或类似的东西。