Rust:static,const,new和traits

dsf9zpds  于 2023-05-29  发布在  其他
关注(0)|答案(2)|浏览(146)

让我们有一个简单的特征:

trait Object {
    fn new() -> Self
    where
        Self: Sized;
}

struct实现了这个trait:

struct Foo { /* internal fields */ }

impl Object for Foo {
    fn new() -> Self {
        Self { /* some magic */ }
    }
}

现在我们想在main.rs中声明静态变量,例如:

static FOO: Foo = Foo::new();

但我们立刻得到
错误[E0015]:静态中的调用仅限于常量函数、元组结构和元组变体
因此,如果我们想构造Foo类型的静态变量,我们应该声明一个类似new的函数,但它应该是不同的函数,例如:

impl Foo {
    const fn const_new() -> Self { Self { } }
}

static FOO: Foo = Foo::const_new();

但是const-性状函数的双胞胎似乎非常奇怪。有没有一种惯用的方法来编写/实现这样的const副本?

更新

为了清楚起见,我在这里扩展了@KevinReid的答案。给定的代码可以工作:

pub trait Object {
    fn new() -> Self;
}

pub struct Foo {}

impl Foo {
    pub const fn new() -> Self { // (1)
        Self {}
    }
}

impl Object for Foo {
    fn new() -> Self { // (2)
        println!("A-HA!");
        Self::new() // no recursion, calls (1)
    }
}

const FOO: Foo = Foo::new(); // calls (1)

fn main() {
    let obj: Foo = Object::new(); // calls (2)
    let foo = Foo::new(); // calls (1)
}

这个code在Rust Playground上。

cotxawn7

cotxawn71#

您可以将const_new重命名为new。当trait方法和固有方法具有相同的名称时,总是选择固有方法;它不被认为是模糊的。
这样,相同的调用可以在const和泛型上下文中编写,并且没有不寻常的名称。(我还建议记录这两个函数,以便相互提及,这样人们就不会因为一个存在而认为另一个不存在。
也就是说,我不能说这个想法是 * 惯用的;“我没有在我使用过的图书馆看到过。

6rqinv9w

6rqinv9w2#

根据Rust编译器的建议,这是惯用的解决方案:

use once_cell::sync::Lazy;

static FOO: Lazy<Foo> = Lazy::new(Foo::new);

Playground

相关问题