最近の検索
検索オプション
void の void は虚無なんだけど、 void * の void は虚無ではなく「型がない」という意味 (一貫性のNASA)
あと C の void の一貫性の NASA といえば、 void が unit 相当なのか bottom 相当なのかも微妙な感じよな (個人的には unit であろうという印象を持っている)
その解釈に従うならば、「void 型を返す関数」が実際に返しているのは「ただ一つの (実質何の意味もない) 値」であって、これがバイナリレベルではナンセンスなので省略される、みたいな理解をするのが (直観的には) 自然かもしれない
(void)unused_arg;
とか、何やってんだお前という感じはある