Rust如何定义接收带trait参数的函数作为入参的高阶函数

impl Trait在函数参数位置本质是泛型语法糖，不是具体类型。裸函数指针fn(..) -> ..要求所有参数、返回值必须是确定的可单态化类型，因此不允许在函数指针类型定义中使用impl Trait占位。
你之前两次尝试的问题本质：

• 直接在fn指针类型中写impl BoardPos违反Rust语法规则，impl Trait仅能出现在自由函数、固有方法的参数/返回值位置作为语法糖，不能用于类型定义。
• 给高阶函数添加T: BoardPos泛型约束的写法本身语法合法，但你要传入的calculate_rook_attacks_for、calculate_bishop_attacks_for本身也是泛型函数，泛型函数只有在绑定具体类型完成单态化后才能生成对应的具体函数指针，未指定T的具体类型时编译器无法完成推断；手动指定泛型参数时写::<&impl BoardPos>属于语法错误，impl Trait不能用于泛型实参位置。
  &dyn动态分发确实会引入虚表调用开销，在位棋盘这类对性能敏感的场景下完全没必要使用。

根据你的实际场景二选一即可，两种方案都是零运行时开销的静态分发实现：

场景1：仅存在一个类型实现BoardPos（99%位棋盘项目的实际情况） #

绝大多数国际象棋/象棋引擎的位棋盘实现中，只会有一个表示棋盘位置的具体类型（一般是包装了0-63索引的Square新类型），这种场景完全不需要做泛型抽象，直接将函数指针的参数类型写死为具体类型即可，泛型攻击计算函数会自动匹配单态化后的函数指针类型：

// 假设你的具体位置类型为Square，已实现BoardPos trait
fn generate_all_possible_attacks_for(
    calculate_attacks_for: fn(&Square, u64) -> u64
) {
    // 攻击表生成逻辑
}

对应的match分支赋值问题也可以用同样方式解决，直接将get_attacks_for的类型标注为具体类型的函数指针即可：

fn generate_magic_number_for(pos: &Square, piece: Piece) -> u64 {
    let idx = pos.idx();

    let (relevant_moves, number_of_relevant_moves, get_attacks_for): (
        u64,
        u64,
        fn(&Square, u64) -> u64, // 替换为具体类型，不要写impl BoardPos
    ) = match piece {
        Piece::Bishop => (
            RELEVANT_BISHOP_MOVES_PER_SQUARE[idx],
            NUMBER_OF_RELEVANT_BISHOP_MOVES_PER_SQUARE[idx],
            piece::calculate_bishop_attacks_for,
        ),
        Piece::Rook => (
            RELEVANT_ROOK_MOVES_PER_SQUARE[idx],
            NUMBER_OF_RELEVANT_ROOK_MOVES_PER_SQUARE[idx],
            piece::calculate_rook_attacks_for,
        ),
        _ => panic!(
            "this function is only callable for bishops and rooks, was called with '{:?}'",
            piece
        ),
    };
    // 后续魔法数生成逻辑
}

额外建议：魔法数生成、位棋盘攻击计算这类核心逻辑里，BoardPos作为trait属于过度抽象，直接用Square具体类型可以大幅简化类型复杂度，不会损失任何可维护性。

场景2：确实存在多个类型实现BoardPos，需要攻击函数兼容所有实现 #

这种场景不要使用裸函数指针，改用带高阶trait约束（HRTB）的泛型可调用对象接收参数，全程静态分发无额外开销：

fn generate_all_possible_attacks_for<F>(calculate_attacks_for: F)
where
    // 约束：对所有实现BoardPos的类型T，F都可以接收&T、u64作为参数，返回u64
    F: for<T: BoardPos> Fn(&T, u64) -> u64,
{
    // 攻击表生成逻辑
}

需要注意的是，这种场景下match分支无法再返回统一的裸函数指针类型，要么将攻击计算逻辑直接内联到match分支中，要么定义一个枚举包装不同的攻击函数并手动实现对应Fn trait，实际项目中这种场景非常少见。

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