Support higher rank function pointers

仓库指标

星标

4,472 个星标 (4,472 个星标)

PR 合并指标

平均合并 8分钟 (平均合并 8分钟)30 天内合并 3 个 PR (30 天内合并 3 个 PR)

描述

#[cxx::bridge]
mod ffi {
    extern "Rust" {
        type Thing<'a>;
    }

    unsafe extern "C++" {
        fn f(callback: for<'a> fn(&mut Thing<'a>, &mut Thing<'a>));
    }
}

error: function pointer with lifetime parameters is not supported yet
 --> src/main.rs:8:24
  |
8 |         fn f(callback: for<'a> fn(&mut Thing<'a>, &mut Thing<'a>));
  |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

贡献者指南

研究方向

调查cxx bridge宏对函数指针类型的解析，特别是拒绝生命周期参数的位置（可能在cxxbridge macro crate中的 `parse ty` 或 `parse fn ptr` 函数中）。了解当前如何处理生命周期约束，并扩展解析器以接受函数指针参数上的高阶生命周期约束（`for<'a> fn(...)`）。还要验证代码生成是否正确地在桥接函数指针时使用这些生命周期。

技术栈

rust

领域

apibackend

议题类型

功能

难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。

3

预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。

1-2 天

活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。

活跃

清晰度议题是否清楚说明期望改动、验收标准和下一步。

清晰

前置要求

Rustlifetimes

新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。

40