当前位置: 首页 > 工具软件 > haXe > 使用案例 >

Haxe手册摘要 一. 类型

漆雕修德
2023-12-01

类型

不需要像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 也还没看明白

 类似资料: