使用HRTB自动化Rust中View结构体Getter方法的单元测试

问题重现 #

定义包含引用的View结构体及Getter方法，尝试通过传递方法指针自动化测试时编译失败：

/// View data structure.
struct View<'a> {
    value: &'a u32,
}
impl<'a> View<'a> {
    /// Getter method.
    pub fn value(&self) -> u32 {
        *self.value
    }
}

/// 尝试自动化测试Getter：创建底层值，实例化`View`，调用Getter并验证结果
fn check_getter(getter: fn(&View) -> u32) {
    let value: u32 = 7;
    let view = View { value: &value };
    assert!(getter(&view) == 7);
}
check_getter(View::value);

编译报错：

mismatched types
expected fn pointer `for<'r, 's> fn(&'r tests::test_adcs::View<'s>) -> _`
   found fn pointer `for<'r> fn(&'r tests::test_adcs::View<'_>) -> _`

问题原因 #

View::value的实际签名是for<'r, 'a: 'r> fn(&'r View<'a>) -> u32：它要求View内部引用的生命周期'a至少覆盖引用View自身的生命周期'r（因为&'r View<'a>必须保证View在'r期间有效，而View的有效性依赖于'a）。

但check_getter中声明的函数指针fn(&View) -> u32被Rust推断为for<'r, 's> fn(&'r View<'s>) -> u32，它允许's和'r完全无关，这和View::value的生命周期约束不匹配，导致类型错误。

解决方案 #

方案1：显式添加生命周期约束的HRTB函数指针 #

修改check_getter的参数类型，明确要求'a必须覆盖'r：

fn check_getter(getter: for<'r, 'a: 'r> fn(&'r View<'a>) -> u32) {
    let value: u32 = 7;
    let view = View { value: &value };
    assert!(getter(&view) == 7);
}
check_getter(View::value);

方案2：使用泛型Fn trait（更灵活，推荐） #

改用泛型闭包约束，让Rust自动推导生命周期关系，这种方式也支持后续扩展多个Getter的测试：

fn check_getter<F>(getter: F)
where
    F: for<'r, 'a> Fn(&'r View<'a>) -> u32,
{
    let value: u32 = 7;
    let view = View { value: &value };
    assert!(getter(&view) == 7);
}
check_getter(View::value);

甚至可以简化约束，Rust会自动补全必要的生命周期绑定：

fn check_getter<F>(getter: F)
where
    F: Fn(&View) -> u32,
{
    let value: u32 = 7;
    let view = View { value: &value };
    assert!(getter(&view) == 7);
}
check_getter(View::value);

说明 #

使用泛型Fn trait的方式比函数指针更灵活，不仅能适配方法指针，还能支持自定义闭包，适合复杂的测试场景。

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