資料類型

大型專案經常偏好使用編譯階段類型檢查，因為隨著專案的大小成長，資料類型彈性通常變得比較不重要，盡早發現類型錯誤反而顯得更重要。因此才會在預設時將 Flash Professional 和 Flash Builder 中的 ActionScript 編譯器設定為在嚴謹模式中執行。

為了提供編譯階段類型檢查，編譯器必須知道程式碼中變數或運算式的資料類型資訊。若要明確地宣告變數的資料類型，請加入冒號運算子 ( : )，之後再用資料類型做為變數名稱的字尾。若要使資料類型與參數產生關聯，請使用冒號運算子，之後再加上資料類型。例如，下列程式碼會將資料類型資訊加入 xParam 參數，而用明確的資料類型宣告變數 myParam ：

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

在嚴謹模式中，ActionScript 編譯器會將類型不相符回報為編譯器錯誤。例如，下列程式碼會宣告 Object 類型的函數參數 xParam ，但稍後會嘗試將 String 和 Number 類型的值指定給該參數。如此會在嚴謹模式中產生編譯器錯誤。

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); 
    } 
}

但是，即使在嚴謹模式中，您也可以選擇性地將指定陳述式的右邊保留為不具類型，決定不執行編譯階段類型檢查。您可以省略類型註釋，或使用特殊的星號 ( * ) 類型註釋，讓變數或運算式成為不具類型。例如，若上一個範例中的 xParam 參數已經過修改，使它不再有類型註釋，則程式碼將在嚴謹模式中進行編譯：

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 中都會發生執行階段類型檢查。請考慮一種情況，在此情況下，3 這個值是傳遞做為預期有陣列的函數之引數。在嚴謹模式中，編譯器將產生錯誤，因為 3 這個值與資料類型 Array 不相容。若停用嚴謹模式，而且在標準模式中執行，則編譯器會回報類型不相符，而執行階段類型檢查則會導致執行階段錯誤。

下列範例會顯示名為 typeTest() 的函數，它預期會收到 Array 引數，但收到的卻是 3 這個值。如此便會在標準模式中導致執行階段錯誤，因為 3 這個值並不是該參數之宣告資料類型 (Array) 的成員。

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

在某些情況下，您可能也會收到執行階段錯誤，甚至在嚴謹模式中操作時也一樣。如果使用嚴謹模式，但使用不具類型的變數，決定不執行編譯階段類型檢查，就可能會發生這種情況。當您使用不具類型的變數時，並不會消除類型檢查，而是將檢查延遲到執行階段再進行。例如，假設上一個範例中的 myNum 變數並未宣告資料類型，編譯器無法偵測類型不相符的情形，但程式碼會產生執行階段錯誤，因為它會比較 myNum 的執行階段值 (由於指定陳述式的結果而設定為 3) 與 xParam 的類型 (設定為 Array 資料類型)。

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

相較於編譯階段檢查，執行階段類型檢查也允許以更具彈性的方式使用繼承。藉由將類型檢查延遲到執行階段，即使您「向上轉型」，標準模式也可以讓您參考子類別的屬性。使用基底類別宣告類別實體的類型，但是用子類別進行實體化時，就會發生向上轉型。例如，您可以建立可擴充的 ClassBase 類別 (具有 final 特質的類別無法進行擴充)：

class ClassBase 
{ 
}

接著，您可以建立 ClassBase 的子類別 ClassExtender，它具有一個 someString 屬性，如下所示：

class ClassExtender extends ClassBase 
{ 
    var someString:String; 
}

您可以使用這兩個類別，建立使用 ClassBase 資料類型宣告的類別實體，但使用 ClassExtender 建構函式進行實體化。向上轉型被視為安全作業，因為基底類別只包含子類別中的屬性或方法。

var myClass:ClassBase = new ClassExtender();

但是子類別確實包含基底類別所不包含的屬性或方法。例如，ClassExtender 類別包含 someString 屬性，而 ClassBase 類別中並沒有此屬性。在 ActionScript 3.0 標準模式中，您可以使用 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 運算子會檢查正確的繼承階層，且不但可用來檢查物件是否為特定類別的實體，並可用來檢查物件是否為實作特定介面的類別實體。下列範例會建立名為 mySprite 的 Sprite 類別實體，並使用 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 類別是繼承自 EventDispatcher 類別，此類別會實作 IEventDispatcher 介面，所以 is 運算子會正確報告 mySprite 實作相同的介面。

下列範例會示範上個範例的相同測試，但是使用的是 instanceof 而不是 is 運算子。 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 運算子不會傳回 Boolean 值。 as 運算子是傳回運算式的值而非 true ；傳回 null 而非 false 。下列範例會示範不使用 is 而改用 as 運算子，在簡單的範例中檢查 Sprite 實體是否為 DisplayObject、IEventDispatcher 和 Number 資料類型的成員所得出的結果。

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 。Boolean 類型的變數沒有其它有效值。已宣告但未初始化的 Boolean 變數預設值為 false 。

int 資料類型在內部是儲存為 32 位元的整數，而包含下列範圍的一組整數：

-2,147,483,648 (-2 ³¹ ) 至 2,147,483,647 (2 ³¹ - 1) (含)。舊版 ActionScript 僅提供 Number 資料類型，同時供整數與浮點數使用。而在 ActionScript 3.0 中，您可以存取低階電腦類型 32 位元具有正負號和無正負號的整數。如果變數不需要浮點數，不使用 Number 資料類型，而改用 int 資料類型應該會更快、更有效率。

對於在最小及最大 int 值範圍之外的整數值來說，使用 Number 資料類型可以處理介於正負 9,007,199,254,740,992 (53 位元整數值) 之間的值。int 資料類型變數的預設值為 0。

Null 資料類型僅包含 null 這個值。這是 String 資料類型及定義複雜資料類型之所有類別 (包括 Object 類別) 的預設值。其它任何基本資料類型，例如 Boolean、Number、int 和 uint，都不包含 null 這個值。在執行階段中，如果您嘗試將 null 指派給類型為 Boolean、Number、int 或 uint 的變數， null 這個值會轉換成適當的預設值。您無法使用此資料類型做為類型註釋。

在 ActionScript 3.0 中，Number 資料類型可以代表整數、無正負號的整數和浮點數值。但是若要得到最高效能，應該只在整數值大於 32 位元 int 和 uint 類型所能儲存的數值時，或數值為浮點數時，才使用 Number 資料類型。若要儲存浮點數值，必須在數值中包含小數點。如果省略小數點，數值會儲存為整數。

Number 資料類型使用的是 IEEE 二進位浮點數運算標準 (IEEE-754) 所指定的 64 位元雙精度格式。這項標準規定使用 64 個可用位元儲存浮點數值的方式。其中，1 個位元是用來指定數值是正值或負值；11 個位元可供指數使用，儲存時以 2 為底；而其餘 52 個位元則是用來儲存「有效位數」(也稱為「尾數」)，它是自乘至指數所指示的次方值。

Number 資料類型透過使用部分位元儲存指數，比使用其所有位元儲存有效位數可儲存的浮點數值大得多。例如，若 Number 資料類型將 64 個位元全部用來儲存有效位數，那麼可儲存的最大數目為 2 ⁶⁵ - 1。若使用 11 位元來儲存指數，則 Number 資料類型可將有效位數增加為 2 ¹⁰²³ 。

Number 類型可代表的最大及最小值是儲存在 Number 類別的靜態屬性 Number.MAX_VALUE 和 Number.MIN_VALUE 之中。

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

雖然這個數值的範圍非常之大，但是精確度相較之下則差了許多。Number 資料類型會使用 52 個位元儲存有效位數，其結果是需要 52 個位元以上才能精確地代表的數值 (例如，分數 1/3) 只是近似值而己。如果應用程式需要絕對精確度的小數，就必須使用實作小數浮點運算的軟體，而不能使用二進位浮點數運算。

以 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) 的一組整數 (包含 0 和 4,294,967,295)。在呼叫非負數整數的特殊狀況下，才會使用 uint 資料類型。例如，您必須使用 uint 資料類型代表像素顏色值，因為 int 資料類型所具有的內部正負號位元並不適合處理顏色值。對於比最大 uint 值還要大的整數值來說，使用 Number 資料類型可以處理 53 位元整數值。uint 資料類型變數的預設值為 0。

void 資料類型只包含 undefined 這個值。在舊版 ActionScript 中， undefined 是 Object 類別之實體的預設值；在 ActionScript 3.0 中，Object 實體的預設值為 null 。若嘗試指定 undefined 的值給 Object 類別實體，該值會轉換為 null 。您只能將 undefined 值指定給不具類型的變數。不具類型變數是沒有任何類型註釋，或使用星號 ( * ) 類型註釋的變數。您只能使用 void 做為傳回類型註釋。

Object 資料類型由 Object 類別所定義。Object 類別可做為 ActionScript 中所有類別定義的基底類別。與舊版 ActionScript 相較之下，ActionScript 3.0 版 Object 資料類型的不同之處包含以下三方面：第一，Object 資料類型不再是指定給沒有類型註釋之變數的預設資料類型；第二，Object 資料類型不再包含 undefined 值，過去這是 Object 實體的預設值；第三，在 ActionScript 3.0 中，Object 類別之實體的預設值是 null 。

在舊版 ActionScript 中，沒有類型註釋的變數會自動指定為 Object 資料類型；而在 ActionScript 3.0 中已非如此，現在 ActionScript 3.0 包含真正不具類型變數的概念。沒有類型註釋的變數現在會視為不具類型。若要讓程式碼的讀者清清楚楚地知道，您是刻意要讓變數保持為不具類型，則可以使用類型註釋的星號 ( * ) 符號，這個符號等於省略類型註釋。下列範例會示範兩個相等的陳述式，兩個都會宣告不具類型的變數 x ：

var x 
var x:*

只有不具類型的變數可以存放 undefined 值。若嘗試將 undefined 值指定給具有資料類型的變數，執行階段會將 undefined 值轉換為該資料類型的預設值。例如 Object 資料類型 (預設值為 null )，表示如果您嘗試將 undefined 指派為 Object 實體，則值會轉換成 null 。