首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >32位linux和64位linux中的SML数据类型

32位linux和64位linux中的SML数据类型
EN

Stack Overflow用户
提问于 2012-08-29 08:49:54
回答 3查看 544关注 0票数 3

我猜想在标准ML中:

  • int在32位linux上是32位。

64位linux上是int还是32位?此外,对于标准ML,是否有概述不同数据类型大小的地方(url)?谢谢

EN

回答 3

Stack Overflow用户

发布于 2012-08-29 09:15:50

整数的大小是特定于实现的-它不是由标准指定的。根据MoscowML的其文件,在32位平台上使用31位整数,在64位平台上使用63位整数。

SML/NJ显然在64位和32位系统中都使用31位整数(我说显然是因为我在任何地方都没有找到这个文档--我只是在我的64位机器上测试了它)。

在MLton中,Int的大小甚至可以使用编译器的-default-type命令行参数来设置。

票数 5
EN

Stack Overflow用户

发布于 2013-02-28 21:49:00

请注意,高端SML实现Poly默认提供无界(大)整数,因此您可以得到一个可靠的数学整数模型,而无需担心(通常的符号应用程序的正确性和效率)。

票数 2
EN

Stack Overflow用户

发布于 2012-08-29 08:54:32

32位或64位指地址的维数。因此,数据类型是相同的大小,但指针大小变化,因为64位系统使用64位来寻址内存。

票数 -1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/12174062

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档