Как правильно вызывать перекрытую функцию?

@Слава57 · Регистрация: 03.10.2021

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

Есть два класса: C1 и C2, причём C2 это наследник C1. Есть у C1 функция f(). А класс C2 её перекрывает своей f().
Они используются очень часто (множество раз в секунду), поэтому нужно оптимальное решение. Идёт обработка массива из C1, где попадаются C2 (процентов 10). Как заставить программу вызывать C2.f(), где это возможно?
Придумал несколько вариантов, самый логичный выглядит как проверка

C#
1
if (arr[i] is C2)

Но возможно есть что-то лучше?

@Rius · 01.07.2024, 23:47

Множество раз в секунду это миллиарды?

Можно интерфейсы использовать.

Но не стоит заниматься преждевременной оптимизацией без данных профайлера.

@IamRain · 02.07.2024, 00:12

Сообщение от Слава57

А класс C2 её перекрывает своей f().

А полиморфизм использовать нельзя что-ли? virtual/override, не?

Добавлено через 4 минуты
Если уж начали использовать наследование, то имеет смысл использовать инструменты, которые идут в комплекте.

@Слава57 · 02.07.2024, 00:29 **[ТС]**

Да, действительно, запомнил про new, то есть перекрытие, а вот перезапись, которая буквально делает то, что мне надо из коробки, забыл)

@IamRain · 02.07.2024, 00:37

К вопросу о производительности: виртуальные функции не инлайнятся, насколько я помню, то есть результирующий машинный код будет немного больше. Хотя я тут не спец.
Но это явно лучше чем проверки через рефлексию (is, as).

@golosalex · 02.07.2024, 09:50

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

Но это явно лучше чем проверки через рефлексию (is, as).

а эти проверки дорогие? я всегда думал что это быстрый поиск по какой-то таблице (например, адрес - тип) CLR.

@IamRain · 02.07.2024, 12:54

Ну рефлексия (получение информации о типе в рантайме) всегда считалась дорогой.
Несмотря на то, что в .NET-е убрали AppDomain-е (а именно динамическую загрузку AppDomain-ов в процесс), это деление на домены все еще присутствует в .NET-процессах. Всегда существует как минимум три AppDomain-а:
1. System Domain (тут хранятся внутренние структуры, необходимые для работы рантайма, недоступно из managed-кода)
2. Shared Domain (сюда грузятся все BCL-типы, в оригинале это - Shared - шареная область между всеми остальными доменами).
3. Default Domain - сюда грузятся типы нашего приложения.
Так вот, каждый domain имеет свой набор Heap-ов под различные нужды, одно из них - High Frequency Heap - тут содержатся объекты, доступ к которым осуществляется очень часто, поэтому страницы этой область памяти кэшируются. И информация отсюда никогда не выгружается, вплоть до завершения работы приложения. Экземпляры Type-объектов (метаданные типов), как раз находятся тут (интуитивно, на практике не проверял).

Так вот рефлексия, насколько я понимаю, это как раз необходимость прыгнуть из DefaultDomain в SharedDomain-->HighFreq Heap. А это не быстро.
С другой стороны, нечастые операции с рефлексией вполне себе можно использовать. Тут надо знать меру.
А против частых выкрутасов вроде is as - придумали паттерны.

All credits to: K.Kokosa.

@golosalex · 02.07.2024, 14:11

спасибо за ликбез, никак не соберусь прочитать эту книгу.

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

А против частых выкрутасов вроде is as - придумали паттерны.

специально против is as? или тут надо понимать что при правильном использовании паттернов вообще не нужно применять is as?
вот типичный пример: предположим, есть коллекция в которую навалены экземпляры базового класса с ID.
допустим из другого справочника мы получили id и знаем что этот id относится к экземпляру дочернего класса (алгоритмически в этом уверены). из коллекции получили поиском элемент базового класса и тут надо уверенно кастовать или для безопасности применить is as, если уверенности не так много. как тут паттерны могут помочь?

@IamRain · 02.07.2024, 14:26

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

или тут надо понимать что при правильном использовании паттернов вообще не нужно применять is as?

Я тут сходу не смогу дать вам обобщенный правильный ответ, надо смотреть конкретный сценарий.
virtual/override или abstract/override - это тоже шаблон проектирования, элементарный шаблон, называется делегирование реализации. То есть под ваш вопрос делегирование реализации тоже вполне себе подходит.

Когда требуется строгая типизация; нужно сделать так, чтобы базовый класс знал своих наследников, что как бы, рассуждая обобщенно, невозможно.
Но постойте-ка, современные шарповские инструменты умеют и в это, это реализуется с помощью generic-ов и CRTP-паттерна:

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
public interface IFluentOperations<TDerived>
    where TDerived : IFluentOperations<TDerived>
{
    TDerived FluentlyDoSomething();
    TDerived FluentlyDoSomethingElse();
    TDerived EnoughFluentForNow();
}
 
public class MagicOperations : IFluentOperations<MagicOperations>
{
    public MagicOperations FluentlyDoSomething()
    {
        // do something
        return this;
    }
 
    public MagicOperations FluentlyDoSomethingElse()
    {
        //do something else
        return this;
    }
 
    public MagicOperations EnoughFluentForNow()
    {
        // had enough!!!
        return this;
    }
}

@John Prick · 02.07.2024, 14:28

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

вот типичный пример: предположим, есть коллекция в которую навалены экземпляры базового класса с ID.
допустим из другого справочника мы получили id и знаем что этот id относится к экземпляру дочернего класса (алгоритмически в этом уверены). из коллекции получили поиском элемент базового класса и тут надо уверенно кастовать или для безопасности применить is as, если уверенности не так много. как тут паттерны могут помочь?

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

@IamRain · 02.07.2024, 14:32

У того же CRTP много возможных случаев применения:
1. Abstract data structures (some like linked list)
2. Fluent methods
3. Template method pattern
4. Default interface methods
5. Static interface methods and operators
Именно поэтому многие разработчики рекомендуют постоянно пополнять свой арсенал инструментов (изучать новые паттерны, смотреть на другие парадигмы, бла бла...).
И в зависимости от конкретной ситуации надо уже искать оптимальное решение, как-то так.

@golosalex · 02.07.2024, 14:57

Сообщение от John Prick

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

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

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию 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 На первой гифке отладочные линии отключены, а на второй включены:. . .

@Rius 13137 / 7697 / 1677 Регистрация: 25.05.2015 Сообщений: 23,483 Записей в блоге: 14
	01.07.2024, 23:47
	Множество раз в секунду это миллиарды? Можно интерфейсы использовать. Но не стоит заниматься преждевременной оптимизацией без данных профайлера. 0

@Слава57 1 / 1 / 2 Регистрация: 03.10.2021 Сообщений: 138
	02.07.2024, 00:29 [ТС]
	Да, действительно, запомнил про new, то есть перекрытие, а вот перезапись, которая буквально делает то, что мне надо из коробки, забыл) 0

@IamRain 4694 / 2702 / 734 Регистрация: 02.08.2011 Сообщений: 7,233
	02.07.2024, 00:37
	К вопросу о производительности: виртуальные функции не инлайнятся, насколько я помню, то есть результирующий машинный код будет немного больше. Хотя я тут не спец. Но это явно лучше чем проверки через рефлексию (is, as). 0

@IamRain 4694 / 2702 / 734 Регистрация: 02.08.2011 Сообщений: 7,233
	02.07.2024, 12:54
	Ну рефлексия (получение информации о типе в рантайме) всегда считалась дорогой. Несмотря на то, что в .NET-е убрали AppDomain-е (а именно динамическую загрузку AppDomain-ов в процесс), это деление на домены все еще присутствует в .NET-процессах. Всегда существует как минимум три AppDomain-а: 1. System Domain (тут хранятся внутренние структуры, необходимые для работы рантайма, недоступно из managed-кода) 2. Shared Domain (сюда грузятся все BCL-типы, в оригинале это - Shared - шареная область между всеми остальными доменами). 3. Default Domain - сюда грузятся типы нашего приложения. Так вот, каждый domain имеет свой набор Heap-ов под различные нужды, одно из них - High Frequency Heap - тут содержатся объекты, доступ к которым осуществляется очень часто, поэтому страницы этой область памяти кэшируются. И информация отсюда никогда не выгружается, вплоть до завершения работы приложения. Экземпляры Type-объектов (метаданные типов), как раз находятся тут (интуитивно, на практике не проверял). Так вот рефлексия, насколько я понимаю, это как раз необходимость прыгнуть из DefaultDomain в SharedDomain-->HighFreq Heap. А это не быстро. С другой стороны, нечастые операции с рефлексией вполне себе можно использовать. Тут надо знать меру. А против частых выкрутасов вроде is as - придумали паттерны. All credits to: K.Kokosa. 0

@IamRain 4694 / 2702 / 734 Регистрация: 02.08.2011 Сообщений: 7,233
	02.07.2024, 14:32
	У того же CRTP много возможных случаев применения: 1. Abstract data structures (some like linked list) 2. Fluent methods 3. Template method pattern 4. Default interface methods 5. Static interface methods and operators Именно поэтому многие разработчики рекомендуют постоянно пополнять свой арсенал инструментов (изучать новые паттерны, смотреть на другие парадигмы, бла бла...). И в зависимости от конкретной ситуации надо уже искать оптимальное решение, как-то так. 0

Как правильно вызывать перекрытую функцию?

Решение