如何将非可变引用从 Rust 传递给不使用 const 的 C-API即使它应该使用?

如何解决如何将非可变引用从 Rust 传递给不使用 const 的 C-API即使它应该使用?

我有一个 C-API 的包装器:

#[repr(transparent)]
pub struct Request(http_request_t);

这个包装器提供了几种与请求交互的方法:

impl Request {
    pub fn bytes_received(&self) -> usize {
        unsafe {
            http_request_bytes_received(&self.0 as *const http_request_t)
        }
    }
}

不幸的是,C-API 对 const-correctness 没有那么严格,因此具有 usize http_request_bytes_received(*http_request_t) 的类型签名,它由 bindgen 尽职地转换为 http_request_bytes_received(*mut http_request_t) -> usize

现在我可以摆脱这种情况了,但是从 &T 转换到 *mut T 可以 easily lead to undefined behaviour(这是一个令人讨厌的转换)。但它可能没问题,因为 http_request_bytes_received 不会改变 http_request_t

一种可能的替代方法是使用 UnsafeCell,因此 http_request_t 是内部可变的:

#[repr(transparent)]
pub struct Request(UnsafeCell<http_request_t>);

impl Request {
    pub fn bytes_received(&self) -> usize {
        unsafe {
            http_request_bytes_received(self.0.get())
        }
    }
}

这种方法是否合理?是否有任何严重的缺点?

(我想它可能会限制一些 Rust 优化,并使 Request !Sync

解决方法

简短回答:只需将其转换为 *mut T 并将其传递给 C。

长答案:

最好先了解为什么将 *const T 转换为 *mut T 容易出现未定义的行为。

Rust 的内存模型确保 &mut T 不会与其他任何东西别名,因此编译器可以自由地完全破坏 T 然后恢复其内容,而程序员无法观察到这种行为。如果 &mut T&T 共存并指向同一位置,则会出现未定义的行为,因为如果在编译器破坏 &T 时从 &mut T 读取会发生什么?类似地,如果您有 &T,编译器假定没有人会修改它(通过 UnsafeCell 的内部可变性除外),如果它指向的内存被修改,则会出现未定义的行为。

根据背景,很容易理解为什么 *const T*mut T 是危险的——您不能取消引用结果指针。如果您曾经取消引用 *mut T,您就获得了一个 &mut T,它将是 UB。但是,转换操作本身是安全的,您可以安全地将 *mut T 转换回 *const T 并取消引用它。

这是 Rust 语义;在 C 端,关于 T* 的保证很弱。如果您持有 T*,编译器不能假设没有共享者。事实上,编译器甚至不能断言它指向有效地址(它可能是空指针或越后指针)。除非代码显式写入指针,否则 C 编译器无法生成存储指令到内存位置。

T* 在 C 端的弱含义意味着它不会违反 Rust 关于 &T 语义的假设。您可以安全地将 &T 强制转换为 *mut T 并将其传递给 C,前提是 C 端从不修改指针指向的内存。

请注意,您可以指示 C 编译器该指针不会与 T * restrict 的其他任何内容进行别名,但是由于您提到的 C 代码对 const 的正确性并不严格,它可能确实如此也不要使用 restrict

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


依赖报错 idea导入项目后依赖报错,解决方案:https://blog.csdn.net/weixin_42420249/article/details/81191861 依赖版本报错:更换其他版本 无法下载依赖可参考:https://blog.csdn.net/weixin_42628809/a
错误1:代码生成器依赖和mybatis依赖冲突 启动项目时报错如下 2021-12-03 13:33:33.927 ERROR 7228 [ main] o.s.b.d.LoggingFailureAnalysisReporter : *************************** APPL
错误1:gradle项目控制台输出为乱码 # 解决方案:https://blog.csdn.net/weixin_43501566/article/details/112482302 # 在gradle-wrapper.properties 添加以下内容 org.gradle.jvmargs=-Df
错误还原:在查询的过程中,传入的workType为0时,该条件不起作用 &lt;select id=&quot;xxx&quot;&gt; SELECT di.id, di.name, di.work_type, di.updated... &lt;where&gt; &lt;if test=&qu
报错如下,gcc版本太低 ^ server.c:5346:31: 错误:‘struct redisServer’没有名为‘server_cpulist’的成员 redisSetCpuAffinity(server.server_cpulist); ^ server.c: 在函数‘hasActiveC
解决方案1 1、改项目中.idea/workspace.xml配置文件,增加dynamic.classpath参数 2、搜索PropertiesComponent,添加如下 &lt;property name=&quot;dynamic.classpath&quot; value=&quot;tru
删除根组件app.vue中的默认代码后报错:Module Error (from ./node_modules/eslint-loader/index.js): 解决方案:关闭ESlint代码检测,在项目根目录创建vue.config.js,在文件中添加 module.exports = { lin
查看spark默认的python版本 [root@master day27]# pyspark /home/software/spark-2.3.4-bin-hadoop2.7/conf/spark-env.sh: line 2: /usr/local/hadoop/bin/hadoop: No s
使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams[&#39;font.sans-serif&#39;] = [&#39;SimHei&#39;] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -&gt; systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping(&quot;/hires&quot;) public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate&lt;String
使用vite构建项目报错 C:\Users\ychen\work&gt;npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-