オブジェクトとメンバ

この章では、#Script におけるオブジェクトについて定義する。

オブジェクトとメンバの定義

スクリプトによる処理の対象となる数や関数をオブジェクトと総称する。 オブジェクトは、それに付属するデータとしてメンバおよび内部メンバを 持つことができる。(厳密には、オブジェクトとはメンバと内部メンバの集合である)

メンバは名前と値の組み合わせから成る。名前は一つの Unicode 文字列であり、 値は一つのオブジェクトである。一つのオブジェクトは複数のメンバを持ち得るが、 それらはすべて異なる名前でなければならない。

またオブジェクトはメンバとは独立して内部メンバも持ち得る。 内部メンバは言語仕様の記述の簡便のために定義される形式的な存在であり、 スクリプトプログラムによって直接扱うことはできない。 内部メンバはメンバと同じく名前と値から成るが、 内部メンバの値はオブジェクトに限らない。

一つのオブジェクトには同じ名前のメンバと内部メンバが存在しても良い。 メンバと内部メンバは独立しているので、同名のメンバと内部メンバは 一般に異なる値を持つ。

名前にドル記号 $ を含むメンバの一部は、#Script 言語において特殊な意味を持つ。プログラマは、この言語仕様で定めた所定の効用 (メンバのゲッターや演算子の定義) を得る以外の目的で名前にドル記号を含むメンバを使用すべきでない。

オブジェクトの同一性

オブジェクトが持つメンバ・内部メンバは、 それらに対して明示的に変更が行われない限り、変化しない。

二つのオブジェクトが同じであるとは、そのオブジェクトが存在している 任意の時刻において、常に次の同値関係が成り立つことをいう: 一方のオブジェクトの任意のメンバ・内部メンバについて、 もう一方のオブジェクトも同じ名前と値のメンバ・内部メンバを持つ。

二つのオブジェクトが同じでない (異なる) ならば、 それらのオブジェクトのメンバ・内部メンバは独立している。すなわち、異なる二つの オブジェクトについて、一方のオブジェクトのメンバ・内部メンバが変化しても、 もう一方のオブジェクトのメンバ・内部メンバは直接その変化の影響を受けない。

新しくオブジェクトが作られるとき、 その新しいオブジェクトは既に存在している他のいかなるオブジェクトとも異なる。

型とプロトタイプ

オブジェクトがそのような種類のメンバを持っているかという観点による オブジェクトの区別を型という。#Script のオブジェクトは一般にオブジェクトの生成後にもメンバの追加や削除が行えるため、 一般にオブジェクトの型は不変ではない。

オブジェクトに $prototype という名前の内部メンバが存在する時、 その値はオブジェクトでなければならない。オブジェクトの $prototype 内部メンバの値を、そのオブジェクトのプロトタイプオブジェクトまたは単にプロトタイプという。一般には、 オブジェクトのプロトタイプは不変ではない。また、全てのオブジェクトに $prototype 内部メンバが存在するわけではないので、 全てのオブジェクトがプロトタイプを持つわけではない。

次の条件のどちらかが満たされるとき、オブジェクト P はオブジェクト O の準プロトタイプ (オブジェクト) であるという:

• P は O のプロトタイプである。
• (O のプロトタイプが存在し、かつ) P は O のプロトタイプの準プロトタイプである。

すなわち、準プロトタイプとはオブジェクトの間接的なプロトタイプのことである。

任意のオブジェクトについて、そのオブジェクトの準プロトタイプの個数は 有限でなければならない。すなわち、任意のオブジェクト O について、 次のどちらかが成り立つ:

• O はプロトタイプを持たない。
• ある O の準プロトタイプ P が存在して、P はプロトタイプを持たない。

注意: この規則は、操作 search-property がアルゴリズムとして必ず終了するために重要である。 この規則は、任意のオブジェクトはそれ自身を準プロトタイプとすることはできない ということを含意する。

インスタンス

オブジェクト T に prototype という名前のメンバが存在し、そのメンバの値がオブジェクト O のプロトタイプであるとき、O は T の真のインスタンスであるという。また、 オブジェクト T に prototype という名前のメンバが存在し、そのメンバの値がオブジェクト O の準プロトタイプであるとき、O は T のインスタンスであるという。

プロパティとメソッド

オブジェクト O を参照先オブジェクトとし Unicode 文字列 n を参照先メンバ名とするメンバ参照に対して操作 check-property を行うと結果が [[初期の Boolean.true]] となり、かつ get-property/set-property/delete-property を行ったときにも何らかの意味のある結果が得られるならば、 O は n という名前のプロパティを持つという。 あるプロパティに対する操作 get-property の結果が常にオブジェクトを値とする 正常終了の結果となるとき、その結果の値をそのプロパティの値という。 プロパティの値が関数オブジェクトであるとき、 それを特にメソッドという。また、プロパティの値が常に同じ オブジェクトであるとき、そのプロパティは不変であるという。

あるプロパティに対して操作 get-property を行うことを、そのプロパティの値の取得という。また、 プロパティに対して操作 set-property を行うことをそのプロパティに対する代入といい、操作 delete-property を行うことをそのプロパティの削除という。

あるプロパティに対する代入および削除の結果が常に ReadOnlyError のインスタンスを値とする エラー終了となるとき、そのプロパティは読み取り専用であるという。

オブジェクトのプロパティへのアクセス

スクリプトプログラムからオブジェクトのプロパティを利用することを プロパティへのアクセスという。言語仕様の記述の簡略のため、 プロパティへのアクセスに関するいくつかの操作を以下に定める。

プロパティの探索

オブジェクトのプロパティを特定するための操作 search-property は、一つのオブジェクト o と Unicode 文字列 n に対して以下の処理を行い、一つのオブジェクトかまたは void という特殊な値を結果として返す:

1. o に n を名前とするメンバが存在するならば、 そのメンバの値を返す。
2. o がプロトタイプオブジェクトを持たなければ、void を返す。
3. o のプロトタイプオブジェクトを改めて o として、search-property 処理の始めに戻る。

スクリプトプログラムによるプロパティの存在の確認

スクリプトプログラムによるプロパティの取得に使われる操作 check-property はメンバ参照 r に対して次のことを行う:

1. r の参照先オブジェクトを o、参照先メンバ名を n とする。
2. n の先頭に文字列 $get$ を付加してできる新しい Unicode 文字列を n′ とする。操作 search-property を o と n′ に対して行い、その結果を v′ とする。
3. v′ が関数として呼出し可能なオブジェクトならば、[[初期の Boolean.true]] を返す。
4. 操作 search-property を o と n に対して行い、その結果を v とする。
5. v がオブジェクトならば、[[初期の Boolean.true]] を返す。
6. [[初期の Boolean.false]] を返す。

スクリプトプログラムによるプロパティの取得

スクリプトプログラムによるプロパティの取得に使われる操作 get-property はメンバ参照 r に対して次のことを行う:

1. r の参照先オブジェクトを o、参照先メンバ名を n とする。
2. n の先頭に文字列 $get$ を付加してできる新しい Unicode 文字列を n′ とする。操作 search-property を o と n′ に対して行い、その結果を v′ とする。
3. v′ が関数として呼出し可能なオブジェクトならば、o を @this 値とし引数無しでこの関数を呼出す。 この結果がオブジェクトを値とする正常終了であるか、 正常終了以外の結果であるならば、それを返す。 それ以外の正常終了の結果ならば、新しい UnsupportedOperationError のインスタンスを投げる。
4. 操作 search-property を o と n に対して行い、その結果を v とする。
5. [[v]] を返す。

obj.$get$prop = @{ @return @this.prop; };
@printline obj.prop;

obj.$get$prop = @{ @return #prop; };

スクリプトプログラムによるプロパティへの代入

スクリプトプログラムによるプロパティへの代入に使われる操作 set-property はメンバ参照 r とオブジェクト p に対して次のことを行う:

1. r の参照先オブジェクトを o、参照先メンバ名を n とする。
2. o に $isImmutable という名前の内部メンバが 存在すれば、新しい ReadOnlyError のインスタンスを投げる。
3. n の先頭に文字列 $set$ を付加した 新しい Unicode 文字列を n′ とする。操作 search-property を o と n′ に対して行い、その結果を v′ とする。
4. v′ が関数として呼出し可能なオブジェクトならば、o を @this 値とし p を引数としてこの関数を呼出し、 その結果を返す。
5. v′ が 初期の Boolean.false ならば、新しい ReadOnlyError のインスタンスを投げる。
6. o の、n を名前とするメンバの値を p に変更する。このようなメンバが存在しないときは、o に n を名前とする新しいメンバを作成した上で値を p とする。
7. [[p]] を返す。

obj.$set$prop = @[x]{ @this.prop = x; @return x; };
obj.prop = 1;

obj.$set$prop = @[x]{ #prop = x; @return x; };

スクリプトプログラムによるプロパティの削除

スクリプトプログラムによるプロパティの削除に使われる操作 delete-property はメンバ参照 r に対して次のことを行う:

1. r の参照先オブジェクトを o、参照先メンバ名を n とする。
2. o に $isImmutable という名前の内部メンバが 存在すれば、新しい ReadOnlyError のインスタンスを投げる。
3. n の先頭に文字列 $set$ を付加した 新しい Unicode 文字列を n′ とする。操作 search-property を o と n′ に対して行い、その結果を v′ とする。
4. v′ が関数として呼出し可能なオブジェクトならば、o を @this 値とし引数無しでこの関数を呼出し、その結果を返す。
5. v′ が初期の Boolean.false ならば、新しい ReadOnlyError のインスタンスを投げる。
6. o に n を名前とするメンバが存在すれば、そのメンバの値を v とした上で、そのメンバを削除し、[[v]] を返す。
7. [[初期の Void.void]] を返す。