與類不同,抽象類型允許定義隱式轉換。有兩種類型的隱式轉換:
**直接轉換:** 允許抽象類型和其它類型之間的直接轉換。這通過從或者往抽象類型添加規則來定義,而且只允許用于和抽象類型的潛在類型統一的類型。
**類字段:** 允許通過調用特別的轉換函數進行轉換。這些函數通過使用 `@:to` 和 `@:from` 元數據定義。這種類型的轉換允許用于所有類型。
如下的代碼示例展示直接轉換的一個例子:
~~~
abstract MyAbstract(Int) from Int to Int {
inline function new(i:Int) {
this = i;
}
}
class Main {
static public function main() {
var a:MyAbstract = 12;
var b:Int = a;
}
}
~~~
我們聲明 `MyAbstract` 可以是從或者到 Int 類型,意思是它可以被用 Int 分配,并且可以分配到 Int 類型。這在第9和10行展示,第一個分配 Int `12` 到 `MyAbstract` 類型的變量 `a`(通過使用 `from Int` 聲明 ),然后這個抽象類型分配回 Int 類型變量 `b`(通過使用 `to Int` 聲明)。
另一種的類字段轉換有相同的語義,但是定義完全不同:
~~~
abstract MyAbstract(Int) {
inline function new(i:Int) {
this = i;
}
@:from
static public function fromString(s:String) {
return new MyAbstract(Std.parseInt(s));
}
@:to
public function toArray() {
return [this];
}
}
class Main {
static public function main() {
var a:MyAbstract = "3";
var b:Array<Int> = a;
trace(b); // [3]
}
}
~~~
通過添加 `@:from` 到一個靜態函數,這個函數獲得資格作為從它的參數類型到抽象類型的隱式轉換函數。這些函數必須返回一個抽象類型的值。它們還必須被聲明為靜態的 :
類似的,添加 `@:to` 到一個函數,它獲取資格作為從抽象類型到它的返回類型的隱式轉換函數。這些函數通常是成員函數,但是它們可以被聲明為靜態 ,然后作為一個 [選擇函數(第2.8.4節)](http://#)。
在例子中,方法 `fromString` 允許分配值 “`3`” 到 `MyAbstract` 類型的變量 `a`,而方法 `toArray` 允許分配抽象類型到 `Array<Int>` 類型的變量 `b`。
當使用這種類型的轉換,轉換函數的調用被插入在需要的地方。當查看 JavaScript 輸出的時候會很明顯:
~~~
var a = _ImplicitCastField.MyAbstract_Impl_.fromString("3");
var b = _ImplicitCastField.MyAbstract_Impl_.toArray(a);
~~~
這可以被進一步優化,通過 [內聯(第4.4.2節)](http://#) 兩種轉換函數,使得輸出如下:
~~~
var a = Std.parseInt("3");
var b = [a];
~~~
當分配一個類型 A 到一個類型 B,并且至少它們中的一個為抽象類型時,選擇的規則很簡單:
* 1.如果 A 不是一個抽象類型,去到 3
* 2.如果 A 定義了一個允許到 B 的 `to` 轉換,去到6
* 3.如果 B 不是一個抽象類型,去到 5
* 4.如果 B 定義一個允許到 A 的 `from` 轉換,去到6
* 5.停止,統一失敗
* 6.停止,統一成功

經過設計,隱式轉換不被傳遞,就像下面的例子展示的:
~~~
abstract A(Int) {
public function new() this = 0;
@:to public function toB() return new B();
}
abstract B(Int) {
public function new() this = 0;
@:to public function toC() return new C();
}
abstract C(Int) {
public function new() this = 0;
}
class Main {
static public function main() {
var a = new A();
var b:B = a; // valid, uses A.toB
var c:C = b; // valid, uses B.toC
var c:C = a; // error, A should be C
}
}
~~~
雖然從 A 到 B 的轉換和從 B 到 C 的轉換分別是允許的,而一個傳遞的從 A 到 C 的轉換則不允許。這是為了避免不明確的轉換路徑,并保持一個簡單的選擇規則。
- 空白目錄
- 1.Haxe介紹
- 1.1.Haxe是什么
- 1.2.關于本文檔
- 1.2.1.作者及貢獻者
- 1.2.2.License
- 1.3Hello World
- 1.4.Haxe的歷史
- 2.類型
- 2.1.基本類型
- 2.1.1.數值類型
- 2.1.2.溢出
- 2.1.3.數值運算符
- 2.1.4.Bool類型
- 2.1.5.Void類型
- 2.2.為空性
- 2.2.1.可選參數和為空性
- 2.3.類實例
- 2.3.1.類的構造函數
- 2.3.2.繼承
- 2.3.3.接口
- 2.4.枚舉實例
- 2.4.1.Enum構造函數
- 2.4.2.使用枚舉
- 2.5.匿名結構
- 2.5.1.結構值的JSON形式
- 2.5.2. 結構類型的類記法
- 2.5.3.可選字段
- 2.5.4.性能影響
- 2.6.函數類型
- 2.6.1.可選參數
- 2.6.2.默認值
- 2.7.動態類型
- 2.7.1.Dynamic使用類型參數
- 2.7.2.實現Dynamic
- 2.8.抽象類型
- 2.8.1.隱式類型轉換
- 2.8.2.運算符重載
- 2.8.3.數組訪問
- 2.8.4.選擇函數
- 2.8.5.枚舉抽象類型
- 2.8.6.轉發抽象類型字段
- 2.8.7.核心類型抽象
- 2.9.單形
- 3.類型系統
- 3.1.Typedef
- 3.1.1.擴展
- 3.2.類型參數
- 3.2.1.約束
- 3.3.泛型
- 3.3.1.泛型類型參數解釋
- 3.4.變異
- 3.5.統一
- 3.5.1.類/接口 之間
- 3.5.2.結構子類型化
- 3.5.3.單形
- 3.5.4.函數返回
- 3.5.5.通用基本類型
- 3.6.類型推斷
- 3.6.1.由上而下推斷
- 3.6.2.局限
- 3.7.模塊和路徑
- 3.7.1.模塊子類型
- 3.7.2.Import
- 3.7.3.解析順序
- 4.類字段
- 4.1.變量
- 4.2.屬性
- 4.2.1.常見訪問標識符組合
- 4.2.2.對類型系統的影響
- 4.2.3.getter和setter的規則
- 4.3.方法
- 4.3.1.重寫方法
- 4.3.2.變異和訪問修飾符的影響
- 4.4.訪問修飾符
- 4.4.1.可見性
- 4.4.2.Inline
- 4.4.3.Dynamic
- 4.4.4.Override
- 4.4.5.Static
- 5.表達式
- 5.1.塊
- 5.2.常量
- 5.3.二元操作符
- 5.4.一元操作符
- 5.5.數組聲明
- 5.6.對象聲明
- 5.7.字段訪問
- 5.8.數組訪問
- 5.9.函數調用
- 5.10.var
- 5.11.局部函數
- 5.12.new
- 5.13.for
- 5.14.while
- 5.15.do-while
- 5.16.if
- 5.17.switch
- 5.18.try/catch
- 5.19.return
- 5.20.break
- 5.21.continue
- 5.22.throw
- 5.23.類型轉換
- 5.23.1.不安全轉換
- 5.23.2.安全轉換
- 5.24.類型檢查
- 6.語言特性
- 6.1.條件編譯
- 6.2.Externs
- 6.3.靜態擴展
- 6.3.1.標準庫中的靜態擴展
- 6.4.模式匹配
- 6.4.1.介紹
- 6.4.2.枚舉匹配
- 6.4.3.變量捕獲
- 6.4.4.結構匹配
- 6.4.5.數組匹配
- 6.4.6.Or 模式
- 6.4.7.守護
- 6.4.8.多個值的匹配
- 6.4.9.提取器
- 6.4.10.窮盡性檢查
- 6.4.11.無效的模式檢查
- 6.5.字符串插值
- 6.6.數組推導
- 6.7.迭代器
- 6.8.函數綁定
- 6.9.元數據
- 6.10.訪問控制
- 6.11.內聯構造函數
- 7.編譯器用法
- 7.1.編譯器標記
- 8.編譯器功能
- 8.1.內建編譯器元數據
- 8.2.無用代碼消除
- 8.3.編譯器服務
- 8.3.1.概述
- 8.3.2.字段訪問完成
- 8.3.3.調用參數完成
- 8.3.4.類型路徑完成
- 8.3.5.使用完成
- 8.3.6.位置完成
- 8.3.7.頂級完成
- 8.3.8.完成服務
- 8.4.資源
- 8.4.1.嵌入資源
- 8.4.2.檢索文本資源
- 8.4.3.檢索二進制資源
- 8.4.4.實現細節
- 8.5.運行時類型信息
- 8.5.1.RTTI 結構
- 8.6.靜態分析儀
- 9.宏
- 9.1.宏上下文
- 9.2.參數
- 9.2.1.ExprOf
- 9.2.2.常數表達式
- 9.2.3.其它的參數
- 9.3.具體化
- 9.3.1.表達式具體化
- 9.3.2.類型具體化
- 9.3.3.類具體化
- 9.4.工具
- 9.5.類型構建
- 9.5.1.枚舉構建
- 9.5.2.@:autoBuild
- 9.5.3.@:genericBuild
- 9.6.限制
- 9.6.1.Macro-in-Macro
- 9.6.2.靜態擴展
- 9.6.3.構建順序
- 9.6.4.類型參數
- 9.7.初始化宏
- 10.標準庫
- 10.1.字符串
- 10.2.數據結構
- 10.2.1.數組
- 10.2.2.向量
- 10.2.3.列表
- 10.2.4.GenericStack
- 10.2.5.Map
- 10.2.6.Option
- 10.3.正則表達式
- 10.3.1.匹配
- 10.3.2.分組
- 10.3.3.替換
- 10.3.4.分割
- 10.3.5.Map
- 10.3.6.實現細節
- 10.4.Math
- 10.4.1.特殊數值
- 10.4.2.數學錯誤
- 10.4.3.整數數學
- 10.4.4.擴展
- 10.5.Lambda
- 10.6.模板
- 10.7.反射
- 10.8.序列化
- 10.8.1.格式化序列化
- 10.9.Xml
- 10.9.1.開始使用Xml
- 10.9.2.解析Xml
- 10.9.3.編碼Xml
- 10.10.Json
- 10.10.1.解析JSON
- 10.10.2.編碼JSON
- 10.10.3.實現細節
- 10.11.Input/Output
- 10.12.Sys/sys
- 10.13.遠程處理
- 10.13.1.遠程連接
- 10.13.2.實現細節
- 10.14.單元測試
- 11.Haxelib
- 11.1.Haxe編譯器使用庫
- 11.2.haxelib.json
- 11.2.1.版本控制
- 11.2.2.依賴關系
- 11.3.extraParams.hxml
- 11.4.使用Haxelib
- 12.目標平臺細節
- 12.1.JavaScript
- 12.1.1.開始使用Haxe/JavaScript
- 12.1.2.使用外部JavaScript庫
- 12.1.3.注入原生JavaScript
- 12.1.4.JavaScript untyped函數
- 12.1.5.調試JavaScript
- 12.1.6.JavaScript目標元數據
- 12.1.7.為JavaScript暴露Haxe類
- 12.1.8.使用 require函數加載外部類
- 12.2.Flash
- 12.2.1.開始使用Haxe/Flash
- 12.2.2.嵌入資源
- 12.2.3.使用外部Flash庫
- 12.2.4.Flash目標元數據
- 12.3.Neko
- 12.4.PHP
- 12.4.1.開始使用Haxe/PHP
- 12.4.2.PHP untyped函數
- 12.5.C++
- 12.5.1.Using C++定義
- 12.5.2.Using C++ 指針
- 12.6.Java
- 12.7.C#
- 12.8.Python