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

Question

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

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

Rust 起初似乎也不例外。 struct 的许多 impl 包含一个名为 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

我不确定您是否可以（或者应该）依赖宏中结构字段的顺序。

但也许与您想要的相似，因为它节省了构造函数样板，是 derive_builder crate。

你可以这样使用它：

#[macro_use]
extern crate derive_builder;

#[derive(Builder, Debug)]
struct Circle {
    x: i32,
    y: i32,
    radius: i32,
}

fn do_stuff() -> Result<(), String> {
    let c = CircleBuilder::default()
        .x(2)
        .y(4)
        .radius(123)
        .build()?;

    println!("     x = {}", c.x);
    println!("     y = {}", c.y);
    println!("radius = {}", c.radius);

    Ok(())
}

注意调用函数中的Result和调用build()后的?。

确保在您的 Cargo.toml:

中包含此内容

[dependencies]
derive_builder = "0.4.7"

Answer 2

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

如果您愿意公开类型的详细信息，最简单的解决方案是将字段设置为 public:

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.

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

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

How to initialize a struct with a series of arguments

rust

rust-macros