Используя шаблонный параметр value_type

Как предполагается использовать std-контейнер value_type?
Я попытался использовать его так:

#include <vector>

using namespace std;

template <typename T>
class TSContainer {
private:
        T container;
public:
        void push(T::value_type& item)
        {
                container.push_back(item);
        }
        T::value_type pop()
        {
                T::value_type item = container.pop_front();
                return item;
        }
};
int main()
{
        int i = 1;
        TSContainer<vector<int> > tsc;
        tsc.push(i);
        int v = tsc.pop();
}

Но это приводит к:

prog.cpp:10: error: ‘T::value_type’ is not a type
prog.cpp:14: error: type ‘T’ is not derived from type ‘TSContainer<T>’
prog.cpp:14: error: expected ‘;’ before ‘pop’
prog.cpp:19: error: expected `;' before ‘}’ token
prog.cpp: In function ‘int main()’:
prog.cpp:25: error: ‘class TSContainer<std::vector<int, std::allocator<int> > >’ has no member named ‘pop’
prog.cpp:25: warning: unused variable ‘v’

Я думал, что это было: value_type для?

Ответ 1

Вы должны использовать typename:

typename T::value_type pop()

и т.д.

Причина в том, что компилятор не может знать, является ли T:: value_type типом переменной-члена (никто не мешает вам определить тип struct X { int value_type; }; и передать это шаблону). Однако без этой функции код не может быть проанализирован (поскольку значение конструкций изменяется в зависимости от того, обозначает ли какой-то идентификатор тип или переменную, например T * p может быть умножением или объявлением указателя). Поэтому правило состоит в том, что все, что может быть либо типом, либо переменной и явно не помечено как тип, префикс его с помощью typename считается переменной.

Ответ 2

Используйте ключевое слово typename, чтобы указать, что это действительно тип.

void push(typename T::value_type& item)

typename T::value_type pop()