Вопрос к знатокам и участникам стандартизации. Пусть есть статический интерфейс: template<typename T>

Question

Вопрос к знатокам и участникам стандартизации. Пусть есть статический интерфейс: template<typename T>

concept MyIntf = requires(T t) { .....

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

class MyClass final { ..... };

static_assert(MyIntf<MyClass>);

Никто не собирается её в ближайшее время засахаривать до чего-то вроде:

class MyClass final implements(MyIntf) { ..... };

Может уже лежит какой-нибудь пропозал? Или может уже предлагали и отвергли?

#c++ #embedded #programming #russian

0

24.05.2022

9 ответов

23 просмотра

Kelbon

я предлагал Concept struct A; которое означает что структура и все её специализации должны удовлетворять интерфейсу.

0

24.05.2022

Konstantin Vladimirov Автор вопроса

Ну типа разрешить вешать только на primary template и ограничивать так все специализации — вроде ничего ужасного.

0

24.05.2022

Ofee Oficsu

Konstantin Vladimirov
Ну типа разрешить вешать только на primary templat...

А что с частичными специализациями? Тут проблема в том, что семантически (в идеальном мире) хотелось бы, чтобы проверка работала для любой из возможных специализаций. А в современных плюсах максимум, что мы можем гарантировать – для любой инстанцированной специализации и получается не очень честно по отношению к пользователю, который пишет template<typename> class MyClass final implements(MyIntf) { ..... }; Отдельный static_assert в этом плане честнее

0

24.05.2022

Kelbon

Ofee Oficsu
А что с частичными специализациями? Тут проблема в...

ну так если не удовлетворяет после инстанцирования сразу ошибка компиляции

0

24.05.2022

Ofee Oficsu

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

0

24.05.2022

Kelbon

Ofee Oficsu
Если мы не инстанцировали шаблон – мы не получим о...

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

0

24.05.2022

Ofee Oficsu

Kelbon
мы пишем ограничение и получаем шаблон, специализа...

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

0

24.05.2022