类型
不需要像C++或者AS3那样额外声明类型,编译器可以自己识别,如:
var myButton = new MySpecialButton(); // Haxe
Haxe类型系统中有七种类型:
- Class instance: 类或接口对象
- Enum instance: Haxe枚举值
- Structure: 匿名的结构体,如一个带名字的域集合
- Function: 函数,有几个参数和一个返回值
- Dynamic:一个通用类型可以用于任何类型
- Abstract:编译时的类型,用于代表运行时的一个不同类型
- Monomorph: 未知类型,也许晚些时候会变成不同的类型
Compound Type: 复合类型,一种带有子类型的类型
基本类型
三种基本类型
- Bool: ture false
- Int: 0, 1, -1, 0xFF0000…
- Float: 1.0, 0.0, 1e10…
数字类型
Float 和 Int, 整形可以隐式转换为浮点型,反之不可以
溢出
因性能原因,Haxe编译器不检查任何溢出。因此Java,C++这样的语言和JS,PHP这样的目标语言是不同的。但haxe.Int32和haxe.Int64类可用来保证正确的溢出处理。
数字操作符
算术运算:加加,减减,加减乘除,取模
比较运算:==, !=, <, <=, >, >=
位运算: 与&或|非~,异或^,左<<右>>移,无符号右移>>>
平等运算:用于枚举 MyEnum.A == MyEnum.A, a.equals(b)
布尔运算
与&&或||非!
复合运算中有短路效应
Void
意思是没有种类。如函数没有返回值的情况。
Nullaility
Haxe变量是否可以为空。
静态目标语言如C++, Java的基本类型都是不可以为空的,有默认值
动态目标语言如JS,PHP则可以
如果想让基本类型支持空值,这样写:
var b:Null<Int> = null;
可选参数和Nullability
// x is a native Int (not nullable)
function foo(x : Int = 0) {}
// y is Null<Int> (nullable)
function bar( ?y : Int) {}
// z is also Null<Int>
function opt( ?z : Int = -1) {}
注意Haxe中argument 和parameter 不同。前者用于函数,后者用于类型
类对象
例子:
class Point {
var x : Int;
var y : Int;
public function new(x,y) {//constructor
this.x = x;
this.y = y;
}
public function toString() {//normal method
return "Point("+x+","+y+")";
}
}
构造函数
构造函数的调用例子:
var p = new Point(-1, 65);
继承
使用extends关键字来继承,例如:
class Point3 extends Point {
var z : Int;
public function new(x,y,z) {
super(x,y);//call parent constructor
this.z = z;
}
}
注意:子类可以不定义构造函数,但如果定义了就必须调super(),而且不像其他语言(如java)super可以在构造函数的任意位置而不是第一行调用。
子类可以覆盖父类的函数, 但需要override关键字。
接口
使用关键字interface来定义,例:
interface Printable {
public function toString():String;
}
使用implements关键字来表示实现:
class Point implements Printable { }
支持多重实现,但要多个implements 关键字:
class Point implements Printable
implements Serializable
也支持变量定义(但貌似实现类里的相应变量不像java一样是static的。)
支持多重继承接口
interface Debuggable extends Printable extends Serializable
注:Haxe 2像java一样使用逗号分隔interface,但是从3.0开始不一样了。
枚举对象
例:
enum Color {
Red;
Green;
Blue;
Rgb(r:Int, g:Int, b:Int);
}
例子中大括号里面都是构造函数,其中Rgb是带参数的。
枚举构造函数
var a = Red;
var b = Green;
var c = Rgb(255, 255, 0);
EnumValue是一种特殊类型,用于表示所有的枚举类型
enum Color {
Red;
Green;
Blue;
Rgb(r:Int, g:Int, b:Int);
}
class Main {
static public function main() {
var ec:EnumValue = Red; // valid
var en:Enum<Color> = Color; // valid
// Error: Color should be Enum<Color>
//var x:Enum<Color> = Red;
}
}
匿名结构体
(有点像JSON格式)
class Main {
static public function main() {
var myStructure = { x: 12, name: "foo"};
}
}
类型定义:
typedef Point = { x : Int, y : Int }
class Path {
var start : Point;
var target : Point;
var current : Point;
}
也可以从其他结构体“继承”
typedef Point3 = { > Point, z : Int }
也可以用JSON格式来定义,可以使用字符串定义属性名,但必须符合Haxe变量命名规范。
var point = { "x" : 1, "y" : -5 };
性能影响
使用结构体时,如果目标语言是动态语言,对性能没有影响,如果是静态语言,动态寻找比静态成员变量访问要慢。
自从Haxe3.1.0起,结构体支持多继承。
函数类型
$type是一个特殊的标识符,用于输出编译时表达式的种类
可选参数
声明时加个问号。
static function test(?i:Int, ?s:String) {
return "i: " +i + ", s: " +s;
}
默认参数值
声明时赋予一个常量作为默认值
static function test(?i = 12, s = "bar") {
return "i: " +i + ", s: " +s;
}
动态类型
Haxe有静态类型系统,但可以通过Dynamic类型来关闭。
动态类型应该尽量少用,大多数情况下都不需要。
抽象类型
这是一个编译时特性。//TODO 还没看明白
例子:
abstract AbstractInt(Int) {
inline public function new(i:Int) {
this = i;
}
}
Monomorph(单语素?)
//TODO 也还没看明白