>>3
局所変数は関数内で有限個だから、コンパイル時に種類と個数を（どうにかして）数え上げれば、スタック上に準備すべきサイズもわかります。
実行時に求めるわけではありません。コンパイル時に判明することです。