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

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

3 голоса
1 ответ
Возвращение нового объекта из функции определяется с помощью понятия

Код #include <type_traits> template <typename N> concept Number = std::is_arithmetic<N>::value; template <typename T> concept VectorXY = req...

4 голоса
1 ответ
Какие неудачи замена не допускается требует оговорок?

Я пытаюсь написать функцию, которая возвращает истину, если все параметры шаблона уникальны. Псевдо-код: template<typename... Ts> auto types_are_unique() ->...

0 голосов
1 ответ
Концепция полиморфизма в C++

Короткий вопрос: как шаблонные функции ведут себя по-разному, на основании на поддержку концепции параметров. Я имею в виду, если тип T реализует некоторое понятие, т...

0 голосов
3 ответа
Частичная специализация с использованием понятия

Я просто читал примеры C++ 20 Концепции. Теперь я пытаюсь создать функцию, которая будет печатать, если данный тип является хэш-таблицы или не используя понятия, смеша...

0 голосов
0 ответов
Концепция проверки с использованием библиотеки диапазонов-v3

В этом блоге после, Я видел, Эрик Niebler объяснить его взять на себя проверку концепции. Это выглядело как хороший баланс между простотой и практичностью для меня, та...

3 голоса
1 ответ
Невозможно вывести тип заполнителя в концепции

Я пытаюсь повторить стандарт C++ 20 концепций с использованием понятия TS в GCC 8, так что я могу использовать их, прежде чем они будут доступны в стандартной библиоте...

4 голоса
1 ответ
Сужение вниз ++ концепции C, чтобы исключить определенные типы

Предположим, что я хотел бы перегружать оператор сдвига влево для ostreamс и все контейнеры. Это то, что я в настоящее время (компиляции с -fconcepts): #include <...

1 голос
2 ответа
несколько параметров шаблона в определении понятия

У меня есть понятие с несколькими параметрами шаблона template<typename T, typename U> EqualityComparable Могу ли я использовать это в template< Equalit...

27 голосов
2 ответа
Как использовать понятие, если-constexpr?

Как один концепции использования в if constexpr? Учитывая пример ниже, чем бы один дать if constexpr вернуться 1 в случае, если T отвечает требованиям integral и еще ...

10 голосов
1 ответ
Почему CopyConstructible типа также должны быть MoveConstructible?

Как указано в cppreference, Требование к типу T, чтобы быть CopyConstructible является то, что оно также может быть MoveConstructible. Проект для СТЛ CopyConstructibl...

0 голосов
1 ответ
Концепция не решает двусмысленность, как ожидалось. Что случилось с образцом кода?

Я экспериментирую с понятиями C++. Пытался неоднозначность шаблона «используя» статью, используя концепцию. Вот упрощенный пример: namespace A { template <typena...

2 голоса
1 ответ
Запрашиваемый во время выполнения, если альтернатива в варианте удовлетворяет некоторому концепции

У меня есть следующие код где я пытаюсь обнаружить, что концепция (функции-члены в данном случае) альтернативы в варианте имеет место. Это многословным и относительно ...

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...

8 голосов
1 ответ
Шаблон вычет по сравнению с неявным оператором преобразования определяемого пользователя

Я пытался реализовать небольшой пример определяемого пользователя преобразования типов, связанные с шаблонами. #include <cassert> #include <cstdint> #incl...

3 голоса
1 ответ
Как написать концепцию структурированных привязок?

При составлении следующей (приведенной) код: #include <tuple> #include <stdlib.h> template<size_t N> struct tying; template<> struct tying&lt...

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...

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

Я пытаюсь реализовать компактный способ обнаружения, если свободная функция доступна во время компиляции (я использую std::max в качестве примера). Я пришел с этим: #...

24 голоса
2 ответа
Простая проверка концепции

Скажем, у меня есть шаблон простой, как это: template&lt;typename T&gt; class A {}; И я хочу, чтобы указать, что тип-параметр T это какой-то несвязанный типа X&lt;U...

21 голос
2 ответа
C++ Концепции с несколькими аргументами шаблона

Бьерн Страуструп недавно опубликовал доклад на C++ понятия, где он упоминает то, что, казалось, для меня удивительно. Пример (в разделе 7.1) использует «шаблон сокраще...

6 голосов
2 ответа
Как правильно направить Invocable типы

Я действительно хотел бы использовать cmcstl2, Реализация диапазонов TS. Мне особенно нравится необязательные выступы на каждую STL-алгоритме. Invocable типы получить ...

0 голосов
2 ответа
Явная конкретизация для проверки концепции

У нас есть: template&lt;typename T&gt; struct A { void foo(int a) { T::foo(a); } }; template&lt;typename T&gt; struct B { template struct A&lt;T&gt;; // c...

0 голосов
0 ответов
Проверьте, если два класса имеет метод с той же подписью

Предполагать: struct A { int foo(int x); } template&lt;typename X&gt; struct B { int foo(int x); static_assert(B::foo has same sig as X::foo) } B&lt;A&...

4 голоса
2 ответа
Концепция класса с вложенными типами

Я пишу понятие, которое требует класса, чтобы иметь ValueType введите псевдоним и иметь статическую функцию Check который принимает ValueType и возвраты void. Вот то,...

3 голоса
1 ответ
Есть требующие-положения оценивали после подстановки параметров внутри деклараций?

В стандарте С ++, N4618/[temp.deduct] (§14.8.2), в следующем примере (§14.8.2/7) показывает, как шаблон подстановки параметров выполняется в лексикографическом порядке...

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...

3 голоса
1 ответ
Почему как переменный, так и понятие функции в C++ Концепции TS?

Я смотрел на С ++ 1z N4377 Понятия TS проект, который реализуется в GCC 6, и я не понимаю цели, имеющие два различных вида понятий: переменных понятий и концепций функ...

3 голоса
2 ответа
Что разница между C++ и концепции интерфейса?

Я понимаю, что C++ библиотеки концепции является C++, какие интерфейсы, такие как Closeable являются Java (как на связанный источник, понятия: именованный набор требов...

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

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

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

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

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

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

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

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

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

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

1 голос
1 ответ
Где я могу найти несколько примеров хороших в C++ для изучения объектно-ориентированных концепций?

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

7 голосов
3 ответа
Что использовать в качестве замены понятий (предстоящая функция) в C++?

Что использовать в качестве замены понятий (предстоящая функция) в C++? Возможно, вы слышали о концепции в C++. Это функция, которая будет позволяют определить требов...

12 голосов
1 ответ
Что такое техническая спецификация C++?

Понятия облегченный C++ (предложение N3701) функция не входит в стандарт C++ 1y, но говорят, он будет опубликован в качестве технической спецификации. Что это означает...

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

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

4 голоса
1 ответ
Моделирование C++ понятия с Scala чертами

Есть несколько примеров использования Scala черты как понятия C++ и классы типов Haskell в работе «Тип классы как объекты и Implicits». Я пытаюсь написать что-то вроде...

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

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

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

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

3 голоса
1 ответ
Разница между Scala и признаком понятиями C++

В чем разница между Scala черты класса типа Haskell и C++ 0x понятия? Как и в этом примере ниже, где наблюдатель объявить абстрактные член receiveUpdate Наблюдатель ф...

2 голоса
4 ответа
Концепция Проверка изменений в C++?

Я портирование через некоторый код из одного проекта в другой в моей компании, и я столкнулся с обобщенной функцией «sets_intersect», который не будет компилировать: ...

1 2 right