更新具有私有字段的Rust结构的公共字段

时间:2016-09-01 17:00:49

标签: struct rust

我有一个结构Foo,它代表一种外部序列化格式。 Foo有几十个字段,并且一直在添加更多字段。令人高兴的是,所有新领域都保证有合理的默认值。

Rust有一个很好的语法,可以使用默认值创建结构,然后更新一些选定的值:

Foo {
  bar: true,
  ..Default::default()
} 

同样地,我们可以表示"这个结构在未来的版本中可能有更多的字段"使用PhantomData类型的私有字段。

但如果我们将这两个习语结合起来,就会出现错误:

use std::default::Default;

mod F {
    use std::default::Default;
    use std::marker::PhantomData;

    pub struct Foo {
        pub bar: bool,
        phantom: PhantomData<()>,
    }

    impl Default for Foo {
        fn default() -> Foo {
            Foo {
                bar: false,
                phantom: PhantomData,
            }
        }
    }
}

fn main() {
    F::Foo {
        bar: true,
        ..Default::default()
    };
}

这给了我们错误:

error: field `phantom` of struct `F::Foo` is private [--explain E0451]
  --> <anon>:23:5
   |>
23 |>     F::Foo {
   |>     ^

从逻辑上讲,我认为这应该有效,因为我们只是更新公共字段,而且它会很有用。另一种方法是支持以下内容:

Foo::new()
  .set_bar(true)

......这将使几十个领域变得乏味。

我该如何解决这个问题?

2 个答案:

答案 0 :(得分:7)

默认字段语法不起作用,因为您仍在创建新实例(即使您尝试从另一个对象获取某些字段值)。

  

另一种方法是支持以下内容:

Foo::new()
  .set_bar(true)
     

......这将使几十个领域变得乏味。

我不确定即使有很多字段,这个:

Foo::new()
   .set_bar(true)
   .set_foo(17)
   .set_splat("Boing")

比以下更加繁琐:

Foo {
   bar: true,
   foo: 17,
   splat: "Boing",
   ..Foo::default()
}

或者,您可以将公共字段分成他们自己的类型:

pub struct FooPub {
    pub bar: bool,
    // other pub fields
}

pub struct Foo {
    pub bar: bool,
    // other pub fields
    // alternatively, group them: pub public: FooPub,

    foo: u64,
}

impl Foo {
    pub fn new(init: FooPub) {
        Foo {
            bar: init.bar,
            // other pub fields
            // alternative: public: init

            // private fields
            foo: 17u64,
        }
    }
}

然后您将其称为:

Foo::new(FooPub{ bar: true })

或添加fn FooPub::default()以便您默认某些字段:

Foo::new(FooPub{ bar: true, ..FooPub::default()})

答案 1 :(得分:5)

phantom重命名为__phantom,将其公开并#[doc(hidden)]

use std::default::Default;

mod foo {
    use std::default::Default;
    use std::marker::PhantomData;

    pub struct Foo {
        pub bar: bool,

        // We make this public but hide it from the docs, making
        // it private by convention.  If you use this, your
        // program may break even when semver otherwise says it
        // shouldn't.
        #[doc(hidden)]
        pub _phantom: PhantomData<()>,
    }

    impl Default for Foo {
        fn default() -> Foo {
            Foo {
                bar: false,
                _phantom: PhantomData,
            }
        }
    }
}

fn main() {
    foo::Foo {
        bar: true,
        ..Default::default()
    };
}

这是一个不那么罕见的模式,实例:std::io::ErrorKind::__Nonexhaustive

当然,如果用户选择使用__named字段,用户将不会收到任何警告或任何内容,但__会明确表达意图。如果需要警告,则可以使用#[deprecated]