Rust结构体初始化时引用自身变量的编译错误解决求助

核心问题是你的Renderer和Sound持有了&Sdl的引用，但你试图将Sdl的所有权转移到Engine中——Rust的生命周期检查会阻止这种情况，因为引用指向的是函数内创建的局部变量，一旦函数结束，原变量的生命周期就结束了，会导致悬垂引用。下面是两种无需妥协的解决方案：

方案1：用Arc共享Sdl所有权 #

通过Arc（原子引用计数）让Renderer、Sound和Engine共享Sdl的所有权，这是最直接的解决方式，且Arc的克隆和访问开销极低，完全不用担心性能问题：

use std::sync::Arc;
use sdl2::{Sdl, video::VideoSubsystem, audio::AudioSubsystem};

// 修改Renderer和Sound的定义，持有Arc<Sdl>
struct Renderer {
    context: Arc<Sdl>,
    // 其他渲染相关字段
}

impl Renderer {
    fn new(context: Arc<Sdl>, title: &str, width: u32, height: u32) -> Result<Self, String> {
        // 使用context获取视频子系统并初始化渲染器
        Ok(Self { context /* 初始化其他字段 */ })
    }
}

struct Sound {
    context: Arc<Sdl>,
    // 其他音频相关字段
}

impl Sound {
    fn new(context: Arc<Sdl>) -> Result<Self, String> {
        // 使用context获取音频子系统并初始化音频
        Ok(Self { context /* 初始化其他字段 */ })
    }
}

// Engine结构体无需单独存context（可选存一份，不影响）
struct Engine {
    renderer: Renderer,
    sound: Sound,
}

impl Engine {
    fn new() -> Result<Self, String> {
        let context = Arc::new(sdl2::init()?);
        // 克隆Arc传递给各组件
        let renderer = Renderer::new(Arc::clone(&context), "Sdl2 Engine", 800, 600)?;
        let sound = Sound::new(Arc::clone(&context))?;

        Ok(Self { renderer, sound })
    }
}

方案2：直接传递子系统而非Sdl引用 #

SDL2的子系统（视频、音频）可以从Sdl上下文获取后独立持有，让Renderer和Sound直接持有对应的子系统，完全避免引用问题：

use sdl2::{Sdl, video::VideoSubsystem, audio::AudioSubsystem};

struct Renderer {
    video_subsystem: VideoSubsystem,
    // 其他渲染相关字段
}

impl Renderer {
    fn new(video_subsystem: VideoSubsystem, title: &str, width: u32, height: u32) -> Result<Self, String> {
        // 使用video_subsystem创建窗口和渲染器
        Ok(Self { video_subsystem /* 初始化其他字段 */ })
    }
}

struct Sound {
    audio_subsystem: AudioSubsystem,
    // 其他音频相关字段
}

impl Sound {
    fn new(audio_subsystem: AudioSubsystem) -> Result<Self, String> {
        // 使用audio_subsystem初始化音频
        Ok(Self { audio_subsystem /* 初始化其他字段 */ })
    }
}

struct Engine {
    context: Sdl,
    renderer: Renderer,
    sound: Sound,
}

impl Engine {
    fn new() -> Result<Self, String> {
        let context = sdl2::init()?;
        // 先获取子系统
        let video_subsystem = context.video()?;
        let audio_subsystem = context.audio()?;
        
        let renderer = Renderer::new(video_subsystem, "Sdl2 Engine", 800, 600)?;
        let sound = Sound::new(audio_subsystem)?;

        Ok(Self { context, renderer, sound })
    }
}

补充说明 #

• 为什么Box没用？Box只是把Sdl移到堆上，但所有权仍在函数内，引用的生命周期还是绑定到函数内的Box变量，依然会触发悬垂引用检查。
• 为什么要避免RefCell+Option？这种方案需要运行时可变性检查，频繁访问会带来不必要的性能损耗，且代码复杂度更高，完全不如上述两种方案优雅。

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