如何从方案字节向量中检索外部原始字节指针？

Question

方案提供了一种bytevector类型，可用于对字节数组执行低级操作(参见r6rs和切斯手册)。但是，它似乎没有提供一种方法来检索指向它正在存储的字节数组的底层指针，我需要该指针传递给外部C函数来填充或读取字节向量中的数据。

更准确地说，我正在尝试编写一些代码，用于在Idris2中对字节进行低级别处理--它使用Scheme作为后端，但是我是Scheme的新手，所以我肯定忽略了一些显而易见的东西:从字节向量中提取这个指针的首选方法是什么？

Answer 1

将字节向量的地址作为整数返回的操作非常不安全，因为垃圾收集器随后可能会移动字节向量并将其他对象放置在那里。将陈旧的地址传递给C代码可能会导致内存损坏。

Chez的foreign-procedure文档表示，声明为u8*的参数接受字节向量，并将其内容的地址传递给外接函数。这是安全的，因为FFI和GC合作确保对象不会在接收地址和调用外接函数之间移动--但是请参阅关于在外部数据结构中保留指针的警告。请参见lock-object，它暂时阻止GC移动或回收对象。

在球拍中，_bytes和_pointer的外来类型的工作方式类似。还有一个ptr-add操作，它将类似指针的对象和偏移量组合在一起。例如，如果bs是字节字符串，那么(ptr-add bs 1 _byte)可靠地转换为bs的第二个字节的地址，即使GC移动bs。我不知道Chez是否有类似的特征。