rust 中的“const fn”可以连接字节切片吗?

Fél*_*ger 6 constants constant-expression rust

当我编译以下代码片段时:

struct Packet([u8; 4]);

impl Packet {
    const fn from(labels: [&[u8; 2]; 2]) -> Packet {
        let mut bytes = [0; 4];
        bytes[..2].copy_from_slice(labels[0]);
        bytes[2..].copy_from_slice(labels[1]);
        Packet(bytes)
    }
}

const AA: &[u8; 2] = b"AA";
const BB: &[u8; 2] = b"BB";
const CC: &[u8; 2] = b"CC";

const AABB: Packet = Packet::from([AA, BB]);
const AACC: Packet = Packet::from([AA, CC]);
Run Code Online (Sandbox Code Playgroud)

我收到以下编译器错误:

error[E0723]: mutable references in const fn are unstable
 --> src/main.rs:7:9
  |
7 |         bytes[..2].copy_from_slice(labels[0]);
  |         ^^^^^^^^^^
  |
  = note: see issue #57563 <https://github.com/rust-lang/rust/issues/57563> for more information
  = help: add `#![feature(const_fn)]` to the crate attributes to enable
Run Code Online (Sandbox Code Playgroud)

错误很明显:const fn 中的可变引用还不是稳定 Rust 的一部分。但是也许有一种方法可以在不使用可变引用的情况下在稳定的 Rust 中实现这一点?

我知道我可以这样做:

const AABB: Packet = Packet(*b"AABB");
const AACC: Packet = Packet(*b"AACC");
Run Code Online (Sandbox Code Playgroud)

但在这种情况下,我没有重用“AA”常量,这正是我想要实现的。

感谢您对此事的任何帮助!

Pet*_*all 4

您可以使用数组文字并提供值,如下所示:

impl Packet {
    const fn from(labels: [&[u8; 2]; 2]) -> Packet {
        let bytes = [labels[0][0], labels[0][1], labels[1][0], labels[1][1]];
        Packet(bytes)
    }
}
Run Code Online (Sandbox Code Playgroud)

  • 它纯粹是风格上的,但您可以使用参数模式使其更加简洁和(IMO)可读,[像这样](https://play.rust-lang.org/?version=stable&amp;mode=debug&amp;edition= 2018&amp;要点=19aa363ef746d00b075d94e6e5449272)。 (2认同)