Вопросы с тегом 'c++-concepts'

Количество результатов: 21

3 голоса
1 ответ
Концепция состоит на основе шаблонов функций перегрузок

Пример того, как мы будем перегружать функции-членов шаблона класса шаблона в отсутствии понятий показан на этот фрагмент. Теперь примерно пытаясь написать что-то под...

2 голоса
2 ответа
Дизъюнкция в требовании концепции

требует выражения как правило, выглядит следующим образом: requires ( parameter-list(optional) ) { requirement-seq }. Можно ли сформировать дизъюнкции (||) в качеств...

8 голосов
3 ответа
Отключить специализацию класса, используя понятия

Я реализую свою собственную версию std::span используя Концепции TS. Я застрял реализации эти конструкторы: template<class Container> constexpr span(Container&a...

154 голоса
5 ответов
Почему мы требуем требует требует?

Один из углов концептов C++ 20 заключается в том, что есть определенные ситуации, в которых вы должны написать requires requires. Например, этот пример из [Expr.prim.r...

1 голос
3 ответа
Концепции C++: проверка на создание шаблона

Предполагая, что у меня есть шаблонный тип, например template<typename A, typename B, typename C> struct mytype { }; Как мне написать концепцию, которая прове...

0 голосов
0 ответов
Именованные требования/Наличие стандартных концепций

Можно ли получить доступ/использовать любую из стандартных концепций (список стандартных концепций?) или же Именованные требования на существующем наборе компиляторов?...

0 голосов
1 ответ
Как мне обработать " предупреждение: использование «auto» в объявлении параметров доступно только с -fconcepts "

Это код, который вызывает предупреждение: inline auto getclock() { return std::chrono::steady_clock::now(); } inline auto getelapsed(auto b, auto e) { return std::chr...

4 голоса
1 ответ
Почему положить концепцию спецификатор типа сбоя типа вычету когда же ограничение должно выводить различные типы?

У нас есть: template <typename ...T> concept bool Numerics = ( std::is_arithmetic_v<T> && ... ) ; template <typename T> concept bool Nume...

0 голосов
1 ответ
Почему VARIADIC шаблон не работает при внедрении шаблонов, но работать в требует придаточного? ConceptName {Т, U, V, W} <- шаблон <Ьурепат... T>

У нас есть: template &lt;typename ...T&gt; concept bool Numerics = ( std::is_arithmetic_v&lt;T&gt; &amp;&amp; ... ) ; template &lt;typename T&gt; concept bool Nume...

11 голосов
1 ответ
Позволяют ли C++ Concepts моему классу при объявлении/определении указывать, что он удовлетворяет определенной концепции?

В настоящее время лучший способ, который я могу придумать, - это использовать static_assert, но я бы предпочел более хороший способ. #include &lt;set&gt; #include &lt...

1 голос
2 ответа
Чем Mixins отличаются от политико-ориентированного дизайна в C++

Я читал различные источники, которые пытаются объяснить Mixins с точки зрения C++. Кажется, все они объясняют приложения Mixin, которые кажутся не чем иным, как станд...

3 голоса
1 ответ
Описание предиката с помощью C++ Concepts TS

Представьте себе реализацию std::all_of в будущем стандарте C++ как таковом: // constraining InputIt doesn't concern this question template&lt;typename InputIt, typen...

4 голоса
1 ответ
Как кратные выражения, используемые в полуупорядоченности ограничений?

§14.10.3 Частичное упорядочение ограничениями [temp.constr.order] из N4553 указует, что ограничительные выражения, образованные из понятий и логических операторов долж...

1 голос
4 ответа
Реализация функции по умолчанию для параметра шаблона C++

У меня есть набор классов, которые используются в качестве параметров для шаблонов. Все они соответствуют некоторому неформальному интерфейсу (a.k.a. концепция) templ...

0 голосов
1 ответ
Не нарушают ли передаваемые лямбды инкапсуляцию, когда они используют переменную-член private

Я написал функцию для передачи в сторонний класс. Статическая функция работала нормально, пока ей не потребовался доступ к закрытой переменной-члену. Я могу сделать эт...

13 голосов
1 ответ
Почему для концепции Sortable требуется полностью упорядоченный тип значения, тогда как для std :: sort требуется только " меньше чем " сравнимый?

в последняя статья о концепциях N3701, есть следующий пример с sort алгоритм: template&lt;typename Cont&gt; requires Sortable&lt;Cont&gt;() void sort(Cont&amp; cont...

4 голоса
3 ответа
#define как обходной путь для отсутствующих понятий

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

4 голоса
5 ответов
Существует ли концептуальное имя для обычного типа, для которого сравнения не сравнивают полное состояние объекта?

У меня есть набор типов, который выглядит следующим образом: struct MyFlag { SomeId source_id; // INVALID_ID by default SomeData data; // regular type ...

4 голоса
2 ответа
Проверка функции-члена: реализовать проверки во время компиляции с помощью функций C++ 11

Я читал, что C++ 11 имеет достаточную статическую проверку (время компиляции), чтобы реализовать большую часть того, что должно было быть проверкой концепций C++ 11 (у...

3 голоса
0 ответов
Как реализовать концепции в C++ 11

Где я могу увидеть, как концепции реализуются строго с использованием языка C++ 11 и библиотечных функций? Я предпочту простую библиотеку, чтобы начать использовать ее...

5 голосов
1 ответ
В чем разница между концепциями c ++ 0x и ограничениями c #?

C++ 0x вводит понятия, которые позволяют вам определить, в основном, тип типа. Он определяет свойства, необходимые для типа. C# позволяет вам указать ограничения уни...