perl6 – 在Perl 6中声明“本机”类型

发布时间：2020-12-15 21:57:38 所属栏目：大数据来源：网络整理

导读：在 natives.pm6 module中,许多本机类型以这种方式声明： my native int is repr('P6int') is Int { } 您显然可以以相同的方式使用它, my native smallish is repr('P6int') is Int is nativesize(8) { };say smallish.^mro; # OUTPUT: ?((smallish) (Int) (C

在 natives.pm6 module中,许多本机类型以这种方式声明：

my native int is repr('P6int') is Int { }

您显然可以以相同的方式使用它,

my native smallish is repr('P6int') is Int is nativesize(8) { };
say smallish.^mro; # OUTPUT: ?((smallish) (Int) (Cool) (Any) (Mu))??

显然,您需要native来指定表示,因为如果不使用nativeis,则会失败.与is repr相同,所以它们齐头并进.然而,这只是一种行为观察.

但是,除了实现中的这些示例之外,我还没有找到任何有关何时何地使用本机的文档.任何帮助将不胜感激.

解决方法

本机包声明符是Rakudo Perl 6编译器实现细节,而不是Perl 6语言的一部分.需要一些机制来表达语言运行时与Perl 6标准库中声明的int32和num64等类型之间的关系.本机需要一种不同类型的元对象,因为包声明器(如类和角色)通过映射到特定类型的元对象来工作,为此目的引入本机包声明器是一种巧妙的引导方式Perl 6类型系统的一点.

从来没有打算使用标准库之外的本机(我可以放心地说,因为我发明了这种机制).鉴于本机类型的性能敏感性,Perl 6编译器开发人员应该可以最大限度地自由选择定义它们的方式,并能够随着时间的推移对其进行优化.不确定本机声明器将永远存在于Rakudo中,也不确定任何未来的Perl 6编译器开发人员会选择以相同的方式执行操作.

如果想要一个本机类型名称的别名,只需使用常量：

constant smallish = int;

由于常量是在编译时计算的,因此可以像使用任何其他类型一样使用此符号.除了Perl 6或NativeCall库中可用的类型之外,还没有通过本机可用的功能.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!