Placing Functions
10 months ago
- #rust
- #compiler-optimization
- #memory-management
- 放置函数允许返回类型在调用者的栈帧中构建，确保内存地址稳定。
- placing crate 是一个基于过程宏的原型，演示了如何在Rust中实现放置函数。
- 放置函数将内存位置创建与值初始化分离，提高性能并支持动态AFIT等特性。
- 脱糖处理涉及重写函数以处理MaybeUninit并确保正确的Drop实现。
- 放置函数借鉴了Rust的super let和C++的保证拷贝消除机制。
- 该设计平衡了控制性、集成度和兼容性，将安置视为类似const或async函数的效应。
- Rust在某些情况下已保证安置，如x86的SYSV ABI中所示。
- 未来扩展可能包括放置参数和生命周期延长，以提供更全面的安置支持。
- 注解对于渐进式采用是必要的，使Rust能够从小规模开始，逐步扩展安置功能。
- 放置函数是通向自引用类型的一步，结合自生命周期和部分构造函数可实现高级用例。