Template<Class, class Key = void> class Type { void perform_key_action()

Question

Template<Class, class Key = void> class Type { void perform_key_action()

{
static_assert(!std::is_same_v<Key, void>, "no key");
key().method();
}
}
Что поменяется с отсутствием Статик ассерта? Если у нас этот метод никак расширяться не может и точек кастомищации 0

#c #embedded #programming #russian

0

23.11.2021

3 ответов

28 просмотров

Слава Автор вопроса

Ofee Oficsu
>> Что поменяется с отсутствием Статик ассерта? В...

Так к каким ошибкам в данном случае это приведет, если это по сути проверка инврианта

0

23.11.2021

Ofee Oficsu

Слава
Так к каким ошибкам в данном случае это приведет, ...

Из приведённого выше примера — это не так, и проверка полностью зависит от входных данных (предоставления/не предоставления пользователем Key). Правильный вариант решения — и вовсе убрать дефолтный параметр, тогда никаких проверок и не нужно. Но если же это какая-то полностью приватная часть библиотеки, лежащая в mylib::detail::, и пользователь никогда с ней не взаимодействует, то так, пожалуй, можно сделать

0

23.11.2021

Ofee Oficsu · Accepted Answer

>> Что поменяется с отсутствием Статик ассерта? Вы неверно поняли мою мысль. Нужно не static_assert убрать, а добавить адекватную проверку входных данных — концепты. В крайнем случае повесить SFINAE на perform_key_action, чтобы ошибки отлавливались в сигнатуре, а не отложенно через static_assert. Потому что отложенная проверка хоть и позволяет написать читаемое сообщение с ошибкой, но имеет ряд проблем как, например, приведённый пример выше

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

Template<Class, class Key = void> class Type { void perform_key_action()

3 ответов

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