合っている。
式の中では、配列型はポインタ型へ暗黙の変換を持つという規則がある。