无法遍历Vec<&str>并将元素传入option_env!宏？

我在项目的.cargo/config.toml中配置了以下环境变量：

[env]
GAME_ZERO_LEVEL = "0"
GAME_ZERO_MULTIPLIER = "0.1"
GAME_ONE_LEVEL = "1"
GAME_ONE_MULTIPLIER = "1.0"
GAME_TWO_LEVEL = "2"
GAME_TWO_MULTIPLIER = "2.5"
GAME_THREE_LEVEL = "3"
GAME_THREE_MULTIPLIER = "5.0"
GAME_FOUR_LEVEL = "4"
GAME_FOUR_MULTIPLIER = "10.0"

我需要将这些值解析为u32和f32类型，单独使用字符串字面量调用option_env!可以正常获取：

let value = option_env!("GAME_ZERO_LEVEL").unwrap();

但尝试通过循环批量获取时，代码报错：

let env_keys: Vec<&str> = vec![
    "GAME_ZERO_LEVEL",
    "GAME_ZERO_MULTIPLIER",
    "GAME_ONE_LEVEL",
    "GAME_ONE_MULTIPLIER",
    "GAME_TWO_LEVEL",
    "GAME_TWO_MULTIPLIER",
    "GAME_THREE_LEVEL",
    "GAME_THREE_MULTIPLIER",
    "GAME_FOUR_LEVEL",
    "GAME_FOUR_MULTIPLIER",
];

env_keys.iter().for_each(|key| {
    let value = option_env!(key).unwrap();        // 编译错误：rustc: argument must be a string literal
    // 后续处理逻辑
});

问题原因 #

option_env!是编译期宏，它在编译阶段就会展开代码，因此必须接收编译时就能确定的字符串字面量作为参数。你传入的key是运行时才会确定值的变量，宏无法在编译阶段解析它的内容，所以触发报错。

要明确区分：字符串字面量（比如"GAME_ZERO_LEVEL"）是编译时固定的常量，而变量形式的&str是运行时动态赋值的，两者对宏来说完全不同。

解决方案（不使用std::env::var） #

既然不能用运行时环境变量获取方法，我们可以用自定义宏在编译期批量处理这些字面量：

macro_rules! load_game_env {
    ($($key:literal),*) => {
        {
            let mut env_pairs = Vec::new();
            $(
                if let Some(val) = option_env!($key) {
                    env_pairs.push(($key, val));
                }
            )*
            env_pairs
        }
    };
}

// 调用宏批量获取环境变量
let game_env = load_game_env!(
    "GAME_ZERO_LEVEL",
    "GAME_ZERO_MULTIPLIER",
    "GAME_ONE_LEVEL",
    "GAME_ONE_MULTIPLIER",
    "GAME_TWO_LEVEL",
    "GAME_TWO_MULTIPLIER",
    "GAME_THREE_LEVEL",
    "GAME_THREE_MULTIPLIER",
    "GAME_FOUR_LEVEL",
    "GAME_FOUR_MULTIPLIER"
);

// 遍历处理解析逻辑
for (key, val) in game_env {
    match key {
        k if k.ends_with("_LEVEL") => {
            let level: u32 = val.parse().unwrap();
            // 处理等级逻辑
        }
        k if k.ends_with("_MULTIPLIER") => {
            let multiplier: f32 = val.parse().unwrap();
            // 处理倍率逻辑
        }
        _ => unreachable!(),
    }
}

这个宏会在编译阶段展开成逐个调用option_env!的代码，每个参数都是字符串字面量，既满足宏的要求，又实现了批量处理的效果。

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