轉換數據類型 · Haxe&NEKO

目前為止，你已經了解了一些類型的處理和限制，也可以看到編譯工具怎么類型化值使其和其它類型區分開來。然而，你要處理的很多數據都需要一些格式轉換，例如一個 car 類可以放入一個 Vehicle 類型的變量。為了達到這個目的，需要進行轉換（cast）。事實上，Haxe 的 casting 不可能像 C++ 那樣隨意轉換數據，舉個例子，但是可以轉換數據格式變量為源而不是執行不安全的數據分配。使用 C++ 或者 Java 的用戶會很熟悉 casting，括號標記希望返回到變量的或者值的類型，像這樣： ~~~ double myDbl = (double) 44; ~~~ 這里，字面整數 `44` 在存儲到變量 `myDbl` 之前轉換為浮點數。`casting` 是有效的，因為數據類型具有相似的性質，盡管當處理更復雜的數據轉換，自定義解析例程是必須的。在 Haxe 里，變量允許包含任何數據，本質上，雖然編譯工具可能期望變量在它的生命周期提供相同的功能而不管它包含了什么數據。 # cast函數 * * * * * Haxe 支持一個和 C/C++ 的 `casting` 類似的方法，通過 `cast` 函數來偽裝。只需要傳遞給 `cast` 函數一個值，和希望轉換的類型，函數會返回新的轉換之后的值。這里是 C++ 的例子用 Haxe 重寫，使用 cast 函數： ~~~ var myFlt : Float = cast(44, Float); ~~~ 現在，當然你可以依靠類型推斷推斷出傳遞的字面值 `44` 到變量的類型，而且某些情況下，這可能是最簡單的最主要的轉換方式。現在 `cast` 函數很好的轉換一個整數為浮點數，但是轉換一個浮點數回到整數是不能使用 `cast` 的。為什么？很不幸，`casting` 有很大的局限性。傳遞到 `cast` 函數的變量必須繼承傳遞到函數中的類型。如果你記得之前學習的關于整數和浮點數的表示，應該注意到 Int 類型繼承了 Float 類型。這就是說，一個整數是浮點數的一種，一個浮點數卻不是整數類型，所以只能單向轉換。（**實際操作時，如 44.0 的浮點數，可以通過 cast 函數轉換為 Int 類型，但是 44.1 雖然可以通過編譯，但是在 Neko 運行則不行，其它平臺未測試。**）要繞過類型投射限制使用 cast，你可以選擇一個動態路線，所以沒有編譯工具檢查的執行。只需要忽略 `cast` 函數的類型參數： ~~~ var myFlt : Float = cast(44); ~~~ 這是所謂的不安全轉換，用一個 Dynamic 類型變量傳遞參數，而不是通過調用一個cast函數返回，也會執行相同的功能，例如： ~~~ var tmp : Dynamic = 44; var myFlt : Float = tmp; ~~~ 如前面看到的，這影響存進變量的值，但是仍然不會實際轉換值：轉換一個 Int 到 Float 是不好的例子，因為這一組， Haxe 編譯工具會自動執行。然而，簡短創建自己的類，將很難被證明。只要記住 `cast` 函數是通常需要的。 # 簡單的類型轉換函數 * * * * * Haxe 提供很多函數關于特定的轉換簡單類型的目標。這些可以在 Std 類中找到。這些方法基于數據的開始類型分組，而命名習慣不會幫助它們特別的區分。類中包含的函數術語叫做方法。這個術語用于描述類的函數，在本書中經常使用。 **需要注意，在Haxe 3中，有些方法被從Std 類中轉移到其它類，下表中的方法并未完全依照 Haxe 3 歸類方法** |Std方法|描述| | -- | -- | |string(val:Dynamic): String|轉換任何值到String| |chr(var:Int): String|轉換ASCII代碼為String| |ord(val: String)|轉換給定字符串的第一個字母為它的等價ASCII| |int(val:Float): Int|對一個浮點數向下取整| |parseFloat(val:String): Float|轉換一個字符串為浮點數| |parseInt(val:String): Int|轉換一個字符串為整數| 當使用上面任何的轉換方法，必須在方法之前調用 `Std` 類名并使用點方法訪問，因為每個方法都是 `Std` 類的靜態方法。快速看一下如何使用這些轉換方法。輸入下面的代碼，并保存一個文件，名為 TypeConversion.hx ： ~~~ class TypeConversions { public static function main() { var myInt:Int = 45; var myFlt:Float = 0; var myStr:String = ""; myStr = Std.string(myInt); trace(myStr); myFlt = Std.parseFloat(myStr) / 2; trace(myFlt); myInt = Std.int(myFlt); trace(myInt); } } ~~~ 設置初始變量值后，整數值是 `45`，保存在 `myInt` 中。然后轉換為 String 類型并傳遞給變量 `myStr` 。接下來，`myStr` 的值轉換為 Float 類型，結果為 `45.0` 。然而，要讓這個轉換更明顯，使用它除以 `2` ，結果是 `22.5 `。最后一個轉換是轉換浮點數成為整數，將丟失小數點后的精度。 # 值的類型比較 * * * * * 通常，特別是處理保存在 Dynamic 類型變量中的值時，需要在使用之前知道變量的值的類型。`Std` 類包含一個方法叫做 `is` ，可以執行這樣一個檢查。可以和 `cast` 函數類似的方法使用它，它返回一個布爾值，而不是新的轉換的值；如果值為指定類型則返回 `true`，否則返回 `false` 。這是一個例子： ~~~ var isInt : Bool = Std.is( myVar, Int ); ~~~ 這個語句如果 `myVar` 是一個 Int 類型，會返回 `true`，否則返回 `false`。如果變量的值是多種類型之一，那么需要重復驗證它可能的類型。