Что такое экземпляр void?

Question

[EugenePavlov]

Здравствуйте. Увидел такую вещь:

#ifdef NDEBUG
#define LOGGER() (true) ? void() : Logger()
#else
#define LOGGER() Logger()
#endif

А также вот это:

void foo(void)
{
    return void(); // ?!?!
}

Что это? Зачем это? Как это работает?

Comments

[Евгений Шатунов]

EugenePavlov , покажи источник, где ты это все увидел.

Answer 1

[Victor Bomberow]

#include <iostream>
using namespace std;

int main() {
	cout << int() << endl;
	cout << double(78) << endl;
	
	cout << bool(-1) << endl;
	
	// void r = void();
	// error: void value not ignored as it ought to be
	
	void();
	void(42);
	return 0;
}

Вывод:
0
78
1

Это синтаксический сахар, который можно понимать, как конструктор встроенного типа, но фактически это работает, как приведение к типу

(int)0, (double)76, (bool)-1 соответственно

и вызова конструктора не происходит.

Т.е. при компиляции вместо void() произойдет (void)0, результатом будет void. Функция foo возвращает void, потому что это "обратная совместимость" с языком C.

Comments

[Евгений Шатунов]

Vito Ombero , разверни, пожалуйста, подробнее этот момент:

Функция foo возвращает void, потому что это "обратная совместимость" с языком C.

Какую конкретно роль тут играет обратная совместимость?

[Victor Bomberow]

Евгений Шатунов, старые компиляторы C могут ругаются на отсутствие return void;
в функциях void foo(void), мол, в каждой функции должен быть return.

[Евгений Шатунов]

Vito Ombero, а ты можешь показать относящиеся к стандарту C документы, где описано такое требование?
Дело в том, что я о подобном требовании даже для самых ранних стандартов C не знаю. А в C++ эта функциональность является не элементом совместимости, а инструментом с конкретными целями. В функции с типом результата void при выходе разрешено обращаться к утверждению с типом результата void. Это позволяет многократно упростить некоторые шаблонные конструкции и некоторые последовательные вычисления.

Требование что-то возвращать я помню из более ранних языков, с которых пользователи в свое время переходили на C. Людям исключительно эмоционально было неудобно оставлять функцию без return. Отсюда и появился бессмысленный пустой retrun в конце void-функции на языке C.

[Victor Bomberow]

Мне надо было сразу просто написать, что return void компиляторы позволяют не писать, но это семантически труъ.

Answer 2

[Владислав Лысков]

Это функция, которая ничего не возвращает