Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
 
Рейтинг 4.57/7: Рейтинг темы: голосов - 7, средняя оценка - 4.57
1 / 1 / 0
Регистрация: 18.11.2017
Сообщений: 102

Наследование шаблонных классов

05.01.2021, 19:43. Показов 1538. Ответов 21
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Взял из <queue> шаблоны классов queue и priority_queue. Захотел сделать наследование priority_queue от queue. Если из priority_queue удалить empty, то empty будет взят из queue, ошибок не будет, но он попросту не выполнится. Почему?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#include <algorithm>
#include <vector>
#include <iostream>
#include <deque>
using namespace std;
 
// CLASS TEMPLATE queue
template <class _Ty, class _Container>
class Queue {
public:
    using value_type = typename _Container::value_type;
    using const_reference = typename _Container::const_reference;
  
    _NODISCARD bool empty() const noexcept(noexcept(c.empty())) /* strengthened */ {
        return c.empty();
    }
    _Container c{};
};
 
// CLASS TEMPLATE Priority_queue
template <class _Ty, class _Container, class _Pr = less<typename _Container::value_type>>
class Priority_queue: public Queue<_Ty, _Container> {
public:
    using value_type = typename _Container::value_type;
    using const_reference = typename _Container::const_reference;
          
    _NODISCARD bool empty() const noexcept(noexcept(c.empty())) /* strengthened */ {
        return c.empty();
    }
 
       _NODISCARD const_reference top() const noexcept(noexcept(c.front())) /* strengthened */ {
        return c.front();
    }
 
    void push(value_type&& _Val) {
        c.push_back(_STD move(_Val));
        _STD push_heap(c.begin(), c.end(), comp);
    }
 
    void pop() {
        _STD pop_heap(c.begin(), c.end(), comp);
        c.pop_back();
    }
    _Container c{};
     _Pr comp{};
};
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
05.01.2021, 19:43
Ответы с готовыми решениями:

Наследование шаблонных классов
почему в VS 2017 не компилируется этот код? cpp.sh/8zfd

Наследование шаблонных классов: найти причины возникновения ошибки в коде и исправить эту ошибку
подскажите почему появляется такая ошибка error C2248: 'Base&lt;int,float&gt;::value1' : cannot access protected member declared in class...

Наследование в шаблонных классах
Не хочет по-нормальному работать наследование в шаблонных классах. Доступ к protected переменной родителя можно получить только через...

21
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 19:48
Цитата Сообщение от Everman3228 Посмотреть сообщение
Если из priority_queue удалить empty, то empty будет взят из queue, ошибок не будет, но он попросту не выполнится. Почему?
Потому что ты в наследнике зачем-то создал второй экземпляр контейнера. Убери из Priority_queue вот это
Цитата Сообщение от Everman3228 Посмотреть сообщение
_Container c{};
0
1 / 1 / 0
Регистрация: 18.11.2017
Сообщений: 102
05.01.2021, 19:53  [ТС]
Цитата Сообщение от oleg-m1973 Посмотреть сообщение
Потому что ты в наследнике зачем-то создал второй экземпляр контейнера. Убери из Priority_queue вот это
Ошибка C3861 c: идентификатор не найден
0
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 19:58
Цитата Сообщение от Everman3228 Посмотреть сообщение
Ошибка C3861 c: идентификатор не найден
В наследнике обращайся к c через this
C++
1
2
3
4
5
 
    void pop() {
        _STD pop_heap(this->c.begin(), this->c.end(), comp);
        this->c.pop_back();
    }
Добавлено через 35 секунд
Либо сделай
C++
1
using Queue<_Ty, _Container>::c;
0
1 / 1 / 0
Регистрация: 18.11.2017
Сообщений: 102
05.01.2021, 20:16  [ТС]
Цитата Сообщение от oleg-m1973 Посмотреть сообщение
void pop() {
        _STD pop_heap(this->c.begin(), this->c.end(), comp);
        this->c.pop_back();
    }
Спасибо, сделал, а можно ещё из priority_queue удалить using value_type = typename _Container::value_type; и using const_reference = typename _Container::const_reference; чтобы они наследовались из queue?

Я их удаляю, и они становятся не определены в top и push.
0
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 20:20
Цитата Сообщение от Everman3228 Посмотреть сообщение
Спасибо, сделал, а можно ещё из priority_queue удалить using value_type = typename _Container::value_type; и using const_reference = typename _Container::const_reference; чтобы они наследовались из queue?
Замени их на
C++
1
using typename Queue<_Ty, _Container>::value_type;
и т.д.

Это нужно исключительно для ты мог их использовать внутри класса, поэтому делай эти using по минимуму.
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
05.01.2021, 20:21
Цитата Сообщение от Everman3228 Посмотреть сообщение
чтобы они наследовались из queue?
Нельзя.

Two phase lookup провозглашает, что зависимые от шаблона имена не наследуются.
0
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 20:23
Тебе здесь достаточно только value_type. Для результата используй auto
C++
1
2
3
     _NODISCARD auto top() const noexcept(noexcept(c.front())) /* strengthened */ {
        return c.front();
    }
Добавлено через 1 минуту
Остальное всё унаследуется и будет видимым при использовании твоего класса
1
1 / 1 / 0
Регистрация: 18.11.2017
Сообщений: 102
05.01.2021, 20:28  [ТС]
Цитата Сообщение от oleg-m1973 Посмотреть сообщение
Тебе здесь достаточно только value_type. Для результата используй auto
Спасибо, получилось.

Добавлено через 1 минуту
Цитата Сообщение от eva2326 Посмотреть сообщение
Нельзя.
Two phase lookup провозглашает, что зависимые от шаблона имена не наследуются.
Компилируется, и показывает, что value_type наследуется от Queue.
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
05.01.2021, 20:42
Цитата Сообщение от Everman3228 Посмотреть сообщение
Компилируется, и показывает, что value_type наследуется от Queue.
Вы используете студию

Почему компилируется не объявленная переменная в шаблоне?
Почему компилируется не объявленная переменная в шаблоне?
0
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 20:48
Цитата Сообщение от eva2326 Посмотреть сообщение
Вы используете студию
https://godbolt.org/z/zvGoW6

Добавлено через 20 секунд
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <vector>
 
template <typename T>
struct A
{
    using value_type = T::value_type;
};
 
 
template <typename T>
struct B: A<T>
{
};
 
int main()
{
    B<std::vector<int>>::value_type n = 0;
}
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
05.01.2021, 20:54
Цитата Сообщение от oleg-m1973 Посмотреть сообщение
https://godbolt.org/z/zvGoW6
Я не осилила этот аморальный онлайн компилятор.

Ваш код не компилируется:
https://rextester.com/ASJ93030

C++
1
2
3
4
5
6
7
152926856/source.cpp:6:24: error: need ‘typename’ before ‘T::value_type’ because ‘T’ is a dependent scope
     using value_type = T::value_type;
                        ^
152926856/source.cpp: In function ‘int main():
152926856/source.cpp:17:26: error: ‘value_type’ is not a member of ‘B<std::vector<int> >’
     B<std::vector<int>>::value_type n = 0;
                          ^~~~~~~~~~
0
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 20:56
Цитата Сообщение от eva2326 Посмотреть сообщение
Ваш код не компилируется:
using value_type = typename T::value_type
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
05.01.2021, 21:08
Цитата Сообщение от oleg-m1973 Посмотреть сообщение
using value_type = typename T::value_type
Я уже просила вас однажды: не отправлять мне некомпилябельные огрызки кода.

В посте #11 вы опубликовали некорректный код.

Вы можете исправить ошибку, и выложить материал заново.
0
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 21:12
Цитата Сообщение от eva2326 Посмотреть сообщение
Я уже просила вас однажды: не отправлять мне некомпилябельные огрызки кода.
Если у тебя ума не хватает внести мелкие исправления, это не мои проблемы.
0
Вездепух
Эксперт CЭксперт С++
 Аватар для TheCalligrapher
12938 / 6805 / 1821
Регистрация: 18.10.2014
Сообщений: 17,223
05.01.2021, 22:06
Цитата Сообщение от eva2326 Посмотреть сообщение
Two phase lookup провозглашает, что зависимые от шаблона имена не наследуются.
Написана чушь. Не "не наследуются", а не находятся через поиск неквалифицированных имен (unqualified name lookup). Никакого отношения к "не наследуются" это не имеет. Все там прекрасно наследуется.
0
 Аватар для eva2326
1673 / 501 / 107
Регистрация: 17.05.2015
Сообщений: 1,518
05.01.2021, 22:09
Цитата Сообщение от TheCalligrapher Посмотреть сообщение
Ым... Не "не наследуются", а "не находятся через поиск неквалифицированных имен". Никакого отношения к "не наследуются" это не имеет.
См. контекст сообщения #5
0
Вездепух
Эксперт CЭксперт С++
 Аватар для TheCalligrapher
12938 / 6805 / 1821
Регистрация: 18.10.2014
Сообщений: 17,223
05.01.2021, 22:11
В сообщении #5 вопрос поставлен некорректно, ибо к "наследованию" проблема не имеет никакого отношения.
0
1 / 1 / 0
Регистрация: 18.11.2017
Сообщений: 102
05.01.2021, 23:46  [ТС]
Так что мне исправить нужно?
0
6772 / 4565 / 1844
Регистрация: 07.05.2019
Сообщений: 13,726
05.01.2021, 23:49
Цитата Сообщение от Everman3228 Посмотреть сообщение
Так что мне исправить нужно?
У тебя ж вроде скомпилировалось. Если это так, то ничего не надо править
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
05.01.2021, 23:49
Помогаю со студенческими работами здесь

Наследование в шаблонных типах
template&lt;typename T&gt; class B { protected: T obj; }; template&lt;typename T&gt; class A : public B&lt;T&gt; { public: T&amp; data()...

Сравнение типов шаблонных классов
Добрый день. Есть некоторый шаблонный класс (структура): template&lt;int m, int n&gt; struct A { }; Возьмем некоторый...

Параметры-шаблоны у шаблонных классов
Объясните плз, кто может, для чего используются параметры-шаблоны у шаблонных классов, и как они работают? :) Читаю Прату и застрял на...

Раздельная компиляция шаблонных классов
Пытаюсь сделать класс, который определяет вектор. И содержит методы для работы с ними. Выдаёт эти ошибки и я не понимаю почему) ...

Объявление статических констант шаблонных классов
Что-то я туплю - дан шаблонный класс, принимающий в качестве аргументов шаблона типы Type1 и Type2. В классе есть статическая константа...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
20
Ответ Создать тему
Новые блоги и статьи
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами
8Observer8 20.02.2026
Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 18.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила»
zbw 12.02.2026
«Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 12.02.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 11.02.2026
Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru