c++ - 変数はスタック上で連続していますか?

Question

以下のコードの配列 a と b がメモリ内で連続しているかどうか疑問に思っています。

int main() {
    int a[3];
    int b[3];

    return 0;
}

a[0]、a[1]およびa[2]連続して同じである必要がありますが、に関連してどこに割り当てられるbかについての保証はありますか?ba

そうでない場合、強制して互いに隣接させる方法はありますaかb? つまり、スタック内で隣同士に割り当てられるようにします。