3

Как при помощи type traits или концептов понять, что тип std::optional<int> и std::optional<double> - это инстанцирование одного и того же класса std::optional? Как написать функцию, которая бы принимала функцию, которая возвращает std::optional<T>, где T - это любой его тип? У меня загвоздка именно в том, что я не знаю как определить, что функция возвращает именно optional.

0

1 ответ 1

4
template <typename T> struct IsStdOptional : std::false_type {};
template <typename T> struct IsStdOptional<std::optional<T>> : std::true_type {};

Дальше как угодно. Можно в лоб:

template <typename F>
void foo(F &&func) requires IsStdOptional<decltype(std::forward<F>(func)())>::value {}

Можно так:

template <typename T>
concept StdOptional = IsStdOptional<T>::value;

template <typename F>
void foo(F &&func) requires requires{{std::forward<F>(func)()} -> StdOptional;} {}
3
  • Я со всей этой стандартной библиотекой уже забыл, что можно сделать свое)
    – ComeInRage
    Commented 28 мая 2022 в 17:55
  • А насколько можно это сделать универсальным? Например common_template<T, M>, который вычислял бы общий тип двух его инстанцирований?
    – ComeInRage
    Commented 28 мая 2022 в 18:04
  • 1
    @ComeInRage Про общий тип не понял. Можно так, тогда -> StdOptional превращается в -> specialization_of<std::optional>. Но есть минус - typename... принимает только параметры-типы, поэтому specialization_of<std::array> (у которого второй параметр - не тип) не работает. Чтобы поддерживать любые шаблоны, надо городить 2^N версий со всеми комбинациями auto и typename. Commented 28 мая 2022 в 18:16

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.