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

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-like 方法？

Answer 1

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

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

在某处是否有更好的语法，或者有更好的方法来为非平凡的结构实现这些类似映射的方法？

没有。我唯一的建议是解构您的原始结构，然后重新创建它。你也不需要::<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