erlang数据类型的c源码解析(1)-Eterm

最新推荐文章于 2023-09-18 12:04:32 发布

食鱼酱

最新推荐文章于 2023-09-18 12:04:32 发布

阅读量804

点赞数

分类专栏： Erlang C/C++ 文章标签： erlang c语言

本文链接：https://blog.csdn.net/weixin_38278878/article/details/109611694

版权

本文详细介绍了Erlang数据类型在C语言中如何用Eterm表示，包括HEADER类型、列表类型、装箱类型和立即类型，并提供了类型区分的二进制结构说明。通过对Eterm的低2位和额外标签的分析，揭示了Eterm如何存储和区分Erlang的各种数据类型。

摘要由CSDN通过智能技术生成

1、Eterm是啥？

Erlang的数据类型在C语言的层面都可以用Eterm来表示。

原文注释： Eterm: A tagged erlang term (possibly 64 bits)

此外，Eterm在sys.h中定义，可能是uint32，也可能是uint64，代码如下：

#if SIZEOF_INT == 4
typedef unsigned int Eterm;
...
#endif

#if SIZEOF_VOID_P == SIZEOF_LONG
typedef unsigned long Eterm;
...
#endif

总结：Eterm是一种打了标签的uint32/64

Eterm先是由自身的低2位来区分类型。换句话说，低2位代表第一层标签。

以uint32的二进制为例：aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa00

00就是低2位

在erl_term.h中有以下定义：

// 低2位，也叫TAG_PRIMARY，就是第一层标签
#

关注

专栏目录