Ошибка с template <class T>

@metopa · Регистрация: 04.01.2013

Студворк — интернет-сервис помощи студентам

Доброго времени суток!
Изучаю С++ и не совсем разобрался с template. Вернее, я думаю, что понял, но компилятору виднее.

В общем, он ругается на код:

C++
1
2
3
4
5
6
7
8
9
10
template <class T> 
class Stack {
public:
    class Overflow  {};
    class Underflow {};
    class Bad_init  {};
 
    virtual void push( T i ) = 0;
    virtual int  pop() = 0;
};

Это абстрактный класс в заголовочном файле, тут всё нормально.
Ещё там есть подклассы этого класса, но это не важно.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
template <class T> 
void StackTest( Stack<T>& r_stack ) {
    r_stack.push( 3 );
    r_stack.push( 2 );
    r_stack.push( 1 );
 
    try {
        while ( 1 )
            std::cout << r_stack.pop() << '\n';
    }
    catch ( Stack<T>::Underflow ) {
        std::cout << "Underflow\n";
    }
}

а вот тут ругается на

C++
1
catch ( Stack<T>::Underflow )

Что я не так делаю?
Заранее спасибо

@0x10 · 07.02.2015, 14:35

C++
1
catch (typename Stack<T>::Underflow) {

@metopa · 07.02.2015, 15:02 **[ТС]**

Да, так то лучше! Спасибо. А не могли бы ещё дать пояснения. Потому что не совсем понятно, зачем указывать typename, если перед объявлением функции я уже написал template

@0x10 · 07.02.2015, 15:27

Сообщение от metopa

А не могли бы ещё дать пояснения. Потому что не совсем понятно, зачем указывать typename, если перед объявлением функции я уже написал template

Может существовать такая специализация шаблона, что Underflow будет не типом, а статическим полем. Поэтому компилятор предполагает, что это не тип, и ему нужно явно указывать как интерпретировать конкретную конструкцию.
Подробнее тут: http://en.cppreference.com/w/c... ndent_name
Или в книге Вандервурда "Шаблоны С++. Справочник разработчика", часть "9.3.2 Зависимые имена типов".

Раз уж на то пошло, Overflow и товарищи никак не зависят от T, и к тому же публичны. Лучше вообще вынести их из класса. А поскольку используются они как объекты исключения, то унаследовать от std::exception.

@metopa · 07.02.2015, 15:49 **[ТС]**

Спасибо

Стало понятнее.

@hoggy · 07.02.2015, 16:06

Сообщение от 0x10

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

Вы ошибаетесь.
Рассмотрим ещё раз конструкцию:

C++
1
catch (typename Stack<T>::Underflow)

Здесь не может быть ничего иного, кроме типа.
Параметром функции может быть только и только тип данных.
Поэтому, компилятор закладывается на то, что там именно тип.

Чем на самом деле является Underflow компилятор в любом случае не может узнать до инстанцирования.
И в любом случае он будет выполнять проверку корректности при инстанцировании.

Таким образом ключевое слово typename никак не облегчает работу компилятору.
Оно не нужно ни компилятору, ни человеку.

Кстати, на примере компилятора cl мы видим, что он прекрасно может без него обходиться.

А на примере компилятора gcc мы видим ошибку:
"вы пропустили ключевое слово typename, потому что у вас тут имя зависимое от параметра шаблона".

Так и хочется сказать: ну если сам прекрасно все видишь, ну вставил бы сам это слово, чего отвлекаешь занятых людей со всякой ерундой?????

gcc следует букве стандарта, даже там, где это противоречит здравому смыслу.

@0x10 · 07.02.2015, 16:51

Сообщение от hoggy

Здесь не может быть ничего иного, кроме типа.

Синтаксически catch ожидает объявление параметра, фактически Underflow может быть чем угодно. В случае одного прохода компилятор не проверяет все существующие специализации шаблона класса, поэтому чтобы распарсить тело шаблонной функции, нужно явно указать, являеться ли определение типом.

В частном случае с catch компилятор еще может сделать предположения, но есть и неоднозначные конструкции:

C++
1
SomeClass<T>::Wtf * rhs; // умножение или объявление указателя?

Другое дело, что студийный компилятор не придерживается стандарта и может вообще не парсить тела шаблонных функций до их инстанцирования.

@hoggy · 07.02.2015, 17:10

Сообщение от 0x10

Синтаксически catch ожидает объявление параметра, фактически Underflow может быть чем угодно.

Не чем угодно. Он может быть только и только типом.
Именно потому, что catch ожидает объявление параметра.

Сообщение от 0x10

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

Вероятно вы имели ввиду на этапе первой фазы "двух фазного парсинга шаблонов".

Ну так вот, в этом случае, равно как и в случае "однофазного парсинга",
Underflow может быть только и только типом.

Более того, в любом случае компилятор выполняет проверку корректности при инстанцировании.

Но если он в любом случае выполняет проверку именно при инстанцировании,
и в любом случае ожидает тип на первой фазе, тогда зачем typename?

Сообщение от 0x10

нужно явно указать, являеться ли определение типом.

Зачем? Итак понятно что там может быть только тип.

Сообщение от 0x10

SomeClass<T>::Wtf * rhs; // умножение или объявление указателя?

Здесь имеет место быть "контекстно-зависимая грамматика".

Ключевое слово typename может ещё на первой фазе подсказать компилятору,
как правильно построить синтаксическое дерево.

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

Не обязательным для использования способом подсказать компилятору, что есть что, как это сделанно в компиляторе вижал студии cl.

C++
1
2
template<class T>
void foo(  SomeClass<T>::Wtf * rhs ); // умножение или объявление указателя?

А вот здесь ключевое слово typename избыточно
Потому что rhs не может быть ни чем, кроме как указателем.

Добавлено через 5 минут

Сообщение от 0x10

Другое дело, что студийный компилятор не придерживается стандарта и может вообще не парсить тела шаблонных функций до их инстанцирования.

Он придерживается стандарта.
(хотя не всего его фичи поддерживает. Например, не поддерживает constexpr в должной мере)

Просто помимо стандарта, он так же предоставляет возможность использовать собственные расширения.
И их можно отключать при помощи специальных ключиков компиляции.

@DU · 07.02.2015, 19:54

если в стандарте ничего не поменяли, то имена вроде Template<T>::Name остаются зависимыми от
аргумента шаблона вне зависимости от контекста, в котором они используются, как бы это логично или
не логично не было. И у студии это как раз таки не стандартная фича, из-за которой иногда ломаются
билды кроссплатформенного кода.

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@metopa 11 / 11 / 6 Регистрация: 04.01.2013 Сообщений: 67
	07.02.2015, 15:02 [ТС]
	Да, так то лучше! Спасибо. А не могли бы ещё дать пояснения. Потому что не совсем понятно, зачем указывать typename, если перед объявлением функции я уже написал template 0

@metopa 11 / 11 / 6 Регистрация: 04.01.2013 Сообщений: 67
	07.02.2015, 15:49 [ТС]
	Спасибо Стало понятнее. 0

@DU 1500 / 1146 / 165 Регистрация: 05.12.2011 Сообщений: 2,279
	07.02.2015, 19:54
	если в стандарте ничего не поменяли, то имена вроде Template<T>::Name остаются зависимыми от аргумента шаблона вне зависимости от контекста, в котором они используются, как бы это логично или не логично не было. И у студии это как раз таки не стандартная фича, из-за которой иногда ломаются билды кроссплатформенного кода. 0

Ошибка с template <class T>

Решение