配列の要件ってインデックスで要素にアクセスすることくらいじゃないの？
要素のポインタをとって操作できる言語以外は実際の記憶領域が連続かそうでないか
判断する術はないと思うが。