170 похожих чатов

Хочу перейти с виртуального интерфейса на статический. Если упрощенно, то

вместо:

struct I { virtual void foo() { /* nothing */ } };
struct A : I { void foo() final { /* impl */ } };
struct B : I { /* no foo */ };

Иметь

struct A { void foo() { /* impl */ } };
struct B { /* no foo */ };

Я могу отличить A от B, проверив статически наличие void foo(), но есть нюанс - нет аналога final/override. То есть, если я ошибусь в сигнатуре функции или опечатаюсь в названии, компилятор меня не поправит. Есть способ решить эту проблему? Я думал в сторону каких-нибудь варнингов, которые будут реагировать на неиспользуемый метод. Компилятор - gcc.

7 ответов

3 просмотра

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

придется ждать метаклассы) https://www.youtube.com/watch?v=drt3yXI-fqk

Аналог финала я помню хотел как бумажку в ИСО оформить

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

Полиморфизм то где? Если у тебя полиморфизм на шаблонах (статический), то там всё просто. Если при интанцировании и использовании не будет такого метода, то не скомпилируется.

С точки зрения статического полиморфизма произошедшее не является ошибкой, но факт "наследования" ты просто указываешь через static_assert

Короче, или static_assert что foo есть, равносильный ": I" у тебя провалится, или пиши новый пример

Похожие вопросы

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
еще вопрос, допустим мы создадим char массив из 10 элементов и присвоим ему через сканф 10 символов. и выведем все символы. Хотел спросить последний элемент /0 будет включать...
Anthem
10
открыть папку в проводнике: 1 - ShellExecute 2 - ExecuteProcess 3 - OpenDocument что лучше выбрать?
Alexey Kulakov
12
Изменение типа с SomeException на String и правда удобней @cheese_hs . А вот такой вариант насколько некрасив еще? loadConfigDB :: IO (Either String ConfigDataBase) loadConfi...
Camara
7
Где в Астане можно купить мясо для шашлыков?
Dancing Іңұқәһүғө
21
Карта сайта