java:view

(java:view value items shape &optional printer order class)

value を代理する読み取り専用の Java コレクションを作ります。要素は items を Object 引数と同じ規則で変換したもので、変換は作るときに一度だけ行います。:bytes のときはコレクションではなく、オクテットのベクタを Java の byte[] として渡します。shape はキーワードです。

Java はこれらのインターフェースを通して読みます。equals と hashCode はそれぞれの規約どおりで、書き込みはすべて UnsupportedOperationException を投げます。toString は (printer value) が返す文字列です (printer がなければ Java の綴り)。:vector のビューは order で順序付けられます。order は java:handle の順序関数と同じく、値と比較相手のオブジェクトの Lisp の値で呼ばれます。order がなければ何とも順序付けられません。class は Java のメッセージがビューを呼ぶクラス名です。Java がビューを返すところではどこでも、java: は value を返します。JVM 専用の java 連携パッケージの一部であり、インタプリタと JVM クラスへのコンパイルの両方で利用できます (WASM バックエンドでは利用できません)。Java 連携ガイドを参照してください。

引数としてのビューは、そのクラスのホストオブジェクトです。クラスが合う引数 (List、Collection、Iterable、Object など) には、ビューそのものが渡ります。Java の配列が期待される箇所では、:list と :vector のビューは要素の配列に変換されます。ただしこの変換は、ビューをそのまま渡す方法がすべて合わないときに限られるため、可変長引数のメソッドはビューを一つの要素として受け取ります。:set と :map のビューは、クラスが合わない箇所には渡りません。

:bytes のビューはコレクションではなく、Java がビュー自体を保持することはありません。byte[] が合う箇所 (byte[]・Object・Cloneable・Serializable の引数、別のビューの要素) にはオクテットの byte[] が渡り、それ以外の箇所には何にも変換されません。この配列はベクタ自身の格納領域です。そのため Java が書き込んだ値は、呼び出し中のものも後からのものもベクタから読めます。1 回の呼び出しに同じベクタを 2 度渡すと、Java には 1 つの配列として見えます。printer と class は使いません。byte[] をオクテットのベクタとして受け取るには、:octets で終わる呼び出しを使います。

5 つのどれでもない shape、シーケンスでない items (:map ではハッシュテーブルでも偶数長の plist でもないもの、:bytes では (unsigned-byte 8) のベクタでないもの)、関数でも nil でもない printer、関数でも nil でもない order (関数を渡せるのは :vector だけ)、文字列でも nil でもない class はエラーです: java:view expects (java:view value items :list|:vector|:set|:map|:bytes [printer [order ["class"]]]), got :TREE。Object に変換できない要素は java:view: no Java value for X になります。オブジェクトのクラスは am.ik.rontolisp.runtime.RontoJava*View です。インタプリタも同じクラスを使い、コンパイル済みプログラムはこのクラスを隣に置いて、リフレクションなしでビューを作ります。