如何使用一系列参数初始化结构

Question

在许多语言中，一个常见的构造函数习惯用法是使用如下伪代码的语法来初始化对象的值：

constructor Foo(args...) {
    for arg {
        object.arg = arg
    }
}

Rust 起初似乎也不例外。许多implfor astruct包括一个构造函数，new用于将有序的一系列参数压缩到结构的字段上：

struct Circle {
    x: i32,
    y: i32,
    radius: i32,
}

impl Circle {
    fn new(x: i32, y: i32, radius: i32) -> Circle {
        Circle { x: x, y: y, radius: radius }
    }
}

使用宏执行此操作可能看起来像zip!(Circle, 52, 32, 5). 它会将值按顺序压缩到Circle. 双方zip!(Circle, 52, 32)或zip!(Circle, 52, 32, 5, 100)会出现问题，但像他这样的宏将是一个非常灵活的方式来推值到任何结构的新实例没有那么多样板。

有没有一种惯用的方法来简化这个样板？如何在不显式编写样板代码的情况下将一系列有序参数映射到结构的每个字段上？

Answer 1

这对于宏来说是不可能的，原因很简单：宏不能凭空想象字段名称。

如果您愿意公开类型的详细信息，最简单的解决方案是公开字段：

struct Circle {
    pub x: i32,
    pub y: i32,
    pub radius: i32,
}

fn main() {
    let circle = Circle { x: 3, y: 4, radius: 5 };
}

也就是说，不需要有构造函数，没有构造函数它也能正常工作。

毕竟，如果构造函数除了传递值之外什么都不做，那么构造函数本身就毫无意义了，不是吗？

如果您希望提供更短的初始化语法，您可以例如：

use std::convert::From;

impl From<(i32, i32, i32)> for Circle {
    fn from(t: (i32, i32, i32)) -> Circle {
        Circle { x: t.0, y: t.1, radius: t.2 }
    }
}

fn main() {
    let circle: Circle = (3, 4, 5).into();
}

通常，类型推断应该使您不必拼写: Circle.

然而，我会注意到这更容易出错，因为在没有注意到的情况下交换两个参数要容易得多。您可能希望坚持使用显式名称，或者引入显式类型。