[*]Tによる複数要素ポインター

ポインタが1つの値ではなく、メモリ上に並んだ値の連続領域の先頭を指すことがあります。🧱

複数要素ポインタは [*]T と記述します。角かっこ内の星印は、連続する T 値を未知の個数だけ指すことを意味します。

slice とは異なり、複数要素ポインタには長さがありません。安全にアクセスできる要素数は、自分で把握する必要があります。

複数要素ポインタには角かっこでインデックス指定できます。したがって run[2] はメモリ上を進み、3番目の要素にアクセスします。

複数要素ポインタに加算すると、要素単位で移動します。そのため run + 1 は1バイト先ではなく、T 1個分先を指します。

*T は正確に1つの値を指し、インデックス指定できません。一方、[*]T は複数の値を指し、インデックス指定とポインタ演算に対応します。

複数要素ポインタは、C と連携するときによく登場します。C ではバッファへの裸のポインタを渡し、長さを別に管理するためです。

長さが不明なため、複数要素ポインタのインデックス指定には境界チェックがありません。遠くまで読み取ると未定義動作になります。

コードを自分で管理できる場合は、長さをまとめて保持するslice []T のほうが安全です。[*]T は主に C との境界で使います。

個数がわかったら、ptr[0..n] で長さを付加し、複数要素ポインタを安全な境界チェック付き slice に変換できます。

Zig には [*:0]u8 のような sentinel 終端形式もあります。これは 0 バイトのような既知の値で連続領域の終端を示すポインタです。

slice []T と複数要素ポインタ [*]T を比較してください。複数要素ポインタにないものは何ですか？

複数要素ポインタ [*]T は値の連続領域を指し、インデックス指定とポインタ演算に対応しますが、長さを持ちません。可能な場合は slice に変換するのが最適です。🎯