在Rust中利用关联常量编译期生成&'static str是否可行？

完全可以实现你的需求，既可以通过标准库的const fn结合nightly特性完成，也可以用第三方库在稳定版Rust中简化实现。

方案一：标准库（Nightly Rust） #

需要启用两个nightly特性，借助const fn在编译期完成字符串拼接：

#![feature(const_for)]
#![feature(const_mut_refs)]

trait Parent {
    const SIZE: usize;
    const WORDS: [&'static str; Self::SIZE];

    const fn combined_words() -> &'static str {
        // 计算拼接后的总字节长度
        let mut total_len = 0;
        const {
            for (i, &word) in Self::WORDS.iter().enumerate() {
                total_len += word.len() + (i + 1).to_string().len();
            }
        }

        // 创建固定长度的静态字节数组存储结果
        let mut bytes = [0u8; total_len];
        let mut pos = 0;

        const {
            for (i, &word) in Self::WORDS.iter().enumerate() {
                // 复制单词字节到数组
                for &b in word.as_bytes() {
                    bytes[pos] = b;
                    pos += 1;
                }
                // 复制数字（i+1）的字节到数组
                let num_str = (i + 1).to_string();
                for &b in num_str.as_bytes() {
                    bytes[pos] = b;
                    pos += 1;
                }
            }
        }

        // 安全转换为&'static str（确保所有字节都是合法UTF-8）
        unsafe { std::str::from_utf8_unchecked(&bytes) }
    }
}

struct X;

impl Parent for X {
    const SIZE: usize = 3;
    const WORDS: [&'static str; Self::SIZE] = ["hi", "there", "friend"];
}

fn main() {
    assert_eq!(X::combined_words(), "hi1there2friend3");
}

说明 #

• const_for 允许在const环境中使用for循环，const_mut_refs 允许在const环境中修改可变变量；
• 先计算总长度以创建固定大小的字节数组（Rust要求const数组长度必须是编译期常量）；
• 手动复制单词和数字的字节到数组，最后通过from_utf8_unchecked转换为静态字符串（因为我们确保写入的是合法UTF-8）。

方案二：第三方库（稳定版Rust） #

使用const_format库可以避免手动处理字节数组，在稳定版中轻松实现编译期拼接：

首先在Cargo.toml添加依赖：

[dependencies]
const_format = "0.2"

然后编写代码：

use const_format::{concatcp, const_for};

trait Parent {
    const SIZE: usize;
    const WORDS: [&'static str; Self::SIZE];

    // 编译期预计算拼接结果
    const COMBINED: &'static str = {
        let mut result = "";
        const_for!{ i in 0..Self::SIZE =>
            result = concatcp!(result, Self::WORDS[i], i + 1);
        }
        result
    };

    fn combined_words() -> &'static str {
        Self::COMBINED
    }
}

struct X;

impl Parent for X {
    const SIZE: usize = 3;
    const WORDS: [&'static str; Self::SIZE] = ["hi", "there", "friend"];
}

fn main() {
    assert_eq!(X::combined_words(), "hi1there2friend3");
}

说明 #

• const_for! 宏用于在编译期遍历数组索引，concatcp! 宏负责编译期字符串拼接；
• 预计算的COMBINED关联常量在编译期生成，combined_words直接返回该常量即可。

内容的提问来源于stack exchange，提问作者martinomburajr