能否将Rust的feature flag应用于函数参数？

直接说结论：你设想的函数定义方式是完全可行的，但调用时的写法不能像你那样直接在参数里加#[cfg]，得换种方式。

一、函数定义的正确写法 #

你给出的带#[cfg(feature = "my-feature")]的参数定义是合法的，Rust编译器会根据feature是否启用，生成不同的函数签名：

• 当my-feature启用时，函数签名是pub fn my_function(input1: usize, input2: String, input3: Vec<u32>) -> ()
• 当my-feature未启用时，函数签名自动变成pub fn my_function(input1: usize, input2: String) -> ()

代码示例：

pub fn my_function(
    input1: usize,
    input2: String,
    #[cfg(feature = "my-feature")]
    input3: Vec<u32>
) {
    println!("input1: {}, input2: {}", input1, input2);
    // 使用input3时必须加对应cfg判断，否则未启用feature会编译报错
    #[cfg(feature = "my-feature")]
    println!("input3: {:?}", input3);
}

二、函数调用的正确方式 #

你尝试的my_function(0, "", #[cfg(feature = "my-feature")] vec![0])写法不合法，因为#[cfg]在这里会条件性插入整个参数，但函数调用的参数数量必须和当前feature下的签名完全匹配。正确的做法有两种：

1. 分情况写调用代码 #

用#[cfg]分别处理两种feature状态：

#[cfg(feature = "my-feature")]
my_function(0, "hello".to_string(), vec![1, 2, 3]);

#[cfg(not(feature = "my-feature"))]
my_function(0, "hello".to_string());

2. 用cfg!宏做编译时分支 #

cfg!是编译时求值的宏，编译器会自动优化掉不匹配的分支，代码更紧凑：

if cfg!(feature = "my-feature") {
    my_function(0, "hello".to_string(), vec![1, 2, 3]);
} else {
    my_function(0, "hello".to_string());
}

三、和Option方式的对比 #

你提到的用Option<Vec<u32>>作为参数，和feature flag方式的核心区别：

• feature flag：编译时就确定函数签名，启用feature时必须传入第三个参数（编译器强制检查），没有运行时的Option开销，适合参数仅在特定feature下有意义的场景。
• Option：函数签名固定，调用方始终可以选择传Some或None，灵活性更高，但会有少量运行时判断的开销，适合参数可选但不依赖feature的场景。

注意事项 #

• 如果你的函数是对外暴露的库API，使用feature flag修改签名会导致不同feature下的API不一致，需要在文档中明确说明这一点。
• 函数内部使用input3时，必须加上对应的#[cfg(feature = "my-feature")]条件编译，否则未启用feature时会编译错误。

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