recursion 相关问题

我有以下标记特征和一些定义：特质 HasProperty {} 结构属性1；结构属性2； struct WithProperty {} 我想实现以下目标... 我有以下标记特征和一些定义： trait HasProperty {} struct Property1; struct Property2; struct WithProperty<P, Tail> {} 我想实现以下目标： fn check::<P, T>(token: T) where T: HasProperty {} fn test() { let token1 = WithProperty<Property1, WithProperty<Property2, ()>>; let token2 = WithProperty<Property1, ()>; check::<Property1>(token1); // should compile check::<Property2>(token1); // should compile check::<Property1>(token2); // should compile check::<Property2>(token2); // should fail with "WithProperty<Property1, ()> does not implement HasProperty<Property2>" } 但是我不明白如何实现WithProperty的特质一致性。由于特征定义重叠，以下内容不起作用： impl<P, Tail> HasProperty for WithProperty<P, Tail> {} impl<P, P2, Tail> HasProperty for WithProperty<P2, Tail> where Tail: HasProperty {} 我在 Yew 中发现以下内容解决了同样的问题，但我无法理解它是如何工作的：https://github.com/yewstack/yew/blob/master/packages/yew/src/html/component /properties.rs. 要理解yew解决方案，最好要求编译器转储宏扩展的 AST。这样您就可以准确地看到生成的结构和特征是什么。我不知道这是否正是在yew中的工作原理，但类似的东西是有效的，也许一些丑陋的部分可以隐藏在宏中： use std::marker::PhantomData; trait HasProperty<P, How> {} struct Property1; struct Property2; struct WithProperty<P, Tail>(PhantomData, Tail); fn with<P, Tail>(t: Tail) -> WithProperty<P, Tail> { WithProperty(PhantomData, t) } fn check<P, How>(token: &impl HasProperty<P, How>) {} struct Directly; impl<P, Tail> HasProperty<P, Directly> for WithProperty<P, Tail> {} struct Step<N>(N); impl<P, P2, Tail, N> HasProperty<P, Step<N>> for WithProperty<P2, Tail> where Tail: HasProperty<P, N> {} fn main() { let token1 = with::<Property1, _>(with::<Property2, _>(())); let token2 = with::<Property1, _>(()); check::<Property1, _>(&token1); // compiles check::<Property2, _>(&token1); // compiles check::<Property1, _>(&token2); // compiles // check::<Property2, _>(&token2); // fails with "the trait bound `(): HasProperty<Property2, _>` is not satisfied" } 这两个 HasProperty 实现并不重叠，因为它们是针对两个不同的 struct 实现的。 Step 是一个（类似链表的）包装器，指示该属性存在，并且发现 N 会进入 WithProperty 嵌套。如果你写的是： with::<Property1, _>(with::<Property2, _>(with::<Property1, _>(()))) 然后 check 调用会抱怨多个可能的 impl。我不知道yew是否能更优雅地处理这个问题。

recursion rust traits

回答 1 投票 0

LeetCode - 最小下降路径总和 - 关于记忆的问题

我正在尝试解决这个leetcode问题：https://leetcode.com/problems/minimum-falling-path-sum/description 给定一个 n x n 整数矩阵数组，返回任何下降路径 t 的最小和...

python recursion dynamic-programming memoization

回答 1 投票 0

在Python中递归打印相同数量的a和b

我想知道如何使用递归打印等量的 a 和 b 字符串。例如，如果输入为“4”，则输出将为 aabb abab bbaa、baba、baab 和 abba。这是

python string recursion

回答 2 投票 0

修改Enum默认返回值

我正在尝试修改 Enum 以默认返回值：类 EnumDirectValueMeta(EnumMeta): def __getattribute__(cls, 名称): 尝试：返回对象.__getattribute__(cls, name).v...