测试执行顺序变更导致Perl 6 NativeCall函数返回类型检查失败

这个问题我之前在处理Raku（原Perl 6）的NativeCall模块时也碰到过，核心是模块中NativeCall函数的延迟绑定机制和导出逻辑的交互问题，咱们一步步拆解：

先理清问题场景 #

单文件为啥没问题？ #

当所有代码在一个文件里时，不管你先调用哪个函数，Raku的编译和执行流程是线性的：NativeCall的函数声明和测试代码在同一个作用域，第一次调用（不管是Ai还是gsl_sf_airy_Ai）都会触发NativeCall的绑定逻辑，把占位符{ * }替换成实际的C函数调用，所以不会有问题。

拆成模块后为啥顺序一变就报错？ #

当你把NativeCall函数放到模块里，导出后在测试文件调用时，情况就不一样了：

• 模块里的gsl_sf_airy_Ai用了{ * }作为占位符，这是NativeCall的延迟绑定标记——只有当函数被模块内部调用时，NativeCall才会完成绑定，替换掉占位符。
• 如果你在测试文件里先直接调用导出的gsl_sf_airy_Ai，这时候模块还没触发过这个函数的内部调用，导出的其实还是那个Whatever占位符，所以会抛出expected Num but got Whatever的类型错误。
• 但如果先调用Ai，Ai是模块内部的函数，它会调用gsl_sf_airy_Ai，这时候就触发了NativeCall的绑定，之后再调用导出的gsl_sf_airy_Ai就没问题了。

Valgrind没检测到内存问题很正常，因为这根本不是内存损坏，是Raku的函数绑定和导出的时机问题。

解决方法 #

方法一：模块加载时预绑定原生函数 #

在模块里加个BEGIN块，主动触发一次原生函数的调用（用无害的参数就行），确保模块加载完成时，NativeCall已经绑定好函数：

unit module mymodule;
use NativeCall;
constant LIB = ('gsl', v23);
sub gsl_sf_airy_Ai(num64 $x, uint32 $mode --> num64) is native(LIB) is export { * }
sub Ai(Numeric $x, UInt $mode --> Num) is export { gsl_sf_airy_Ai($x.Num, $mode) }

# 预绑定：模块加载时就触发NativeCall的绑定逻辑
BEGIN {
    # 用0调用一次，不会影响后续逻辑，只是触发绑定
    gsl_sf_airy_Ai(0e0, 0);
}

方法二：只导出封装函数（推荐） #

既然你已经写了更友好的封装函数Ai，完全可以不导出底层的原生函数gsl_sf_airy_Ai——原生函数需要严格的num64/uint32类型，对外暴露封装后的Ai（支持Numeric/UInt）更符合Raku的类型习惯，也从根源上避免了直接调用导出原生函数的问题：

unit module mymodule;
use NativeCall;
constant LIB = ('gsl', v23);
# 去掉is export，只在模块内部使用原生函数
sub gsl_sf_airy_Ai(num64 $x, uint32 $mode --> num64) is native(LIB) { * }
sub Ai(Numeric $x, UInt $mode --> Num) is export { gsl_sf_airy_Ai($x.Num, $mode) }

方法三：明确导出标签（辅助尝试） #

有时候默认的is export行为可能有歧义，你可以明确指定导出标签，确保函数被正确导出到默认作用域：

unit module mymodule;
use NativeCall;
constant LIB = ('gsl', v23);
sub gsl_sf_airy_Ai(num64 $x, uint32 $mode --> num64) is native(LIB) is export(:DEFAULT) { * }
sub Ai(Numeric $x, UInt $mode --> Num) is export(:DEFAULT) { gsl_sf_airy_Ai($x.Num, $mode) }

这个方法不一定能解决根本问题，但可以作为前两种方法的补充尝试。

验证 #

修改模块后，不管你怎么交换测试顺序，运行测试都应该正常通过了：

use Test;
use lib '.';
use mymodule;

ok gsl_sf_airy_Ai(0e0, 0) == 0.3550280538878172, 'Ai 2';
ok Ai(0, 0) == 0.3550280538878172, 'Ai 1';

内容的提问来源于stack exchange，提问作者Fernando Santagata