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

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

不。没有这样的语法。

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

不。我唯一的建议是对原始结构进行解构，然后重新创建它。您也不需要::<R>，因为它是推断的。

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

另请参阅：

RFC 1975之前的版本：Support type transformations in FRU (functional record update) syntax
Struct initializer ..x syntax should work for other structs with structurally equal subset of fields (issue #47741)
类似的问题：Struct update syntax for different types

是否存在用于在类似结构之间移动字段的语法？

1 个答案: