Почему компилятор выбирает неправильную перегрузку функции в этом случае?

Я пробовал код, представленный Шон Ройент в его разговоре на GoingNative 2013 - "Наследование - это базовый класс зла" . (код от последнего слайд доступен в https://gist.github.com/berkus/7041546

Я попытался достичь одной и той же цели самостоятельно, но я не могу понять, почему приведенный ниже код не будет действовать, как я ожидаю.

#include <boost/smart_ptr.hpp>
#include <iostream>
#include <ostream>

template <typename T>
void draw(const T& t, std::ostream& out)
{
    std::cout << "Template version" << '\n';
    out << t << '\n';
}

class object_t
{
public:
    template <typename T>
    explicit object_t (T rhs) : self(new model<T>(rhs)) {};

    friend void draw(const object_t& obj, std::ostream& out)
    {
        obj.self->draw(out);
    }

private:
    struct concept_t
    {
        virtual ~concept_t() {};
        virtual void draw(std::ostream&) const = 0;
    };

    template <typename T>
    struct model : concept_t
    {
        model(T rhs) : data(rhs) {};
        void draw(std::ostream& out) const
        {
            ::draw(data, out);
        }

        T data;
    };

    boost::scoped_ptr<concept_t> self;
};

class MyClass {};

void draw(const MyClass&, std::ostream& out)
{
    std::cout << "MyClass version" << '\n';
    out << "MyClass" << '\n';
}

int main()
{
    object_t first(1);
    draw(first, std::cout);

    const object_t second((MyClass()));
    draw(second, std::cout);

    return 0;
}

Эта версия обрабатывает печать int отлично, но не выполняет компиляцию во втором случае, поскольку компилятор не знает, как использовать MyClass с operator<<. Я не могу понять, почему компилятор не будет выбирать вторую перегрузку, предоставленную специально для MyClass. Код компилируется и отлично работает, если я изменяю имя метода model:: draw() и удаляю из его тела спецификатор пространства имен ::, или если я изменяю глобальную функцию рисования MyClass на полную специализацию шаблона.

Сообщение об ошибке, которое я получаю, приведено ниже, после чего это куча candidate function not viable...

t76_stack_friend_fcn_visibility.cpp:9:9: error: invalid operands to binary expression ('std::ostream' (aka 'basic_ostream<char>') and 'const MyClass')
    out << t << '\n';
    ~~~ ^  ~
t76_stack_friend_fcn_visibility.cpp:36:15: note: in instantiation of function template specialization 'draw<MyClass>' requested here
            ::draw(data, out);
              ^
t76_stack_friend_fcn_visibility.cpp:33:9: note: in instantiation of member function 'object_t::model<MyClass>::draw' requested here
        model(T rhs) : data(rhs) {};
        ^
t76_stack_friend_fcn_visibility.cpp:16:42: note: in instantiation of member function 'object_t::model<MyClass>::model' requested here
    explicit object_t (T rhs) : self(new model<T>(rhs)) {};
                                         ^
t76_stack_friend_fcn_visibility.cpp:58:20: note: in instantiation of function template specialization 'object_t::object_t<MyClass>' requested here
    const object_t second((MyClass()));
                   ^

Почему шаблонная версия функции глобального шаблона дроби выбрана из-за перегрузки функции MyClass? Это потому, что ссылка на шаблон является жадной? Как исправить эту проблему?

Ответы

void draw(std::ostream& out) const
{
    using ::draw;
    draw(data, out);
}

void draw(std::ostream& out) const
{
    using ::draw;
    draw(data, out);
}