首页 > 解决方案 > 通过 NativeCall 在 Raku 中使用 void 结构

问题描述

我正在尝试链接libzip到 Raku,它使用 voidstruct或没有主体的结构,如下所示:

struct zip;
typedef struct zip zip_t;

我以同样的方式在我的 Raku 程序中声明它:

class zip_t is repr('CStruct'){};

这失败了:

Class zip_t has no attributes, which is illegal with the CStruct representation.

我发现该错误的唯一参考是在 MyHTML中的这个未解决的问题中。这可能会使其回归,但我真的不确定。任何的想法?

标签: rakurakudonativecall

解决方案


谷歌搜索“无属性,这对于 CStruct 表示是非法的”会产生三个匹配项。第三个导致模块 LibZip的以下错误/更改

- class zip is repr('CStruct') is export { }
+ class zip is repr('CPointer') is export { }

在我发表这篇文章之前,我看到 Curt Tilmes 发表了类似的评论。


我对 C 知之甚少。但我喜欢研究事物。这个答案是一个猜测和一些基于谷歌搜索的注释。

  • 您引用的错误消息是关于 NativeCall,这反过来意味着它是关于 Rakudo 编译器,而不是 Raku 语言。(我想你知道这一点,对于许多人和情况来说,这种区别通常并不重要,但我认为在这种情况下值得注意。)

  • 谷歌“空结构”的顶级 SO 匹配是C 中的空结构。该问题询问空结构的语义以及将它们与外语一起使用。这个问题及其答案似乎很有用;接下来的几点是基于它们的摘录。

  • “没有命名成员的结构[具有未定义的行为]”。我想说这解释了为什么您会收到 NativeCall 错误消息(“没有属性,这对于 CStruct 表示是非法的”。)。NativeCall 是关于为 C 提供一个可靠的可移植接口,因此它可能必须立即拒绝未定义的方面。(也许错误消息可能会暗示要做什么?可能不会。最好有人必须搜索与消息匹配的内容,就像您所做的那样。然后大概他们会看到这个 SO。)

  • 我假设您只是尝试与 libzip 的空结构绑定,作为来回传递数据的一部分,而不读取或写入它。我怀疑这是问题的症结所在;鉴于 NativeCall(相当合理)拒绝以通常的方式进行绑定,您如何绑定?

  • “从编写 [外语] 绑定到 C 库的角度来看……除了将 [empty struct] 类型的对象传递给导入的 C 函数之外,您永远不会对它们做任何事情。” 我认为这对于您的情况是正确的,并且根据 C 规范,其他任何行为都将是未定义的行为,因此至少与用于编译 Rakudo 的 C 库和 C 编译器的特定 C 编译器相关联,即使在那时也很可能未定义。我想 Curt 已经询问了你的用法,以防绑定正在做或需要一些疯狂的事情,但我非常怀疑它是。


推荐阅读