4

Пример:

template<typename T>
concept SequenceContainer = Container<T> && requires (T a)
{
    { a.front() } -> typename T::reference;
    /* requirements */
};

Здесь мы требуем, чтобы тип возвращаемого значения был неконстантной ссылкой. Но если a имеет тип const T - очевидно, правильно добавить дополнительное требование, указав, что "если a имеет тип const T, то вызов член-функции front() должен вернуть const_reference":

template<typename T>
concept SequenceContainer = Container<T> && requires (T a, const T b)
{
    { a.front() } -> typename T::reference;
    { b.front() } -> typename T::const_reference;
    /* requirements */
};

Вопрос: существует ли способ не указывать второй параметр - const T b, а каким-то образом сообщить, что в данном требовании тип a следует рассматривать как const T? Я не нашел ничего подходящего ни на en.cppreference.com, ни на eel.is.

Т.е., в идеале хотелось бы что-то вроде:

{ a.front() const } -> typename T::const_reference;

Если такого способа нет и нужно делать так, как описано выше (второй параметр с типом const) - при возможности поделитесь ссылкой на соответствующий пункт в стандарте (я про черновик, разумеется).

6
  • Кстати, я слышал -> typename вроде убрали из стандарта? Теперь вместо него std::same_as. 4 дек 2019 в 18:19
  • @HolyBlackCat, интересно, не знал. А как быть, если я просто хочу добавить требование для наличия типа? P.S. Извиняюсь за "требование", пользуюсь буквальным переводом, и не знаю, каким русским аналогом заменить. Или это касается только типов возвращаемого значения?
    – isnullxbh
    4 дек 2019 в 18:21
  • Не знаю, не разбирался пока с концептами... 4 дек 2019 в 18:24
  • @HolyBlackCat, понятно, спасибо за информацию. Буду иметь ввиду.
    – isnullxbh
    4 дек 2019 в 18:24
  • Чисто эстетическое замечание: может сразу константность убирать в шаблонном параметре и работать с реальным типом, а const спецификатор добавлять по мере необходимости? 4 дек 2019 в 19:42

1 ответ 1

4

В голову приходит несколько вариантов:

  • std::as_const(a).front()

  • std::declval<const T &>().front()

1
  • Кажется, это то, что нужно. Cпасибо!
    – isnullxbh
    4 дек 2019 в 18:17

Ваш ответ

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

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