7、深入探索 haXe 类型系统：类型参数与动态类型

深入探索 haXe 类型系统：类型参数与动态类型

1. 类型参数概述

类型参数在一些编程语言中也被称为泛型。它允许在使用类时，由使用者决定类中某些函数所使用的类型。与普通函数参数不同，类型参数是在类级别给出的，它等待的是一个类型而非具体的值。

1.1 类型参数的使用

以往创建的函数，参数和返回值的类型都是在创建函数时就确定的。而使用类型参数，能让使用者在使用类时灵活决定类型。例如创建“字符串数组”时，就已经在使用类型参数了。类型参数常用于容器类，如数组或列表，这样可以确保数组中的元素都是同一类型，提高类型安全性。

1.2 创建参数化类

当一个类使用了类型参数，就称其为参数化类，如 Array 类。以下是一个简化的 Array 类示例：

class Array<T>
{
   function new()
   {
      //Do things here
   }

   function push(obj : T)
   {
      //Do things
   }

   function shift() : T
   {
      //Do things
   }
}

这个示例有两个重要点：
- 类定义的第一行， <T> 表明该类是参数化类，T 是一个抽象类型。通常习惯用从 T 开始的字母表示抽象类型。
- 虽然在调用构造函数时会指定参数类型（如 new Array<String>() ）