能否在Kaitai中实现支持简单/自定义类型的泛型数组通用类型？

你提供的写法无法实现，因为Kaitai Struct的参数系统不支持直接将类型名称（如s2、f4）以字符串形式传递并在type字段中引用——strz类型的参数仅用于传递字符串数据，而type字段要求的是编译时可确定的类型引用，不是运行时字符串。

下面是两种可行的替代实现思路，分别覆盖内置简单类型和用户自定义类型的场景：

1. 支持内置简单类型的"泛型"数组 #

通过枚举类定义支持的类型，结合switch语法在参数化类型中动态选择成员类型：

types:
  # 枚举支持的内置数据类型
  array_dtype:
    enum:
      s2: 1
      f4: 2
      u4: 3
  # 参数化数组类型
  generic_array:
    params:
      - id: size
        type: u4
      - id: dtype
        type: array_dtype
    seq:
      - id: members
        repeat: expr
        repeat-expr: size
        type:
          switch:
            case array_dtype::s2: s2
            case array_dtype::f4: f4
            case array_dtype::u4: u4

使用示例：

seq:
  - id: short_array
    type: generic_array(size=8, dtype=array_dtype::s2)
  - id: float_array
    type: generic_array(size=16, dtype=array_dtype::f4)

2. 支持用户自定义类型的数组复用 #

由于自定义类型无法提前枚举，可通过YAML锚点复用数组结构模板，快速生成对应类型的数组：

# 定义数组结构模板锚点
_array_template: &array_template
  params:
    - id: size
      type: u4
  seq:
    - id: members
      repeat: expr
      repeat-expr: size

types:
  # 用户自定义类型
  user_data:
    seq:
      - id: flag
        type: u1
      - id: value
        type: f8
  # 基于模板生成自定义类型的数组
  user_data_array:
    <<: *array_template
    seq:
      - id: members
        repeat: expr
        repeat-expr: size
        type: user_data
  # 基于模板生成内置类型数组
  s2_array:
    <<: *array_template
    seq:
      - id: members
        repeat: expr
        repeat-expr: size
        type: s2

需要注意的是，Kaitai Struct本质是静态类型系统，没有传统编程语言中的真正泛型机制，上述方案都是通过参数化或模板复用的方式模拟泛型数组的效果。

内容的提问来源于stack exchange，提问作者Serhii