Какой синтаксис требует, чтобы переменная шаблона была недействительной?
Есть ли способ написать выражение requires requires, чтобы понять, что параметр шаблона недействителен?
Я считаю допустимым сделать значение std::is_void_v<ParmThree> параметром шаблона. Однако я не могу сформулировать синтаксис для проверки этого в требовании — на предмет истинности или ложности.
Является ли это возможным? Как это сделать?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
0
0
67
1
Перейти к ответу
Данный вопрос помечен как решенный
Ответы 1
Ответ принят как подходящий
requires requires работает, потому что вложенный (второй) requires возвращает логическое значение.
Поскольку у вас уже есть логическое значение, вы можете просто сделать requires std::is_void_v<T>:
template <typename T>
requires std::is_void_v<T>
struct A {};
Другие вопросы по теме
Какие языковые правила определяют, что `T&&` в шаблонном аргументе функции array-by-&& *не* является ссылкой на пересылку?
Объяснение вывода аргумента функции шаблона C++ при сопоставлении `T const &&t` с `int const *`
Вывести полный тип родителя из одного из его параметров шаблона
Можно присвоить объект другому с другим типом
Как компоновщик разрешает несколько определений шаблона функции в разных объектных файлах, но допускает только одно определение обычных функций
Ошибка выбора правильного оператора == с MSVC, но не gcc/clang для шаблонного класса
Выдать объект исключения ZeroCheck, если знаменатель равен 0
Использование jinja2 между кавычками/настройка встроенных стилей с помощью jinja2
"неопределенная ссылка на `operator>>(std::istream&, Complex<int>&)" для шаблона Complex<T>
Как вы обрабатываете встроенный режим tinyMCE при создании редактора шаблонов электронной почты?
Похожие вопросы
Самый быстрый способ вставить символ в начало строки на С++?
Как разделить строку и записать каждое разделение как отдельную переменную С++
Возврат Rapidjson::GenericValue из функции
Передача сообщения в std::exception из управляемого кода в неуправляемый
OpenGL как создать сферу из полусферы в С++
Как перебрать действие range-v3?
Как я могу заставить это работать и есть ли способ оптимизировать это?
Почему я получаю «запрещает преобразование строковой константы в« char * »» в C++?
Необходимо сохранить результат http-запроса cURL в виде карты на С++
Как вводить команды С++
Благодарю вас! Это именно то, что я искал.