Предположим, есть такой код, в котором foo1 и foo2 являются

Question

Предположим, есть такой код, в котором foo1 и foo2 являются

пользовательскими функциями, а всё остальное — библиотечное. Сейчас код не компилируется из-за того, что пользователь написал sfinae-unfriendly foo1

Способы заставить код компилироваться:
1) пользователь просто убирает вычисление noexcept
2) пользователь пишет foo1 правильно
3) мы со стороны библиотеки переписываем bar так, чтобы исключить вызов foo1 при возможности вызвать foo2

Должен ли я как разработчик библиотеки предпочесть третий вариант решения? Или же написание корректного кода должно быть ответственностью пользователя? Ведь третье решение скрывает проблему, а не решает её

#c++ #embedded #programming #russian

0

28.11.2020

8 ответов

32 просмотра

Ofee Oficsu Автор вопроса

Vlad
я правильно понимаю, что foo1 вызывается не потому...

Да, именно так

0

28.11.2020

Vlad

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

0

28.11.2020

Ofee Oficsu Автор вопроса

Vlad
мне кажется, что запрещать пользователю вычислять ...

Дело в том, что проблема пользователя не в вычислении noexcept, а в том, что он написал функцию, которая вне sfinae-контекста делает что-то с заранее неизвестным типом, и это стреляет в ногу таким странным образом. Более правильным решением со стороны пользователя было бы сделать вызов foo1 ill-formed в sfinae-контексте (например, взять второй мой вариант решения или повесить концепт на Fn). Т.е. правильным контрактом было бы требовать от пользователя предоставлять sfinae-friendly реализации функции На нормальную перегрузку перейти не получится, ибо это минимально-воспроизводимый пример, в оригинале одна foo, имеющая две перегрузки с разными тегами и весь набор шаблонной магии, включая очень глубокие рекурсии

0

28.11.2020

magras

А нужен ли trail type в bar_impl? Если использовать просто вывод типа через auto оно собирается.

0

28.11.2020

Vlad

magras
А нужен ли trail type в bar_impl? Если использоват...

очень зависит от тела bar_impl trail return type с конкретным decltype в этом отношении куда надежнее

0

28.11.2020

Ofee Oficsu Автор вопроса

magras
А нужен ли trail type в bar_impl? Если использоват...

Тогда мы сами напишем sfinae-unfriendly имплементацию на стороне библиотеки. Для корректной пользовательской реализации мы бы хотели получить ошибку внутри decltype(), а не в теле bar_impl. Потому что в первом случае это ещё не гарантированная ошибка компиляции, а во втором случае — уже гарантированная

0

28.11.2020

magras

Ofee Oficsu
Тогда мы сами напишем sfinae-unfriendly имплемента...

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

0

28.11.2020

Vlad · Accepted Answer

Vlad

я правильно понимаю, что foo1 вызывается не потому, что bar_impl(double) выбран, а как часть процесса разрешения перегрузки/инстанциации шаблона?

0

28.11.2020

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

Предположим, есть такой код, в котором foo1 и foo2 являются

8 ответов

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