- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我在 Rust 中尝试了函数指针魔术,最终得到了一个代码片段,我完全没有解释它为什么编译,甚至更多,为什么它运行。
fn foo() {
println!("This is really weird...");
}
fn caller<F>() where F: FnMut() {
let closure_ptr = 0 as *mut F;
let closure = unsafe { &mut *closure_ptr };
closure();
}
fn create<F>(_: F) where F: FnMut() {
caller::<F>();
}
fn main() {
create(foo);
create(|| println!("Okay..."));
let val = 42;
create(|| println!("This will seg fault: {}", val));
}
我无法解释为什么
foo
正在通过在
caller(...)
中转换空指针来调用到
F
类型的实例.我原以为只能通过相应的函数指针调用函数,但鉴于指针本身为空,显然情况并非如此。话虽如此,似乎我显然误解了 Rust 类型系统的一个重要部分。
最佳答案
这个程序实际上根本没有构造函数指针——它总是调用 foo
和这两个直接关闭。
每个 Rust 函数,无论是闭包还是 fn
item,具有唯一的匿名类型。这种类型实现了 Fn
/FnMut
/FnOnce
特征,视情况而定。 fn
的匿名类型item 的大小为零,就像没有捕获的闭包类型一样。
因此,表达式 create(foo)
实例化 create
的参数 F
与 foo
的类型 - 这不是函数指针类型 fn()
,但是一个匿名的、零大小的类型,仅用于 foo
.在错误消息中,rustc 调用此类型 fn() {foo}
,如您所见 this error message .
内create::<fn() {foo}>
(使用错误消息中的名称),表达式 caller::<F>()
将此类型转发到 caller
而不给它一个该类型的值。
最后,在 caller::<fn() {foo}>
表达式 closure()
脱糖至 FnMut::call_mut(closure)
.因为 closure
有类型 &mut F
哪里F
只是零尺寸类型 fn() {foo}
, 0
closure
的值本身根本就没有被使用过1,并且程序调用了foo
直接地。
同样的逻辑适用于闭包 || println!("Okay...")
, 喜欢 foo
有一个匿名的零大小类型,这次叫做 [closure@src/main.rs:2:14: 2:36]
.
第二个闭包就没有那么幸运了——它的类型不是零大小的,因为它必须包含对变量 val
的引用。 .这一次,FnMut::call_mut(closure)
实际上需要取消引用 closure
做它的工作。所以它崩溃了2。
1 像这样构造一个空引用在技术上是未定义的行为,因此编译器不对该程序的整体行为作出 promise 。但是,替换 0
与其他一些“地址”对齐 F
避免了零大小类型的问题,例如 fn() {foo}
,并给出 the same behavior !)
2 同样,构造一个空(或悬空)引用是实际承担责任的操作 - 之后,任何事情都会发生。段错误只是一种可能性 - rustc 的 future 版本,或者在稍微不同的程序上运行时的相同版本,可能会完全做其他事情!
关于rust - 为什么 Rust 允许通过空指针调用函数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/63164973/
为了让我的代码几乎完全用 Jquery 编写,我想用 Jquery 重写 AJAX 调用。 这是从网页到 Tomcat servlet 的调用。 我目前情况的类似代码: var http = new
我想使用 JNI 从 Java 调用 C 函数。在 C 函数中,我想创建一个 JVM 并调用一些 Java 对象。当我尝试创建 JVM 时,JNI_CreateJavaVM 返回 -1。 所以,我想知
环顾四周,我发现从 HTML 调用 Javascript 函数的最佳方法是将函数本身放在 HTML 中,而不是外部 Javascript 文件。所以我一直在网上四处寻找,找到了一些简短的教程,我可以根
我有这个组件: import {Component} from 'angular2/core'; import {UserServices} from '../services/UserService
我正在尝试用 C 实现一个简单的 OpenSSL 客户端/服务器模型,并且对 BIO_* 调用的使用感到好奇,与原始 SSL_* 调用相比,它允许一些不错的功能。 我对此比较陌生,所以我可能会完全错误
我正在处理有关异步调用的难题: 一个 JQuery 函数在用户点击时执行,然后调用一个 php 文件来检查用户输入是否与数据库中已有的信息重叠。如果是这样,则应提示用户确认是否要继续或取消,如果他单击
我有以下类(class)。 public Task { public static Task getInstance(String taskName) { return new
嘿,我正在构建一个小游戏,我正在通过制作一个数字 vector 来创建关卡,该数字 vector 通过枚举与 1-4 种颜色相关联。问题是循环(在 Simon::loadChallenge 中)我将颜
我有一个java spring boot api(数据接收器),客户端调用它来保存一些数据。一旦我完成了数据的持久化,我想进行另一个 api 调用(应该处理持久化的数据 - 数据聚合器),它应该自行异
首先,这涉及桌面应用程序而不是 ASP .Net 应用程序。 我已经为我的项目添加了一个 Web 引用,并构建了各种数据对象,例如 PayerInfo、Address 和 CreditCard。但问题
我如何告诉 FAKE 编译 .fs文件使用 fsc ? 解释如何传递参数的奖励积分,如 -a和 -target:dll . 编辑:我应该澄清一下,我正在尝试在没有 MSBuild/xbuild/.sl
我使用下划线模板配置了一个简单的主干模型和 View 。两个单独的 API 使用完全相同的配置。 API 1 按预期工作。 要重现该问题,请注释掉 API 1 的 URL,并取消注释 API 2 的
我不确定什么是更好的做法或更现实的做法。我希望从头开始创建目录系统,但不确定最佳方法是什么。 我想我在需要显示信息时使用对象,例如 info.php?id=100。有这样的代码用于显示 Game.cl
from datetime import timedelta class A: def __abs__(self): return -self class B1(A):
我在操作此生命游戏示例代码中的数组时遇到问题。 情况: “生命游戏”是约翰·康威发明的一种细胞自动化技术。它由一个细胞网格组成,这些细胞可以根据数学规则生存/死亡/繁殖。该网格中的活细胞和死细胞通过
如果我像这样调用 read() 来读取文件: unsigned char buf[512]; memset(buf, 0, sizeof(unsigned char) * 512); int fd;
我用 C 编写了一个简单的服务器,并希望调用它的功能与调用其他 C 守护程序的功能相同(例如使用 ./ftpd start 调用它并使用 ./ftpd stop 关闭该实例)。显然我遇到的问题是我不知
在 dos 中,当我粘贴此命令时它会起作用: "C:\Program Files (x86)\Google\Chrome\Application\chrome.exe" https://google.
在 dos 中,当我粘贴此命令时它会起作用: "C:\Program Files (x86)\Google\Chrome\Application\chrome.exe" https://google.
我希望能够从 cmd 在我的 Windows 10 计算机上调用 python3。 我已重新安装 Python3.7 以确保选择“添加到路径”选项,但仍无法调用 python3 并使 CMD 启动 P
我是一名优秀的程序员,十分优秀!