- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我找到了自己对 my own question 的答案如下
trait Mu<T> {
fn unroll(&self, &Mu<T>) -> T;
}
impl<T, F:Fn(&Mu<T>) -> T> Mu<T> for F {
fn unroll(&self, o:&Mu<T>) -> T { self(o) }
}
fn y<T, F:Fn(T) -> T>(f:&F) -> T {
(&|w:&Mu<T>| { w.unroll(w) }).unroll(&|w:&Mu<T>| { f(w.unroll(w)) })
}
它编译并完全回答了问题。但为了让它更漂亮,我实现了 Fn
Mu<T>
的特征如下所示:
impl<'a, T> Fn<&'a Mu<T>> for &'a Mu<T> {
extern "rust-call" fn call(&self, o: &'a Mu<T>) -> T {
self.unroll(o)
}
}
impl<'a, T> FnMut<&'a Mu<T>> for &'a Mu<T> {
extern "rust-call" fn call_mut(&mut self, o: &'a Mu<T>) -> T {
self.unroll(o)
}
}
impl<'a, T> FnOnce<&'a Mu<T>> for &'a Mu<T> {
type Output = T;
extern "rust-call" fn call_once(self, o: &'a Mu<T>) -> T {
self.unroll(o)
}
}
有特点
#![feature(fn_traits)]
#![feature(unboxed_closures)]
我想把 y 组合子写成
fn y1<T, F:Fn(T) -> T>(f:&F) -> T {
(&|w:&Mu<T>| { w(w) })(&|w:&Mu<T>| { f(w(w)) })
}
但这不编译。错误信息:
rustc 1.19.0-nightly (78d8416ca 2017-06-17)
error[E0618]: expected function, found `&Mu<T>`
--> <anon>:36:20
|
36 | (&|w:&Mu<T>| { w(w) })(&|w:&Mu<T>| { f(w(w)) })
| ^^^^
|
note: defined here
--> <anon>:36:8
|
36 | (&|w:&Mu<T>| { w(w) })(&|w:&Mu<T>| { f(w(w)) })
| ^
error[E0618]: expected function, found `&Mu<T>`
--> <anon>:36:44
|
36 | (&|w:&Mu<T>| { w(w) })(&|w:&Mu<T>| { f(w(w)) })
| ^^^^
|
note: defined here
--> <anon>:36:30
|
36 | (&|w:&Mu<T>| { w(w) })(&|w:&Mu<T>| { f(w(w)) })
| ^
为什么 Rust 不能找出给定的 Fn
执行?有没有办法改善这一点?
进一步的尝试表明它与那些特性无关,甚至与闭包无关。即使是答案中显示的示例 Shepmaster 也不是最小的。一个最小的示例如下所示:
trait T1 {}
trait T2 {}
impl<'a> T1 for &'a T2 {}
struct S {}
impl T2 for S {}
fn main() {
let t2: &T2 = &S {};
let t1: &T1 = &t2; //This is OK
let t3: &T1 = t2; //E0308: Expecting `T1`, found `T2`
}
问题是我们试图为特征对象引用实现特征,然后我们需要在将特征对象转换为目标特征的特征对象时添加额外的引用。
最佳答案
在与 Rust 开发人员讨论后,我们认为这是某种错误。为此,我们提交了 issue 42736 .
一个较小的例子表明问题与特征是分开的。它实际上是任何引用,而不仅仅是特征:
#![feature(fn_traits)]
#![feature(unboxed_closures)]
struct S;
fn repro_ref(thing: &S) {
thing();
}
impl<'a> FnOnce<()> for &'a S {
type Output = ();
extern "rust-call" fn call_once(self, _arg: ()) -> () {}
}
fn main() {}
对此有一个解决方法,即采用另一个引用:
fn ok_ref_ref(thing: &S) {
(&thing)();
}
虽然这并不能解决原来的例子:
fn y1<T, F>(f: &F) -> T
where
F: Fn(T) -> T,
{
(&|w: &Mu<T>| (&w)(w))(&|w: &Mu<T>| f((&w)(w)))
}
error[E0059]: cannot use call notation; the first type parameter for the function trait is neither a tuple nor unit
--> src/main.rs:41:19
|
41 | (&|w: &Mu<T>| (&w)(w))(&|w: &Mu<T>| f((&w)(w)))
| ^^^^^^^
那是因为 Fn*
的原始实现特质不太正确。参数应该是单个元组。请注意 Fn<(&'a Mu<T>,)>
中的括号和尾随逗号.
总而言之,这有效:
#![feature(fn_traits)]
#![feature(unboxed_closures)]
trait Mu<T> {
fn unroll(&self, &Mu<T>) -> T;
}
impl<T, F> Mu<T> for F
where
F: Fn(&Mu<T>) -> T,
{
fn unroll(&self, o: &Mu<T>) -> T {
self(o)
}
}
impl<'a, T> Fn<(&'a Mu<T>,)> for &'a Mu<T> {
extern "rust-call" fn call(&self, o: (&'a Mu<T>,)) -> T {
self.unroll(o.0)
}
}
impl<'a, T> FnMut<(&'a Mu<T>,)> for &'a Mu<T> {
extern "rust-call" fn call_mut(&mut self, o: (&'a Mu<T>,)) -> T {
self.call(o)
}
}
impl<'a, T> FnOnce<(&'a Mu<T>,)> for &'a Mu<T> {
type Output = T;
extern "rust-call" fn call_once(mut self, o: (&'a Mu<T>,)) -> T {
self.call_mut(o)
}
}
fn y1<T, F>(f: &F) -> T
where
F: Fn(T) -> T,
{
(&|w: &Mu<T>| (&w)(w))(&|w: &Mu<T>| f((&w)(w)))
}
fn main() {}
我还委托(delegate)了来自 Fn*
的电话特征彼此避免重复实现。
关于rust - 为什么对实现 Fn 特征的特征的引用不可调用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44614206/
编辑备注 由于 Rust(版本:1.42)仍然没有稳定的 ABI ,推荐使用extern (目前相当于extern "C"(将来可能会改变))否则,可能需要重新编译库。 This article解释如
词法分析器/解析器文件位于 here非常大,我不确定它是否适合只检索 Rust 函数列表。也许我自己编写/使用另一个库是更好的选择? 最终目标是创建一种执行管理器。为了上下文化,它将能够读取包装在函数
我试图在 Rust 中展平 Enum 的向量,但我遇到了一些问题: enum Foo { A(i32), B(i32, i32), } fn main() { let vf =
我正在 64 位模式下运行的 Raspberry Pi 3 上使用 Rust 进行裸机编程。我已经实现了一个自旋锁,如下所示: use core::{sync::atomic::{AtomicBool
我无法理解以下示例是如何从 this code 中提炼出来的, 编译: trait A: B {} trait B {} impl B for T where T: A {} struct Foo;
在我写了一些代码和阅读了一些文章之后,我对 Rust 中的移动语义有点困惑,我认为值移动后,它应该被释放,内存应该是无效的。所以我尝试写一些代码来作证。 第一个例子 #[derive(Debug)]
https://doc.rust-lang.org/reference/types/closure.html#capture-modes struct SetVec { set: HashSe
考虑 const-generic 数据结构的经典示例:方矩阵。 struct Matrix { inner: [[T; N]; N] } 我想返回一个结构体,其 const 参数是动态定义的:
以下代码无法编译,因为 x在移动之后使用(因为 x 具有类型 &mut u8 ,它没有实现 Copy 特性) fn main() { let mut a: u8 = 1; let x:
我在玩 Rust,发现了下面的例子: fn main() { let mut x = [3, 4, 5].to_vec(); x; println!("{:?}", x); }
假设一个 Rust 2018 宏定义了一个 async里面的功能。它将使用的语法与 Rust 2015 不兼容。因此,如果您使用 2015 版编译您的 crate,那么宏中的扩展代码不会与它冲突吗?
假设我有一些 Foo 的自定义集合s: struct Bar {} struct Foo { bar: Bar } struct SubList { contents: Vec, }
代码如下: fn inner(x:&'a i32, _y:&'b i32) -> &'b i32 { x } fn main() { let a = 1; { let b
在lifetime_things的定义中,'b的生命周期比'a长,但实际上当我调用这个函数时,x1比y1长,但是这样可以编译成功: //here you could see 'b:'a means
我正在尝试检索 FLTK-RS Widget 周围的 Arc Mutex 包装器的内部值: pub struct ArcWidget(Arc>); impl ArcWidget{ pub
如下代码所示,我想封装一个定时函数,返回一个闭包的结果和执行时间。 use tap::prelude::Pipe; use std::time::{Instant, Duration}; pub fn
我想实现自己的通用容器,这是我正在使用的特征的片段: pub trait MyVec where Self: Default + Clone + IntoIterator, Self:
所需代码: 注释掉的块可以编译并工作,但是我想从嵌套的匹配样式转变为更简洁的函数链 async fn ws_req_resp(msg: String, conn: PgConn) -> Result>
我正在尝试编写一些代码,该代码将生成具有随机值的随机结构。对于结构,我具有以下特征和帮助程序宏: use rand::{thread_rng, Rng}; use std::fmt; pub trai
我有一个带有函数成员的结构: struct Foo { fun: Box, } type FooI = Foo; 这不起作用: error[E0106]: missing lifetime s
我是一名优秀的程序员,十分优秀!