Передать void в функцию

Конечно

вспоминается тупняк по недосмотру типа

// ...

void foo(int val);
void bar(int val);

// ...

void troll_your_reviewer(int val) {
// bunch of code
    if (val == 1) return;
    if (val == 2) return

// comments
// more comments

    foo(val);
    bar(val);
}

т.к. именование типа и значения одним ключевым словом обычно говорит о том, что значение единственно

значит то, что для процедур не нужно городить отдельный синтаксис как в паскале, а просто сообщить ключевым словом, что функция ничего не возвращает

З.Ы. от паскалистов видел такое вот, вдруг тебе от него легче будет:

typedef void procedure;

Отсюда можно сделать вывод

... что надо открыть стандарт и прочитать:

The void type comprises an empty set of values;

В C у пустых структур sizeof() == 0. Что не мешает создавать переменные типа пустой структуры, брать адрес этих переменных и передавать их в функции.

Ого, ништяк, я не знал. Спасибо. В крестах sizeof пустой структуры по стандарту ИМХО >= 1.

// test.c
#include <stdio.h>

struct penis {
};

int main(int argc, char **argv) {
  printf("size of penis: %zu\n", sizeof(struct penis));
  return 0;
}


// test.cpp
#include <cstdio>

struct penis {
};

int main(int argc, char **argv) {
  printf("size of penis: %zu\n", sizeof(penis));
}

$ clang -o test.c ./test.c && ./test.c
size of penis: 0

$ clang++ -o testcpp ./test.cpp && ./testcpp
size of penis: 1

Ого, ништяк, я не знал.

На самом деле, как выше заметили, это UB по стандарту. sizeof() == 0 это расширение gcc.

Действительно:

./test.c:3:1: warning: empty struct has size 0 in C, size 1 in C++
      [-Wc++-compat]
struct penis {
^
./test.c:3:1: warning: empty struct is a GNU extension [-Wgnu-empty-struct]

Когда ньюфаги пишут, что функция void f(<неважно>) ничего не возвращает, то их поправляют: «нет, вы не правы, ньюфаги, эта функция возвращает void»

Кто поправляет-то?

по стандарту ИМХО

спасибо, подиссонировал

Извините, был в задумчивости) s/ИМХО/ЕМНИП/

Ну так и пиши сообщения на С. Зачем ты на форум на русском пишешь?

anonimous-mode

Я понял. Ты местный демагог.

В своем глазу бревна не замечаешь?

Это допустимый код.

а я говорил что он не допустимый? Вполне себе допустимый =)

Нет такого значения, тип void есть, а значения void нет.

void f()
{
    return void();
}

Значения нет, а value initialization с типом void (приведено выше) скомпилируется как ни в чём не бывало.

Что за говн^Wчудо-язык!

тут ещё пока (вроде как) не упоминали «информация»

void-значение не несёт информации - буквально .

то что реализации позволяют быть одно(или несколько)байтным значениям у которых «несколько представлений NaN» это паразитность реализации.

Странно, что еще не набежали растеры с криками о том что у нас можно делать абстрактные типы-пустышки

UPD: точнее странно, что скалисты понабежали первыми

void-значение не несёт информации - буквально .

Отсутствие возвращаемого значения это тоже информация.

за это мы его и любим ^_^

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0146r1.html