现代编程语言中length方法的工作原理探究

数组与字符串 #

• 这类结构的长度基本都是预存储的。因为它们的内存是连续分配的，创建时就确定了大小（哪怕是可变字符串，比如Python的str，每次修改都会生成新对象，新对象的长度也会存在元数据里）。
• 存储位置一般在数据结构的对象头部/元数据区域，比如Python列表里的ob_size字段、JavaScript数组的内部length属性，调用len()或.length时直接读取这个值，时间复杂度是O(1)，完全不需要遍历元素。

动态可变列表（如Python list、Java ArrayList） #

• 同样是预存长度计数器，每次添加、删除元素时，语言运行时会自动同步更新这个计数器。
• 比如往Python列表里append元素，底层会先检查容量，够的话直接加元素并把长度+1；扩容时也会同时更新长度值。调用len()就是直接读这个计数器，也是O(1)的效率。
• 这个计数器是语言底层维护的，对开发者完全透明，不需要手动处理更新逻辑。

迭代器 #

• 迭代器的长度大多需要遍历计算。因为迭代器是按需生成元素的一次性结构，没有预存长度的机制。
• 比如Python的生成器，直接调用len()会报错，必须手动遍历计数；Java的Iterator也没有直接获取长度的方法，要算长度就得把整个迭代器走一遍，时间复杂度O(n)。

不同语言的实现差异 #

• 静态语言（Java、C#）：数组、字符串的长度存在于对象头部，编译器直接生成读取这个值的指令；动态列表的长度由集合类内部维护。
• 动态语言（Python、JavaScript）：解释器层面维护数据结构的元数据，len()或.length直接读取元数据里的长度，开发者看不到底层存储细节。
• 例外情况：一些懒加载的序列（比如Scala的Stream），长度需要遍历计算，因为元素是按需生成的。

.NET LINQ的Count()方法 #

• LINQ的Count()有两种处理逻辑：
  • 如果数据源实现了ICollection<T>接口（比如List<T>、数组），会直接读取接口的Count属性，效率是O(1)；
  • 如果数据源是普通的IEnumerable<T>（比如迭代器、LINQ链式查询的结果），就会遍历整个序列来计数，时间复杂度O(n)。
• 这就是为什么有时候LINQ的Count()比直接读集合的Count属性慢——前者可能触发全量遍历。

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