Я заметил, что распределитель в C ++ предоставляет специализацию для типа void. Есть ли для этого какая-то особая цель? Не имеет смысла выделять память для типа void, верно?