Неоднозначная перегрузка для «operator‹‹» в «std::cout ‹‹»

У меня есть следующий файл main.cpp

#include "listtemplate.h"
//#include <iostream>
using namespace std;

int main()
{
    int UserChoice;
    cout << "Hello, World!" << endl;
    cin >> UserChoice;
    cout << UserChoice;
}

В нынешнем виде все работает. Я ввожу целое число, и это целое число выводится на экран. Однако, когда я раскомментирую строку cout << "Hello, World!" << endl, я получаю следующую ошибку

main.cpp:10: error: ambiguous overload for ‘operator<<’ in ‘std::cout << "Hello, World!"’

Я также могу заставить его работать, закомментировав #include "listtemplate.h", раскомментировав строку hello world и включив <iostream> в main (в настоящее время доступный через шаблон. Может ли кто-нибудь увидеть, что мне здесь не хватает?

шаблон списка.h

#ifndef LISTTEMPLATE_H
#define LISTTEMPLATE_H
#include "list.h"
using namespace std;

// Default constructor
template <class Type>
list<Type> :: list() : Head(NULL) {}

// Destructor
template <class Type>
list<Type> :: ~list()
{
    Node *Temp;
    while (Head != NULL)
    {
        Temp = Head;
        Head = Head -> Next;
        delete Temp;
    }
}

// Copy constructor
template <class Type>
list<Type> :: list (const Type& OriginalList)
{
    Node *Marker;
    Node *OriginalMarker;

    OriginalMarker = OriginalList.Gead;
    if (OriginalMarker == NULL) Head = NULL;
    else
    {
        Head = new Node (OriginalMarker -> Element, NULL);
        Marker = Head;
        OriginalMarker = OriginalMarker -> Next;

        while (OriginalMarker != NULL)
        {
            Marker -> Next = new Node (OriginalMarker -> Next);
            OriginalMarker = OriginalMarker -> Next;
            Marker = Marker -> Next;
        }
    }
}

// Copy assignment operator
template <class Type>
list<Type>& list<Type> :: operator= (const list<Type>& Original)
{
    Node *Marker;
    Node *OriginalMarker;

    // Check that we are not assigning a variable to itself
    if (this != &Original)
    {
        // First clear the current list, if any
        while (Head != NULL)
        {
            Marker = Head;
            Head = Head -> Next;
            delete Marker;
        }

        // Now build a new copy
        OriginalMarker = Original.Head;
        if (OriginalMarker == NULL) Head = NULL;
        else
        {
            Head = new Node (OriginalMarker -> Element, NULL);
            Marker = Head;
            OriginalMarker = OriginalMarker -> Next;

            while (OriginalMarker != NULL)
            {
                Marker -> Next = new Node (OriginalMarker -> Element, NULL);
                OriginalMarker = OriginalMarker -> Next;
                Marker = Marker -> Next;
            }
        }
    }
    return (*this);
}

// Test for emptiness
template <class Type>
bool list<Type> :: Empty() const
{
    return (Head == NULL) ? true : false;
}

// Insert new element at beginning
template <class Type>
bool list<Type> :: Insert (const Type& NewElement)
{
    Node *NewNode;
    NewNode = new Node;
    NewNode -> Element = NewElement;
    NewNode -> Next = Head;
    return true;
}

// Delete an element
template <class Type>
bool list<Type> :: Delete (const Type& DelElement)
{
    Node *Temp;
    Node *Previous;

    // If list is empty
    if (Empty()) return false;

    // If element to delete is the first one
    else if (Head -> Element == DelElement)
    {
        Temp = Head;
        Head = Head -> Next;
        delete Temp;
        return true;
    }

    // If the list has only one element which isn't the specified element
    else if (Head -> Next == NULL) return false;

    // Else, search the list element by element to find the specified element
    else
    {
        Previous = Head;
        Temp = Head -> Next;

        while ((Temp -> Element != DelElement) && (Temp -> NExt != NULL))
        {
            Previous = Temp;
            Temp = Temp -> Next;
        }

        if (Temp -> Element == DelElement)
        {
            Previous -> Next = Temp -> Next;
            delete Temp;
            return true;
        }
        else return false;
    }
}

// Print the contents of the list
template <class Type>
void list<Type> :: Print (ostream& OutStream) const
{
    Node *Temp;
    Temp = Head;

    while (Temp != NULL)
    {
        OutStream << Temp -> Element << " ";
        Temp = Temp -> Next;
    }
}

// Overloaded output operator
template <class Type>
ostream& operator<< (ostream& OutStream, const list<Type>& OutList)
{
    OutList.Print (OutStream);
    return OutStream;
}
#endif

список.ч

#ifndef LIST_H
#define LIST_H
#include <iostream>
#include <cstddef>
using namespace std;

template <class Type>
class list
{
private:
    struct Node
    {
    public:
        Type Element;
        Node *Next;

        Node() : Next(NULL) {} // Default constructor
        Node (Type Data, Node *PNode = NULL) : // Non-default constructor
            Element (Data),
            Next (PNode) {}
    };

    Node *Head;
public:
    list();
    ~list();
    list (const Type& OriginalList);
    bool Empty() const;
    bool Insert (const Type& NewElement);
    bool Delete (const Type& DelElement);
    void Print (ostream& OutStream) const;
    list& operator= (const list<Type>& Original);
};

template <class Type>
ostream& operator<< (ostream& OutStream, const Type& OutList);
#endif

person Community    schedule 15.03.2011    source источник


Ответы (3)


Я думаю, что проблема в том, что в вашем заголовке вы прототипировали эту функцию:

template <class Type>
ostream& operator<< (ostream& OutStream, const Type& OutList);

вместо этого:

template <class Type>
ostream& operator<< (ostream& OutStream, const list<Type>& OutList);

Версия, которую вы создали, говорит, что это operator <<, который может печатать все что угодно, а не списки чего угодно. Следовательно, когда вы пишете

cout << "Hello, world!" << endl;

Компилятор не может сказать, какую функцию он должен вызывать — стандартную функцию вывода или ту, которую вы определили в заголовке списка.

person templatetypedef    schedule 15.03.2011

На самом деле это интересный вопрос. Основная проблема заключается в том, что, как уже указывали другие, вы объявили следующую подпись:

template <typename T>
std::ostream& operator<<( std::ostream&, T const & );

И это вызывает двусмысленность, поскольку это шаблон всеобъемлющего. Но почему компилятор может вставить (однозначно) целое число в cout, но не может вставить const char*?

Причина этого в определении шаблона std::basic_ostream и бесплатных функций, которые требуются в стандарте. В частности, класс шаблона basic_ostream содержит функции членов для вставки основных типов, включая int. С другой стороны, вставка const char* в потоки определяется как шаблонная свободная функция. Объединяем три декларации:

namespace std {
template <typename CharT, typename traits = char_traits<CharT> >
class basic_ostream {
// ... 
   basic_ostream<CharT,traits>& operator<<(int n); // [1]
// ...
};
template<class charT, class traits> // [2]
basic_ostream<charT,traits>& operator<<(basic_ostream<charT,traits>&, const char*);
}
template <typename T> // [3]
std::ostream& operator<<( std::ostream&, T const & ); // user defined

Теперь, когда компилятор встречает выражение std::cout << 5, он обнаруживает, что [1] — это идеальное совпадение без шаблона. Он не является шаблонным, поскольку std::cout является объектом конкретного экземпляра шаблона класса basic_ostream, когда компилятор рассматривает члены этого класса, тип фиксируется. Сам метод не является шаблонным.

Шаблон [3] может соответствовать такому же использованию, но поскольку [1] не является шаблоном, он имеет приоритет в разрешении перегрузки, и двусмысленности нет.

Теперь, когда компилятор видит выражение std::cout << "Hello world";, он выполняет поиск и находит (среди других опций, которые не могут быть сопоставлены и поэтому отбрасываются) опции [2] и [3]. Проблема в том, что теперь оба варианта являются шаблонами, первый можно разрешить, сопоставив CharT = char и traits = char_traits<char>, а второй можно сопоставить, создав T = const char* (первый аргумент - конкретный экземпляр типа). Компилятор не может принять решение (нет частичного порядка, определяющего, за какой опцией он должен следовать), и вызывает ошибку неоднозначности.

Действительно интересный момент в вопросе заключается в том, что хотя и [1], и [2] кажутся шаблонными для аргументов CharT и traits в основном таким же образом, они не рассматриваются компилятором одинаково, причина этого этот поиск находит [1] как элемент std::cout, это означает, что в [1] basic_ostream<char,char_traits<char> > является конкретно известным типом первого аргумента, и он фиксирован. Шаблон — это класс, а не функция, и типы экземпляров класса фиксируются до того, как поиск рассматривает функции-члены. С другой стороны, когда ADL находит [2] и пытается сопоставить вызов, basic_ostream<CharT, traits> является универсальным типом, который может сопоставляться с типом cout.

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

person David Rodríguez - dribeas    schedule 16.03.2011

объявлен как:

ostream& operator<< (ostream& OutStream, const Type& OutList);

в определении функции как:

ostream& operator<< (ostream& OutStream, const list<Type>& OutList)
person jonsca    schedule 15.03.2011