Вопрос о векторном итераторе в шаблонных функциях

Question

Я пытаюсь изучить библиотеку STL, и у меня странная проблема. Этот код отлично компилируется:

void Show(vector<int> myvec)
{
    vector<int>::iterator it;
    cout << "Vector contains:";
    for( it = myvec.begin(); it < myvec.end(); it++) 
    {
         cout << " " << *it;
    }
    cout << endl;
}

пока этот выдает мне сообщение об ошибке во время компиляции:

template <class T> 
void Show2(vector<T> myvec)
{
    vector<T>::iterator it;
    cout << "Vector contains:";
    for( it = myvec.begin(); it < myvec.end(); it++)
    {
         cout << " " << *it;
    }
    cout << endl;
}

Ошибка:

$ g++ hello.cpp
hello.cpp: In function ‘void Show2(std::vector<T, std::allocator<_Tp1> >)’:
hello.cpp:19: error: expected ‘;’ before ‘it’
hello.cpp:21: error: ‘it’ was not declared in this scope

Кажется, это очень простая ошибка, но я не смог ее найти.

Answer 1

Вам нужно сказать typename vector<T>::iterator it.

В другой ноте вы передаете vector s по значению.Это означает, что весь vector копируется при вызове функции.void Show(vector<T> const &myvec) и использование const_iterator будет разумнее.

Answer 2

Вам нужно это:

typename vector<T>::iterator it;

Это говорит компилятору, что vector<T>::iterator следует рассматривать как тип, что он не может принять, поскольку iterator зависит от того, что T.

Answer 3

У некоторых компиляторов возникают проблемы с определением имени элемента и имени типа в шаблонах. Попробуйте написать что-нибудь подобное в первой строке тела функции шаблона.

typename vector<T>::iterator it;

Answer 4

В первом случае параметр, хотя и использует шаблон, но не шаблон, это полностью определенный класс (vector<int>)

В последнем случае параметр является шаблоном для типа T и поэтому требует имя типа

Answer 5

Может быть, это работает, используя typename vector<T>::iterator it; Ваш компилятор не может знать, что существует внутренний итератор класса.