データ型

コンパイル時の型チェックは、大規模なプロジェクトでよく利用されます。プロジェクトの規模が拡大するにつれて、通常はデータ型の柔軟性よりできるだけ早い時点で型指定エラーを把握する方が重要になるためです。 これは、デフォルトで Flash Professional と Flash Builder の ActionScript コンパイラーが strict モードで実行するように設定されているからです。

コンパイル時に型チェックを行うためには、コンパイラーがコード内の変数または式のデータ型情報を分かっている必要があります。 変数のデータ型を明示的に宣言するには、変数名の接尾辞としてコロン演算子（ : ）とその後ろにデータ型を追加します。データ型をパラメーターに関連付けるには、コロン演算子の後ろにデータ型を使用します。 例えば、次のコードは xParam パラメーターにデータ型の情報を追加し、変数 myParam を明示的なデータ型で宣言します。

function runtimeTest(xParam:String) 
{ 
    trace(xParam); 
} 
var myParam:String = "hello"; 
runtimeTest(myParam);

strict モードでは、ActionScript コンパイラーは、型の不一致をコンパイルエラーとしてレポートします。 例えば、次のコードは、Object 型の関数パラメーター xParam を宣言した後で、このパラメーターに String 型と Number 型の値を割り当てようとします。これは、strict モードでコンパイルエラーを発生します。

function dynamicTest(xParam:Object) 
{ 
    if (xParam is String) 
    { 
        var myStr:String = xParam; // compiler error in strict mode 
        trace("String: " + myStr); 
    } 
    else if (xParam is Number) 
    { 
        var myNum:Number = xParam; // compiler error in strict mode 
        trace("Number: " + myNum); 
    } 
}

ただし、strict モードの場合でも、型指定されていない代入ステートメントの右側をそのままにして、コンパイル時の型チェックを行わないように選択できます。 変数または式に型指定なしとマークするには、型注釈を省略するか、特別なアスタリスク（ * ）型注釈を使用します。例えば、上記の例で、型注釈を使用しないように xParam パラメーターを変更して、strict モードでコードをコンパイルします。

function dynamicTest(xParam) 
{ 
    if (xParam is String) 
    { 
        var myStr:String = xParam; 
        trace("String: " + myStr); 
    } 
    else if (xParam is Number) 
    { 
        var myNum:Number = xParam; 
        trace("Number: " + myNum); 
    } 
} 
dynamicTest(100) 
dynamicTest("one hundred");

ActionScript 3.0 では、実行時の型チェックは、strict モードと standard モードのいずれでコンパイルされるかに関係なく行われます。 配列を必要とする関数に値 3 がパラメーターとして渡されるとします。 strict モードでは、値 3 は Array データ型と互換性がないため、コンパイラーはエラーを生成します。 strict モードを無効にし、standard モードで実行すると、コンパイラーは型の不一致について報告しませんが、実行時の型チェックではライタイムエラーになります。

次の例では、Array 引数を必要とするにもかかわらず、値 3 が渡される typeTest() という名前の関数を示します。この場合、値 3 はパラメーターで宣言されたデータ型（Array）のメンバーではないので、standard モードでランタイムエラーが発生します。

function typeTest(xParam:Array) 
{ 
    trace(xParam); 
} 
var myNum:Number = 3; 
typeTest(myNum);  
// run-time error in ActionScript 3.0 standard mode

strict モードで操作しているときでも、実行時の型指定エラーが発生する場合もあります。 これは strict モードを使用しているときに、型指定されていない変数を使用してコンパイル時の型チェックをしないようにしている場合に発生します。 型指定されていない変数を使用すると、型チェックは省略されるのではなく、実行時まで保留されます。 例えば、上記の例の myNum 変数に宣言したデータ型が存在しない場合、コンパイラーは型の不一致を検出できません。ただし、このコードは、代入ステートメントの結果として 3 に設定された実行時の値 myNum を Array データ型に設定された xParam の型と比較するので、ランタイムエラーを生成します。

function typeTest(xParam:Array) 
{ 
    trace(xParam); 
} 
var myNum = 3; 
typeTest(myNum);  
// run-time error in ActionScript 3.0

実行時に型チェックを行うと、コンパイル時に型チェックを行うより継承を柔軟に使用することができます。 standard モードでは、型チェックを実行時まで保留することで、アップキャストする場合でもサブクラスのプロパティを参照できます。アップキャストは、基本クラスを使用してクラスインスタンスの型を宣言し、クラスのインスタンス化にサブクラスを使用するときに行われます。 例えば、拡張可能な ClassBase という名前のクラスを作成することができます（ final 属性を持つクラスは拡張できません）。

class ClassBase 
{ 
}

続いて、次のように someString という名前の 1 つのプロパティを持つ ClassExtender という名前の ClassBase のサブクラスを作成することができます。

class ClassExtender extends ClassBase 
{ 
    var someString:String; 
}

両方のクラスを使用して、ClassBase データ型を使用して宣言されているが、ClassExtender コンストラクターを使用してインスタンス化されているクラスインスタンスを作成することができます。 基本クラスにはサブクラスにないプロパティやメソッドは含まれないので、アップキャストは安全な操作と考えられています。

var myClass:ClassBase = new ClassExtender();

ただし、サブクラスには、その基本クラスに含まれないプロパティまたはメソッドが含まれます。 例えば、ClassExtender クラスには someString プロパティが含まれますが、このプロパティは ClassBase クラスには含まれません。ActionScript 3.0 の standard モードでは、次の例に示すように、 myClass インスタンスを使用してコンパイル時エラーを生成せずにこのプロパティを参照することができます。

var myClass:ClassBase = new ClassExtender(); 
myClass.someString = "hello"; 
// no error in ActionScript 3.0 standard mode

is 演算子を使用すると、変数または式が特定のデータ型のメンバーであるかどうかをテストすることができます。旧バージョンの ActionScript では instanceof 演算子に同じ機能がありましたが、ActionScript 3.0 では instanceof 演算子はデータ型のメンバーシップのテストに使用しません。手動による型チェックでは、 instanceof 演算子の代わりに is 演算子を使用する必要があります。これは、式 x instanceof y は、 x のプロトタイプチェーンに y があるかどうかをチェックするだけであるため、また ActionScript 3.0 では、プロトタイプチェーンで継承階層全体を確認できないためです。

is 演算子は、適切な継承階層を調べます。また、オブジェクトが特定のクラスのインスタンスであるかどうかだけではなく、特定のインターフェイスを実装するクラスのインスタンスであるかどうかも調べるために使用することができます。次の例では、Sprite クラスのインスタンス mySprite を作成し、 is 演算子を使用して mySprite が Sprite クラスおよび DisplayObject クラスのインスタンスであるかどうか、および IEventDispatcher インターフェイスを実装しているかどうかをテストします。

var mySprite:Sprite = new Sprite(); 
trace(mySprite is Sprite); // true 
trace(mySprite is DisplayObject);// true 
trace(mySprite is IEventDispatcher); // true

is 演算子は、継承階層を調べて、 mySprite が Sprite クラスおよび DisplayObject クラスと互換性があることを適切に報告します。ただし、Sprite クラスは DisplayObject クラスのサブクラスです。 is 演算子は、 mySprite が IEventDispatcher インターフェイスを実装するクラスを継承するかどうかも調べます。Sprite クラスは、IEventDispatcher インターフェイスを実装する EventDispatcher クラスを継承するため、 is 演算子は、 mySprite が同じインターフェイスを実装することを正しく報告します。

次の例は、前の例と同じテストを示していますが、 is 演算子の代わりに instanceof 演算子を使用しています。 instanceof 演算子は mySprite が Sprite または DisplayObject のインスタンスであることを正しく識別しますが、 mySprite が IEventDispatcher インターフェイスを実装しているかどうかをテストするのに使用すると false を返します。

trace(mySprite instanceof Sprite); // true 
trace(mySprite instanceof DisplayObject);// true 
trace(mySprite instanceof IEventDispatcher); // false

as 演算子を使用しても、式が指定されたデータ型のメンバーであるかどうかをチェックすることができます。しかし、 is 演算子とは異なり、 as 演算子はブール値を返しません。 as 演算子は、 true の代わりに式の値、 false の代わりに null を返します。次の例は、Sprite インスタンスが DisplayObject、IEventDispatcher、および Number データ型のメンバーであるかどうかをチェックする場合に、 is 演算子の代わりに as 演算子を使用した結果を示します。

var mySprite:Sprite = new Sprite(); 
trace(mySprite as Sprite);                 // [object Sprite] 
trace(mySprite as DisplayObject);                 // [object Sprite] 
trace(mySprite as IEventDispatcher);                 // [object Sprite] 
trace(mySprite as Number);                                       // null

as 演算子を使用する場合、右側のオペランドはデータ型である必要があります。右側のオペランドにデータ型ではなく式を使用しようとすると、エラーになります。

Boolean データ型は、 true と false の 2 つの値で構成されます。Boolean 型の変数に有効な値は、この 2 つだけです。 宣言されているが、初期化されていない Boolean 変数のデフォルト値は false です。

int データ型は、32 ビット整数として内部に保存され、

-2,147,483,648 (-2 ³¹ ）～ 2,147,483,647（2 ³¹ - 1）（両端を含む）の整数のセットで構成されます。 旧バージョンの ActionScript には、整数と浮動小数点数の両方に使用する Number データ型しかありませんでした。 ActionScript 3.0 では、32 ビット符号付および符号なし整数の低レベルマシン型にアクセスすることができるようになりました。 変数が浮動小数点数を使用しない場合、Number データ型ではなく int データ型を使用する方が速く、効率的です。

最小 int 値と最大 int 値の範囲外の整数値の場合は、Number データ型を使用します。Number データ型では、-9,007,199,254,740,992 ～ +9,007,199,254,740,992 の値（53 ビット整数値）を処理できます。 int データ型である変数のデフォルト値は 0 です。

Null データ型は、1 つの値 null だけで構成されます。これは、String データ型および Object クラスを含む複合データ型を定義するすべてのクラスのデフォルト値です。 Boolean、Number、int、uint などの他のプリミティブデータ型には、値 null は含まれません。Boolean 型、Number 型、int 型、uint 型 のいずれかの変数に値 null を割り当てようとすると、実行時に null が適切なデフォルト値に変換されます。このデータ型を型注釈として使用することはできません。

ActionScript 3.0 では、Number データ型は、整数、符号なし整数、および浮動小数点数を表すことができます。 ただし、パフォーマンスを最大化するために、32 ビット int および uint 型より大きい整数値に対してのみ、Number データ型を使用する必要があります。また、Number データ型には、浮動小数点数を格納することができます。浮動小数点数を格納するには、数値に小数点を含めます。 小数点を省略すると、数値は整数として格納されます。

Number データ型では、2 進数浮動小数点計算のための IEEE 規格（IEEE-754）で指定されている 64 ビット倍精度フォーマットを使用します。この規格では、64 ビットを使用して浮動小数点数を格納する方法が指定されています。1 ビットを使用して数値が正か負かを指定します。指数には 11 ビットが使用され、2 を底として格納されます。残りの 52 ビットは、指数で指定される累乗した数値である仮数部（仮数とも呼ばれます）を格納するために使用されます。

Number データ型では、ビットの一部を使用して指数を格納することで、仮数のビットすべてを使用する場合より大きな浮動小数点数を格納できます。 例えば、Number データ型で 64 ビットすべてを使用して仮数を格納した場合は、2 ⁶⁵ - 1 の数値を格納できます。Number データ型では、11 ビットを使用して指数を格納することで、仮数を 2 ¹⁰²³ 乗できます。

Number 型が表すことができる最大値と最小値は、 Number.MAX_VALUE および Number.MIN_VALUE と呼ばれる Number クラスの静的プロパティに格納されます。

Number.MAX_VALUE == 1.79769313486231e+308 
Number.MIN_VALUE == 4.940656458412467e-324

この数値の範囲が膨大である一方で、この範囲の精度が犠牲になっています。 Number データ型では、仮数の格納に 52 ビットを使用します。その結果、分数 1/3 など、正確に表すためには 53 ビット以上必要な数値は近似値にしかなりません。 アプリケーションで小数値を持つ絶対精度が必要な場合、2 進浮動小数点数計算ではなく、10 進浮動小数点計算を実装するソフトウェアを使用する必要があります。

Number データ型で整数値を格納する場合、仮数の 52 ビットだけが使用されます。 Number データ型は、これらの 52 ビットと特殊な非表示のビットを使用して、-9,007,199,254,740,992（-2 ⁵³ ）～ 9,007,199,254,740,992（2 ⁵³ ）の整数を表します。

NaN 値は、 Number 型の変数のデフォルト値としてだけではなく、数値を返す必要があるが返さない演算の結果としても使用します。例えば、負の数値の平方根を計算しようとすると、その結果は NaN になります。その他の特殊な Number の値には正の無限大と負の無限大があります。

String データ型は、16 ビット文字のシーケンスを表します。 ストリングは、UTF-16 形式を使用して、Unicode 文字として内部的に格納されます。 ストリングは、Java プログラミング言語の場合と同様に不変値です。 String 値に対する操作は、そのストリングの新しいインスタンスを返します。 String データ型で宣言される変数のデフォルト値は null です。値 null は、空のストリング（ "" ）とは異なります。値 null は、変数に格納されている値がないということを意味するのに対して、空のストリングは、変数に格納されている値が文字を含まないストリングであることを意味します。

uint データ型は、32 ビット符号なし整数として内部に保存され、0 ～ 4,294,967,295（2 ³² - 1）（両端を含む）の整数のセットで構成されます。負以外の整数が必要な特別な場合に、uint データ型を使用します。 例えば、ピクセルカラー値を表すためには uint データ型を使用する必要があります。これは、int データ型にはカラー値の処理には適していない内部符号ビットがあるためです。 最大 uint 値より大きな整数値には、53 ビット整数値を処理できる Number データ型を使用します。 uint データ型の変数のデフォルト値は 0 です。

void データ型は、1 つの値 undefined だけで構成されます。旧バージョンの ActionScript では、 undefined は Object クラスのインスタンスのデフォルト値でした。ActionScript 3.0 では、Object インスタンスのデフォルト値は null です。値 undefined を Object クラスのインスタンスに割り当てようとすると、この値は null に変換されます。型指定されていない変数には、 undefined という値のみを割り当てることができます。型指定されていない変数は、型注釈がないか、型注釈にアスタリスク記号（ * ）が使用されている変数です。 void は、戻り値の型注釈としてのみ使用することができます。

Object データ型は Object クラスによって定義されます。 Object クラスは、ActionScript のすべてのクラス定義の基本クラスです。 ActionScript 3.0 の Object データ型は、次の 3 つの点で旧バージョンとは異なります。 1 つ目は、Object データ型は、型注釈のない変数に割り当てられるデフォルトのデータ型ではなくなりました。 2 つ目は、Object データ型には、Object インスタンスのデフォルト値であった値 undefined が含まれなくなりました。3 つ目は、ActionScript 3.0 では、Object クラスのインスタンスのデフォルト値が null になった点です。

旧バージョンの ActionScript では、型注釈のない変数には自動的に Object データ型が割り当てられていました。 ActionScript 3.0 ではこれは行われず、真に型指定されていない変数の概念が導入されました。 型注釈のない変数は、型が指定されていないと見なされます。 コード内で変数の型を指定しないままにしておくことを明確に示す場合、型注釈にアスタリスク記号（ * ）を使用することができます。これは、型注釈を省略するのと同じことを示します。次の例は、いずれも型指定されていない変数 x を宣言する 2 つの同等のステートメントを示します。

var x 
var x:*

型指定されていない変数だけが値 undefined を保持することができます。値 undefined をデータ型が指定されている変数に割り当てようとすると、ランタイムは値 undefined をそのデータ型のデフォルト値に変換します。データ型のインスタンスでは、デフォルト値は null です。これは、Object インスタンスに undefined を割り当てようとすると、値が null に変換されることを意味します。