7

natives.pm6module中,许多原生类型都是这样声明的:

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指定一个表示,因为如果native不使用它将失败。与 相同is repr,因此它们齐头并进。然而,这只是一种行为观察。

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

4

1 回答 1

11

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

native从来没有打算在标准库之外使用(我可以自信地说,因为我发明了这种机制)。考虑到本机类型的性能敏感性,Perl 6 编译器开发人员应该有最大的自由来选择他们如何定义它们,并且能够随着时间的推移对其进行改进。无法确定native声明符将永远存在于 Rakudo 中,也不确定任何未来的 Perl 6 编译器开发人员会选择以同样的方式做事。

如果想要本地类型名称的别名,只需使用constant

constant smallish = int;

由于constant在编译时进行评估,因此可以像使用任何其他类型一样使用此符号。Perl 6 或库native中可用的类型尚未公开其他功能。NativeCall

于 2018-07-04T16:41:43.827 回答