回答編集履歴

- 非配列オブジェクトを指すポインタが配列の先頭を指すポインタと互換性を持つ条件が何かについては後で調査しますが、少なくともその例示は許可されません。なぜならnull終端が保証されないからです。