- 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/
这个问题在这里已经有了答案: JavaScript idiom: !something && function() (5 个答案) 关闭 9 年前。 我多次看到 fn && fn() 是对 if (
我在一个对象中有两个函数 var obj = {}; obj.fn1 = function(){ console.log('obj.fn1'); return this; }; obj.fn2 = f
我正在尝试使用以下 cloudformation 堆栈,但我一直失败并出现以下错误: 模板错误:每个 Fn::Split 对象都需要两个参数,(1) 字符串分隔符和 (2) 要拆分的字符串或返回要拆分
请在这方面提供一些帮助,我将不胜感激。不确定这意味着什么,因为这是我第一次使用 node 和 express。我将 express 设置为与 Node 一起使用,并尝试遵循网站 Express.js
我有一段代码接受 fn 作为参数并将其存储在 object 属性中。 var obj = {}; function anotherFn(fn){ obj["name"] = fn.apply(f
谁能解释一下? IE8 ( function(){ window.foo = function foo(){}; console.log( window.foo === foo );
我查看了lazy-seq的来源,我发现了这个: Clojure 1.4.0 user=> (source lazy-seq) (defmacro lazy-seq "Takes a body of
我知道 $fn.insertAfter() 用于在作为参数提供的元素之后插入元素。 $fn.after() 与它有何不同? 最佳答案 $.fn.after()help在您调用的目标元素之后插入一个元素
所以我的网络模板中有这个 CloudFormation 资源: Resources: ... PubSubnetAz2: Type: AWS::EC2::Subnet
有some conventions说到using brackets in JavaScript ,但是当使用方括号调用时,它们实际上会得到不同的对待吗? fn () 是否与 fn() 有任何不同,人类
我正在尝试将 clojurescript 编译为 Nodejs,我只是想使用 println 函数: (println "hello world") 但是,它给了我一个错误 No *print-fn
我在看别人代码的时候,有看到代码是这样写的 function(){ fn&&fn() } 大概意思是这么个意思,但是这我感觉这样写好像没意义,有带佬能指点一下吗
是否可以使用折叠表达式实现以下目的? template auto foo(Args... args) { //calling foo(x0, x1, x2) should be exactly
fn func(_: i64) -> bool { true } fn func_of_func(callback: &fn(i64) -> bool, arg: i64) -> bool {
我一直在到处寻找对此的解释。我知道,在 Javascript 中,您可以使用方括号表示法获取/设置对象的属性,但是当您在括号中使用“+”时会发生什么,如下所示: obj['e'+type+fn] =
我正在尝试根据Fn::GetAZs'集合动态生成资源: AWSTemplateFormatVersion: '2010-09-09' Transform: 'AWS::LanguageExtensio
新的 React Hooks 功能很酷,但有时会让我感到困惑。特别是,我将此代码包装在 useEffect Hook 中: const compA = ({ num }) => { const [
我看到这个快捷方式作为代码 Kata 的答案给出,但我很难理解下面的示例在做什么。 function func(fn) { return fn.bind.apply(fn, arguments);
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: C++ namespace question 我见过几个没有命名空间的例子。这样做有什么好处?
所以在一个项目中,我找到了可以简化为的代码: export abstract class Logger { private static log(level: LogLevels, ...ar
我是一名优秀的程序员,十分优秀!