Топ 100 вопросов про C++ Concepts

Коллекция из 100 самых популярных вопросов про c++-concepts с ответами и комментариями.

1Почему мы требуем, требует, требует?

2Требования к новым итераторам

3Почему unique_ptr не является равенством_comparable_with nullptr_t в С ++ 20?

4Как использовать понятия в if-constexpr?

5Наличие как оператора ==, так и оператора != нарушает некоторые понятия

6Есть ли способ использовать декларацию использования внутри выражения-требования?

7C++20: концепции нескольких типов и их ограничения, правильный синтаксис?

8Применяется ли подчинение ограничений только к концепциям?

9Почему разные компиляторы ведут себя по-разному с этими выражениями require?

10Почему при уточнении концепции нельзя использовать краткий синтаксис

11Может ли оценка концепции зависеть от того, где она оценивается?

12Почему добавление «&& true» к ограничению улучшает перегрузку шаблона функции?

13Основные понятия C++20: нормализация ограничений

14Как определить рекурсивное понятие?

15Почему алгоритмы диапазонов несовместимы с итераторами std?

16Концепция, требующая определенного возвращаемого типа члена

17Передача перегруженной функции, ограниченной концепцией

18Почему тип CopyConstructible также должен быть MoveConstructible?

19В каком контексте управления доступом оцениваются концепции?

20Непоследовательное поведение std::common_reference_with для кортежей. Что правильно?

21Как определить в C++20 концепцию проверки соответствия типа какому-либо из типов в списке типов

22Включение функций-членов шаблонов классов с использованием концепций

23Недопустимое выражение ограничения

24Концепции С++: насколько строго соблюдаются положения в предложении «require»?

25Отключить специализацию классов с помощью концепций

26Что такого противоречивого в AFT (шаблонах сокращенных функций)?

27Выведение шаблона и неявный пользовательский оператор преобразования

28Declval<_Xp(&)()>()() - что это означает в приведенном ниже контексте?

29Является ли gcc неправильной оценкой std::declval в этом определении концепции?

30Предложение Requires появляется после параметра шаблона шаблона: это допустимая грамматика?

31Неоднозначная специализация шаблонов с понятиями и реальными типами: какой компилятор прав?

32Как включить функцию-член шаблона класса, только если был предоставлен аргумент шаблона?

33Может ли концепция быть объявлена устаревшей?

34Должна ли разница_типа быть сравнимой?

35Сравните концепцию с типом

36Учитывая концепции, являются ли помощники SFINAE все еще в спецификации как нерекомендуемые?

37Массив указателей концепций

38`std::is_trivyly_copyable` разногласия между GCC и Clang для оболочки типа

39Как я могу проверить, достаточна ли моя концепция для реализации моей функции?

40Заставить свойство типа работать для всех производных типов

41Позволяет ли использование концепций использовать decltype для функции-члена

42Для «концепции A = ...;», должны ли «требуется A» и «требуется (A)» быть идентичными?

43Разрешение перегрузки функций с ограничениями

44Концепции C++: проверка экземпляра шаблона

45Неоднозначность вызова функции шаблона с ограничениями по концепции

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

47Поведение концепций с параметром шаблона по умолчанию

48Концепции C++20 и неполные типы

49Изменяется ли тип std::vector<int>::iterator, когда вы увеличиваете его с помощью «++»?

50Параметры шаблона, ограничивающие тип, внутри концепции

51Как включить/отключить функцию в зависимости от размера массива?

52Есть ли разница между «inline constexpr bool» и «concept»?

53Влияют ли ограничения в разрешении перегрузки на различия в квалификаторах типов?

54Как ограничить шаблон класса, отключив аргумент типа самой специализации, и почему это не работает?

55Понятие «равно» в концепциях C++20

56Концепции С++ видят функцию для моего типа, но не видят ее для std::vector

57Мотивация определения понятия «отношение» в C++20

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

59Сужение концепции C++ для исключения определенных типов

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

61Что-то вроде `declval` для концептов

62TS Concepts ограничение имени типа

63Функция C++ вызывается публично, несмотря на явное объявление частной

64В чем разница между использованием концепции напрямую вместо `typename` и использованием ключевого слова `requires`? Или это просто вопрос стиля?

65Почему компилятор проверяет эту концепцию и выдает ошибку?

66Как объединяются немедленно объявленные выражения ограничений типа?

67Специализация частичного класса C++20 с концепциями и аргументами шаблона с переменным числом аргументов

68Как использовать decltype(T::member) для члена, которого может не быть в T

69Как проверить, является ли тип shared_ptr статическим <type>?

70Непоследовательное поведение между gcc и clang при использовании концепций С++ 20

71Как объявить сигнатуру общих функций более высокого порядка с понятиями в С++ 20?

72Отключение функции, которая использует ограничение концепции, если концепция не соблюдается

73Ограничения шаблона на перегрузку оператора не работают должным образом

74Понимание концепций. Проверить, является ли член статическим

75Допустимые формы внеклассовых определений функций-членов шаблона с конечными предложениями require

76Почему для ranges::view_interface<T>::size требуется конструктор перемещения

77Требуется позиционирование предложения в шаблонах функций C++20

78Можно ли вывести типы параметров в шаблонных функциях?

79Почему std::back_inserter_iterator не WeaklyIncrementable в RangeV3?

80Перегрузки функций-членов шаблона на основе концепций

81Разрывы в требованиях концепции

82В чем ценность специализации концепта, рекурсивно зависящей от самой себя?

83При голосовании за P1141R1 сколько типов выводится из нескольких выводимых параметров с одним и тем же ограничением?

84Идиоматический способ написать концепцию, которая гласит, что тип является std :: vector

85Тайна концепции C++ 20 с возможностью логического тестирования

86Использование библиотеки Clang: как проверить, соответствует ли класс концепции

87Использование if-constexpr и концепций для обнаружения экземпляра определенного типа расширенной политики

88Как предоставить альтернативу, если требования Концепции не удовлетворены?

89Порядок аргументов шаблона C++, влияющих на компиляцию

90Определение концепции со строгой проверкой типов аргументов метода

91Как избежать сбоя ограничения шаблона в невыбранном типе при использовании std::conditional?

92Вывести параметр шаблона, используя ограничение

93Как написать концепцию C++, которая проверяет, поддерживается ли тип numeric_limits или нет

94Способ обнаружения функции шаблона должен налагать более строгую концепцию

95Псевдоним для параметра шаблона класса в C++

96Почему boost::function_output_iterator не является std::output_iterator?

97Есть ли способ отменить ограничения?

98C++20 использует концепции для реализации интерфейсов классов

99C++ требует, чтобы число переменных шаблона было меньше N, но не удалось

100Использование шаблона переменных в ограничениях понятия приводит к ошибкам компиляции