3

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

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

Rust 起初似乎也不例外。许多包含一个构造函数,impl用于将一系列有序的参数压缩到结构的字段中:structnew

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)都会出现问题,但是像这样的宏将是一种非常灵活的方式,可以将值推送到任何结构的新实例上,而无需太多样板。

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

4

2 回答 2

5

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

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

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.

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

于 2017-05-25T09:39:29.587 回答
3

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

但也许与您想要的类似,因为它节省了构造函数样板,是derive_buildercrate

你可以像这样使用它:

#[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"
于 2017-05-25T01:39:36.160 回答