syntax - 是否有在相似结构之间移动字段的语法？

Question

我有一个大结构 Foo<Q> ，并想要 map它变成了Foo<R>大多数字段不需要更新。我希望使用 ..运算符，但这是一个类型错误，因为它们在技术上是不同的类型。

即给定:

struct Foo<T> {
    a: usize,
    b: usize,
    t: T,
}

let q: Foo<Q>;

我想写:

let r = Foo::<R> {
    t: fixup(q.t),
    ..q
};

但是，这给了我一个类型错误:

error[E0308]: mismatched types
   |
 3 |         ..q
   |           ^ expected struct `R`, found struct `Q`
   |
   = note: expected type `Foo<R>`
              found type `Foo<Q>`

类型错误是合理的，因为在这种情况下可以将类型视为模板。

我唯一的解决方法是完整地写出转换，这很快就会变得很丑陋:

let r = Foo::<R> {
    a: q.a,
    b: q.b,
    t: fixup(q.t),
};

这是 a playground with a full test-case ，包括编译错误和长格式。

---

在某个地方是否有更好的语法，或者有更好的方法来实现这些 map -类似非平凡结构的方法？

Answer 1

Is there syntax for moving fields between similar structs?

没有。没有这样的语法。 “结构更新”(以前称为“功能记录更新”)语法的当前实现只允许完全相同的类型。

Is there better syntax for this somewhere, or a better way to implement these map-like methods for non-trivial structs?

没有。我唯一的建议是解构您的原始结构，然后重新创建它。您也不需要 ::<R>据推测。

let Foo { a, b, c, d, e, t } = q;
let r = Foo {
    a,
    b,
    c,
    d,
    e,
    t: fixup(t),
};

另见:

• RFC 2528 — Type-changing struct update syntax
• Issue #47741 — Struct initializer ..x syntax should work for other structs with structurally equal subset of fields
• 类似问题:Struct update syntax for different types