为什么是default :: default（）一个常数函数？

发布于 2025-02-03 18:40:55 字数 431 浏览 1 评论 0原文

从生锈1.6开始，当前特征 default 被定义为，

pub trait Default {
    fn default() -> Self;
}

为什么这不是

pub trait Default {
    const fn default() -> Self;
}

原文

As of Rust 1.6, the current trait Default is defined as,

pub trait Default {
    fn default() -> Self;
}

Why isn't this though

pub trait Default {
    const fn default() -> Self;
}

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

太阳哥哥 2025-02-10 18:40:55

有很多方法可以实现默认:: default不是const。例如：

use rand;

struct MyStruct {
    v: u32
}
impl Default for MyStruct {
    fn default() -> Self {
        Self {
            // RNG will never be const!
            v: rand::random()
        }
    }
}

人为较少的示例将包括引用全局变量，例如某些全局默认配置的arc克隆。

更改默认值::默认即使在Rustc中支持，也是不可接受的变化，并且可以说是不希望的。

There are plenty of ways to implement Default::default that are not const. For example:

use rand;

struct MyStruct {
    v: u32
}
impl Default for MyStruct {
    fn default() -> Self {
        Self {
            // RNG will never be const!
            v: rand::random()
        }
    }
}

Less contrived examples would include referencing global variables, such as cloning an Arc of some global default configuration.

Changing Default::default, even if supported in rustc, would be an unacceptably breaking change, and arguably undesired.

回复收藏 0 原文

古镇旧梦 2025-02-10 18:40:55

rustc的硬限制

这是因为目前

error[E0379]: functions in traits cannot be declared const
  --> src/main.rs:15:2
   |
15 |     const fn default() -> Self {
   |     ^^^^^ functions in traits cannot be const

是在github＃63065 。当可以声明const中的功能时，也许可以更好地解决此问题。

如果您想知道如何解决此问题现在，请参见问题的答案“ rust：conse ” rust：conse代码>＆lt; foo as默认＆gt; :: default 在常数中“

Hard limitation of rustc

This is because currently,

error[E0379]: functions in traits cannot be declared const
  --> src/main.rs:15:2
   |
15 |     const fn default() -> Self {
   |     ^^^^^ functions in traits cannot be const

This is being worked on GitHub #63065. Perhaps there will be a better solution to this problem when functions in traits can be declared const.