Question

erlang list length 为什么要遍历

Answer 1

你这个问题就深了。

简单的说erlang的list在c层中是链表结构的ETERM数组，list本身也是一个ETERM，指向这个结构的头部。这个数据结构本身不包含长度信息，所以需要遍历。

list => ETERM | ETERM | ENULL ,其中每个ETERM 都是 list 类型

参考相关代码：

#define TAG_PRIMARY_LIST	0x1
#define _unchecked_make_list(x)	((Uint)(x) + TAG_PRIMARY_LIST)
#define CDR(x)  ((x)[1])

Sint
erts_list_length(Eterm list)
{
    Sint i = 0;

    while(is_list(list)) {
	i++;
	list = CDR(list_val(list));
    }
    if (is_not_nil(list)) {
	return -1;
    }
    return i;
}