Чем отличается override от virtual?

@Fangod · Регистрация: 07.10.2011

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

Так и не понял.
Если указать метод как override, то он переопределит метод базового класса
Для этого метод базового класса должен быть virtual?
Но virtual методы и без этого переопределяются, разве не так?

@rikimaru2013 · 23.12.2015, 15:49

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

Я вот вас почитал, и ещё больше запутался
т.е. методы переопределяются и без virtual? (если забыть про override)

Да.

Кликните здесь для просмотра всего текста

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
using namespace std;
 
struct A
{
  virtual void f() { cout << "A" << endl;  }
};
struct B : public A
{
   void f() { cout << "B" << endl;  }
};
 
int main()
{
   A* ptr = new B();
   ptr->f();               // Output: B
}

Tulosba · 23.12.2015, 15:56

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

даже если писать без virtual и без override.

и без final

Croessmah, только ты забыл Y отнаследовать от Х.

Croessmah · 23.12.2015, 16:10

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

Croessmah, только ты забыл Y отнаследовать от Х.

о май лысый локоть...

вроде выспался, а толку от меня ноль

Tulosba · 23.12.2015, 16:17

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

В этом гайде кстати написано, что подразумевается сложность уровня moderate

Это в каком пункте? Я про ES.28 "Use lambdas for complex initialization, especially of const variables"
и там в комменте нечто другое сказано:

this could be some arbitrarily long code needed to initialize x

@rikimaru2013 · 23.12.2015, 16:18

Зачем вообще ограничивать программистов делая свой метод final ? Если кто-то пытается унаследовать класс, то он знает что делает переопределяя поведение)

Croessmah · 23.12.2015, 16:25

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

то он знает что делает переопределяя поведение

или не знает...

также с помощью final, например, можно ограничить наследование

C++
1
2
3
class X{public: virtual ~X(){}};
class Y final : public X {}; //Tulosba, я это сделал!!!
class Z : public Y {};//Error!

@Mr.X · 23.12.2015, 16:26

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

Я вот вас почитал, и ещё больше запутался
т.е. методы переопределяются и без virtual? (если забыть про override)

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

@rikimaru2013 · 23.12.2015, 16:33

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

или не знает..

Я таких примеров незнаю. А вы? Тут цитата про маньяка, который знает где вы живете и сопровождает твой код?)) ) Когда сами себе ставят ловушку на будущее. Будем расширять возможности и сталкнёмся с тем, что не можем)))

@avgoor · 23.12.2015, 16:36

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

Зачем вообще ограничивать программистов делая свой метод final ?

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

@hoggy · 23.12.2015, 19:20

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

Зачем вообще ограничивать программистов делая свой метод final ?

бывают ситуации, когда дальнейшее переопределение вирт.
метода может нарушить логику работы
(например - фабричного метода)

в этом случае final будет очень кстати.

@rikimaru2013 · 23.12.2015, 19:55

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

например - фабричного метода

а можно конкретнее пример?

я не понял как base* getMyTypePart() const переопределение поломает фабрику. Или темболее описание новой логики сборки используя baseFactory методы

@hoggy · 23.12.2015, 20:51

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

а можно конкретнее пример?

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

так что можно сказать, что они - клоны друг друга.

однако вычисления связанные с расчетами выигрышей/проигрышами игроков(деньги)
у них у всех одинковый, и зашит в базовом классе.

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

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

то бишь, на нем и слоты, и покер отыграть можно, и рулетку, и тп.

соотвественно - все через интерфейсы.

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

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

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

а так буковок мало, и все безопасно.

@ct0r · 24.12.2015, 01:07

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

Это в каком пункте? Я про ES.28 "Use lambdas for complex initialization, especially of const variables"
и там в комменте нечто другое сказано:

В ES.22: For initializers of moderate complexity, including for const variables, consider using a lambda to express the initializer; see ES.28

Кстати я нашел вот что: http://herbsutter.com/2013/04/... -variable/
Но если взглянуть там на второй комментарий и число лайков/дизлайков (43/4), то можно убедиться, что множество народу не поддерживает такой стиль.

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

Зачем вообще ограничивать программистов делая свой метод final ?

Для оптимизации.

@Mr.X · 24.12.2015, 07:59

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

Кстати я нашел вот что: http://herbsutter.com/2013/04/... -variable/

and a sneaky pair of parenthesis at the end - хорошо сказано!

Tulosba · 24.12.2015, 14:24

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

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

Надо конечно рассматривать более конкретные варианты, однако замечу, что создание именованной функций не всегда удобно. Если действие происходит в функции-члене, то надо модифицировать определение класса, что менее удобно (и несет за собой в общем случае необходимость пересборки зависимых от этого модулей), чем создание и вызов лямбды с захватом необходимых переменных по месту.

@ct0r · 24.12.2015, 14:45

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

Если действие происходит в функции-члене, то надо модифицировать определение класса, что менее удобно (и несет за собой в общем случае необходимость пересборки зависимых от этого модулей), чем создание и вызов лямбды с захватом необходимых переменных по месту.

Опять же все зависит от конкретного случая. По умолчанию делается свободная функция в анонимном пространстве имен. А вот не думая пихать именованную функцию в private секцию - от лукавого, само собой.

Tulosba · 24.12.2015, 15:03

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

По умолчанию делается свободная функция в анонимном пространстве имен.

Это можно, если не используются зависимые/закрытые сущности от класса, в котором всё это происходит.
А если используется, то либо friend, либо member.

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@Fangod 9 / 9 / 0 Регистрация: 07.10.2011 Сообщений: 187

	Чем отличается override от virtual? 22.12.2015, 16:40. Показов 18539. Ответов 76 Метки нет (Все метки) Так и не понял. Если указать метод как override, то он переопределит метод базового класса Для этого метод базового класса должен быть virtual? Но virtual методы и без этого переопределяются, разве не так? 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	23.12.2015, 16:18
	Зачем вообще ограничивать программистов делая свой метод final ? Если кто-то пытается унаследовать класс, то он знает что делает переопределяя поведение) 0