Rust中能否将模式作为函数参数传递？附匹配过滤示例

首先直接给结论：Rust不能直接把模式作为函数参数传递——因为模式是编译阶段的语法结构，不是能在运行时传递的“值”。但我们可以用闭包来实现你想要的“通过模式匹配过滤元素”的需求，这也是Rust里处理这类场景的标准做法。

结合你给出的代码结构，我给你写一个完整的实现示例：

pub struct NodeHeading {
    pub level: u32,
    pub setext: bool,
}

pub enum NodeValue {
    Document,
    Heading(NodeHeading),
}

// 补充你代码里未定义的AstNode结构（假设它包含value字段）
pub struct AstNode {
    pub value: NodeValue,
    // 你可以添加其他需要的字段
}

// 改造后的find_headings函数，接收闭包作为过滤条件
pub fn find_headings(nodes: &[&AstNode], filter: impl Fn(&AstNode) -> bool) -> Vec<&AstNode> {
    nodes.iter()
        .filter(|&&node| filter(node)) // 用闭包判断是否保留当前节点
        .cloned()
        .collect()
}

fn main() {
    // 模拟几个测试节点
    let doc_node = AstNode { value: NodeValue::Document };
    let h1_node = AstNode { value: NodeValue::Heading(NodeHeading { level: 1, setext: false }) };
    let h2_node = AstNode { value: NodeValue::Heading(NodeHeading { level: 2, setext: true }) };
    let nodes = vec![&doc_node, &h1_node, &h2_node];

    // 示例1：过滤所有Heading类型的节点
    let all_headings = find_headings(&nodes, |node| {
        matches!(node.value, NodeValue::Heading(_))
    });
    println!("所有标题节点数量：{}", all_headings.len()); // 输出2

    // 示例2：过滤level为1的标题节点
    let level1_headings = find_headings(&nodes, |node| {
        matches!(node.value, NodeValue::Heading(NodeHeading { level: 1, .. }))
    });
    println!("一级标题节点数量：{}", level1_headings.len()); // 输出1
}

关键细节解释： #

1. 闭包的类型：impl Fn(&AstNode) -> bool表示这个参数是一个可以接收&AstNode引用、返回布尔值的闭包。Rust会自动推导闭包的具体类型，不需要你手动指定复杂的泛型参数。
2. matches!宏：这是Rust 1.42版本后引入的实用宏，专门用来做模式匹配并返回布尔值，写法比if let更简洁。如果你习惯用if let，也可以这样写闭包：

   |node| {
       if let NodeValue::Heading(_) = node.value {
           true
       } else {
           false
       }
   }
   

3. 灵活性：闭包里可以写任意复杂的模式匹配逻辑——不管是匹配特定字段值，还是嵌套模式，都能满足你的过滤需求。

简单来说，虽然不能直接传模式，但用闭包把模式匹配的逻辑封装起来，效果完全一致，而且更符合Rust的设计哲学。

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