CRTP含糊不清

Question

当我使用CRTP（ 奇怪地重复使用模板模式 ）时，当基类（显式）可转换为bool ，也可转换为Derived类型时， 出现编译器错误。 如果我尝试使用ostream将Derived类型作为rvalue输出，则会发生编译器错误。 例如 ：

    #include <iostream>
    using namespace std;

    template <class Object>
    class Base
    {
        private:

        typedef void (Base::*explicit_bool_type)() const;

        void explicit_bool_idiom() const { }

        public:

        operator explicit_bool_type() const
        {
            return &Base::explicit_bool_idiom;
        }

        operator Object& ()
        {
            return Object();
        }

        operator const Object& () const
        {
            return Object();
        }
    };

   class Derived : public Base<Derived>
   {
        public:

        friend std::ostream& operator << (std::ostream& os, const Derived& d)
        {
            os << "abc";
            return os;
        }
   };

    int main()
    {
        std::cout << Derived() << std::endl;
    }

这给出了编译器错误：

test2.cpp:42: error: ambiguous overload for ‘operator<<’ in ‘std::cout << Derived()’
/usr/lib/gcc/x86_64-redhat-linux/4.1.2/../../../../include/c++/4.1.2/bits/ostream.tcc:102: note: candidates are: std::basic_ostream<_CharT, _Traits>& std::basic_ostream<_CharT, _Traits>::operator<<(bool) [with _CharT = char, _Traits = std::char_traits<char>]
test2.cpp:32: note:                 std::ostream& operator<<(std::ostream&, const Derived&)

问题 ：这是编译器错误吗？ 我怀疑是这样，因为它仅发生在较旧版本的GCC（例如GCC 4.1.2）上。 使用GCC 4.8.2，效果很好。 不幸的是，我需要让它在较旧的编译器上运行。 如果我重载std::ostream& operator <<对于Derived ，它就可以工作。 （如果我将Derived的实例作为左值输出，它也可以工作。）

我不确定编译器为什么认为std::ostream::operator << (bool)是同样有效的候选者。

另外，我知道显式的布尔用法已在C ++ 11中过时了-再次，需要在较旧的编译器上使它生效。

有没有一种方法可以解决歧义而不重载std::ostream& operator <<对于Derived吗？

Answer 1

它确实确实是g ++ 4.1中的错误。 它至少在4.2.3及更高版本中有效。

此外，如果将隐式转换删除为explicit_bool_type或两个Object&转换，则可以正常编译。 我强烈认为隐式向下转换是一个坏主意（假设您的实际实现实际上未按引用返回堆栈变量），并且建议删除这些运算符，这将具有修复编译错误的额外好处。