下标是可自定义的方括号访问语法

下标本质是给类型自定义”实例[参数]“这种方括号访问方式的能力，写法上是 [[计算属性体现统一访问原则]] 的推广：同样靠 get/set 计算值而不占存储空间，区别是下标可以带参数（甚至多个参数，如矩阵的 matrix[row, column]），还能按参数类型不同定义多套实现让调用时自动匹配。数组用下标取元素、字典用下标按键存取，都是标准库自己用这套机制实现的，不是语言内置的特权语法。发散：当一个类型的核心操作就是”按某种索引存取内部元素”时，把这个操作暴露成下标而不是普通方法（如 get(index:)），能让调用方用和数组、字典一致的书写习惯来使用自定义类型，降低认知负担。