DP
А можно ли концепт передать в другой шаблон как шаблонный шаблонный параметр?
ну через тип его можно кривовато протащить, но не уверен, что это то, что нужно
https://godbolt.org/z/nMfjhb
https://godbolt.org/z/nMfjhb
Size: a a a
2020 August 06
PK
концепт — это "угловатый", "выпуклый", "сериализуемый", там нет места параметрам
PK
например, что это за концепт такой, как "возможно сериализуемый" — впихнём бул?
ПК
концепт — это "угловатый", "выпуклый", "сериализуемый", там нет места параметрам
концепт это предикат над типом, почему нельзя сделать его High ordered, и например заюзать частичное применение - фабрику концептов
PK
концепты отнимают часть кейсов, для которых раньше нужен был сфинае, но это всё-таки и не полная замена, и не новая игрушка
PK
концепт это предикат над типом, почему нельзя сделать его High ordered, и например заюзать частичное применение - фабрику концептов
ну допустим, но какой-то есть пример удачный? я ни одного не вижу
D
Типа я хочу так
template <typename T, template <typename> concept IteratorConcept>
concept sequence = requires(T seq) {
{ std::begin(seq) } -> IteratorConcept;
{ std::end(seq) } -> IteratorConcept;
}
template <typename C>
requires sequence<C, std::input_iterator>
void for_each(const C& c) {
}
template <typename C>
requires sequence<C, std::random_access_iterator>
void sort(const C& c) {
}
PK
ну почему тэгами нельзя сделать?
AS
@unterumarmung @AsGreyWolf давайте без словесной дуэли и перехода на личности.
АК
концепт это предикат над типом, почему нельзя сделать его High ordered, и например заюзать частичное применение - фабрику концептов
согласен
АК
если можно юзать концепты, то почему нельзя делать функции, возвращающие концепты
АК
для шаблонов есть conditional_t, для концептов - нет
AF
В чём разница?
коньюнкции, дизбюнкции и уб на их основе
AF
Типа я хочу так
template <typename T, template <typename> concept IteratorConcept>
concept sequence = requires(T seq) {
{ std::begin(seq) } -> IteratorConcept;
{ std::end(seq) } -> IteratorConcept;
}
template <typename C>
requires sequence<C, std::input_iterator>
void for_each(const C& c) {
}
template <typename C>
requires sequence<C, std::random_access_iterator>
void sort(const C& c) {
}
почему ты не можешь повесить концепт "контейнер" на доставалку типа итератора?
AF
а в сорт проверять итератор через эту доставалку?
D
Приведи пожалуйста (псевдо)код, мне сложно воспринимать идеи через слова
AF
<T> using container_iterator = void;
<T> Requires is_same <begin(T), end(T)> using container_iterator = begin(T);
<T> requires input_iterator<container_iterator<T» void sort
<T> Requires is_same <begin(T), end(T)> using container_iterator = begin(T);
<T> requires input_iterator<container_iterator<T» void sort
AF
собственно певрое наверное на самом деле common_range а во втором лучше 2 концепта коньюнктом на рендж и итератор
AF
а лил тут даже уже есть random_access_range который написан именно так
BH
Есть конструкция вида
Что капсом - макросы (3 штуки). Пожалуйста, подскажите, как заставить последний макрос вернуть значение, которое уйдёт вторым параметром во второй макрос?
#define BEFORE_COPY_HDL( handler_name ) BEFORE_COPY_HANDLER( handler_name, GEN_UNIQUE_ID( MethodHandlerName ) )
Что капсом - макросы (3 штуки). Пожалуйста, подскажите, как заставить последний макрос вернуть значение, которое уйдёт вторым параметром во второй макрос?