*(a + 1) + 1 // aはint型の配列

この式が返す値の型はaの次元数によらず
一定ですか?