在 Rust 中，我可以从我的模块中公开一组函数吗？

Question

我正在实现一个游戏引擎，并希望有一组模块，每个模块都实现了某些规则。 每个模块都公开了一个符合此定义的 function：

fn validate(game: &Game, next_move: String) -> Result<(), MoveError>

我不想让这些规则的use每个规则模块，而是公开一组（ array ？ Vec<> ？）这些验证函数。 我假设它将是一个 function 指针数组，例如：

mod rule1;
mod rule2;

type Validate = fn(&Game, String) -> Result<(), MoveError>;

const validations: [Validate] = &[
    rule1::validate,
    rule2::validate
];

但 Rust 说：

error[E0277]: the size for values of type `[for<'r> fn(&'r Game, std::string::String) -> std::result::Result<(), MoveError>]` cannot be known at compilation time
 --> src/lib.rs:6:20
  |
6 | const validations: [Validate] = &[
  |                    ^^^^^^^^^^ doesn't have a size known at compile-time
  |
  = help: the trait `std::marker::Sized` is not implemented for `[for<'r> fn(&'r Game, std::string::String) -> std::result::Result<(), MoveError>]`
  = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>

我已经阅读了链接的文章，但并不明智。 修复此错误的第一步是什么（或者纠正我的理解不足）

Answer 1

您的问题与功能无关。

您可以使用以下方法重现它：

const validation: [u32] = &[ 42 ];

这使

error[E0277]: the size for values of type `[u32]` cannot be known at compilation time
 --> src/lib.rs:1:19
  |
1 | const validation: [u32] = &[ 42 ];
  |                   ^^^^^ doesn't have a size known at compile-time
  |
  = help: the trait `std::marker::Sized` is not implemented for `[u32]`
  = note: to learn more, visit <https://doc.rust-lang.org/book/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>

问题是[T]不是Sized类型，无论T是什么。 这意味着您不能在const中使用它。

但是，您可以使用参考：

const validation: &[u32] = &[ 42 ];

或一个大小的数组：

const validation: [u32; 1] = [ 42 ];

同样适用于您的原始问题：

const validations: &[Validate] = &[
//                 ^
    rule1::validate,
    rule2::validate
];

Answer 2

struct Game;
struct MoveError;

mod rule1 {
    use super::*;
    pub(crate) fn validate(game: &Game, s: String) -> Result<(), MoveError> {
        unimplemented!()
    }
}

mod rule2 {
    use super::*;
    pub(crate) fn validate(game: &Game, s: String) -> Result<(), MoveError> {
        unimplemented!()
    }
}

const VALIDATIONS: &[fn(&Game, String) -> Result<(), MoveError>] = &[
    rule1::validate,
    rule2::validate,
];

// or...

use lazy_static::lazy_static;

lazy_static! {
    static ref VALIDATIONS_2: &[Box<dyn Fn(&Game, String) -> Result<(), MoveError>>] = &[
        Box::new(rule1::validate),
        Box::new(rule2::validate)
    ];    
}