Судя по всему, это тернарное выражение с void() в качестве одного аргумента компилируется:
void foo() {}
//...
a == b ? foo() : void();
Является ли void() допустимым выражением по стандарту или это просто компилятор? Если оно верно, то что это за выражение?
if(a==b){ foo(); } четче и имеет тот же эффект. 28.01.2020 void. (Хотя я буду первым, кто скажет, что то, что я не могу думать об одном, не означает, что оно не может существовать) 28.01.2020 void происходит из типа шаблона, а это выражение является аргументом для вызова другой функции. 28.01.2020 void() в качестве аргумента. 29.01.2020 void(): с SFINAE: template <typename T> auto bar(T t) -> decltype(func(t), void()) (тип возвращаемого значения — void) Или для обработки злой перегрузки оператора запятой: (f1(t), void(), f2(t)). 29.01.2020 void() бесполезен. Я знаю, что это очень полезно в метапрограммировании (вот почему std::void_t так важно). Я рассуждаю конкретно о a==b?foo():void(). Если бы вы поместили это выражение, например, в decltype, то вам действительно не нужен тернарный оператор, поскольку ни логическое выражение не будет проверено, ни foo() фактически не будет вызвано. То же самое для обработки оператора запятой. 29.01.2020 decltype(a == b ? foo() : void()) против decltype(a==b, void(), foo(), void()) (первый короче, даже если я предпочитаю последний). 29.01.2020 void() является допустимым выражением и дает значение prvalue типа void. В C++ 20 это будет расширено за счет включения void{}. Соответствующий раздел для этого: [expr.type.conv]/2
Если инициализатор представляет собой одиночное выражение в скобках, выражение преобразования типа эквивалентно соответствующему выражению приведения. В противном случае, если тип —
cv void, а инициализатор —()или{}(после расширения пакета, если есть), выражение представляет собой значение prvalue указанного типа, не выполняющее инициализацию. В противном случае выражение является значением prvalue указанного типа, объект результата которого инициализируется напрямую с помощью инициализатора. Если инициализатор представляет собой необязательный список-выражений в скобках, указанный тип не должен быть типом массива.
В дополнение к другим ответам, из здесь:
void — тип с пустым набором значений. Это неполный тип, который не может быть завершен (следовательно, объекты типа void запрещены). Нет ни массивов пустоты, ни ссылок на пустоту. Однако указатели на void и функции, возвращающие тип void (процедуры на других языках), разрешены.
Это означает, что вы можете инициализировать свой тип void любым значением a == b ? foo() : void(1) или a == b ? foo() : void(1111), но он ничего не выполнит и все равно будет успешно компилироваться.
void{}должен компилироваться, но не компилируется. Согласно этому должен. Но почему это не так? 28.01.2020