名为 name 的头的值。
name
如果没有提供名的头,则返回 null,否则返回一个包含当前值的新的列表。注意,修改列表不会更改头。
List<String>? operator [](String name);