haXe学习笔记（四）

一、显式变量：定义变量时申明变量类型

比如： var myVar:String;

变量未赋值之前不能使用

一旦变量类型申明后，不能再赋值其他类型的值

但可以用其他类型重新申明变量，比如var myVar:Int，但最好不要这样做

二、函数变量

函数public function outputString(st : String) : Void;的类型为String->Void

public function sumAndCeil(a : Float, b : Int) : Int类型为Float->Int->Int

public function filter(f : String->Bool) : List<String>类型为(String->Bool)->List<String>

public function takesStringReturnsFunction(s : String) : String->Bool类型为String->(String->Bool)

三、动态函数

函数和静态函数都可以设置为动态，这样在运行时，可以重新设置函数的值，但类型必须一致。

动态函数只能设置在类的实例上，静态函数只能设置在类上，另外动态函数不能重载，也不能用super

public dynamic function saySomething()

public static dynamic function saySomething()

四、匿名对象

var obj: { id:Int, name:String } = { id:10, name:"Name" };

五、Duck Typing：如果某个类里面有匿名对象里的所有成员变量，这此类可以赋值给匿名变量

class DuckType

{

public var id:Int;

public var name:String;

public function new(id:Int, name:String)

{

this.id = id;

this.name = name;

}

}

var obj: { id:Int, name:String }  = new DuckType(10, "Name“);

六、隐式变量

申明变量时不指定类型，由编译器判断其类型（第一次赋值时）

七、类型转换

1. 安全转换

var a : A; var b : B; b = cast(a, B);//如果a不是B类型，运行时会出错

2. 非安全转换

var i : Int; i = cast "Hello";//可以将任意类型的变量转换为被赋值变量的类型，但如果不能转换时，会报运行时错误

3. untyped

untyped { myVar.doSomething();}//此时编译器不会检查类型，但可能产生运行时错误

八、模板类

1. class Array<T>

2. class Fridge<T: (Fruit, Eatable)>//T必须是Fruit和Eatable类型