История изменений

А в стандарте он определен так, потому что работает до генерации кода.

Опять же, потому что в стандарте так определено

Нет. Почитай о том, как оно работает.

Технически ничего не мешает подставлять результат sizeof на этапе линковки

void foo()
{
  char buf[sizeof(struct bar)];
}

Подставь.

Технически ничего не мешает подставлять результат sizeof на этапе линковки

void foo()
{
  char buf[sizeof(int)];
}

Подставь.

Технически ничего не мешает подставлять результат sizeof на этапе линковки

void foo()
{
  char buf[sizeof(int)];
}

Подставь