锈中的“ const fn”可以串联字节片吗？

问题描述

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

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]);

我收到以下编译器错误：

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

错误非常清楚：const fn中的可变引用尚未成为稳定Rust的一部分。但是也许有一种方法可以在不使用可变引用的情况下在稳定的Rust中实现这一目标？

我知道我可以这样做：

const AABB: Packet = Packet(*b"AABB");
const AACC: Packet = Packet(*b"AACC");

但是在这种情况下，我没有重复使用“ AA”常量，而这正是我要达到的目的。

感谢您对此事的帮助！

解决方法

您可以使用数组文字并提供如下值：

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)
    }
}

constant-expression constants