rust - 특성 오브젝트의&mut과 ref mut의 차이점

먼저 &mut 의 차이점이 무엇인지 묻지 않습니다.  그리고 ref mut  그 자체로.

내가 생각하기 때문에 묻는다 :

let ref mut a = MyStruct

와 동일

let a = &mut MyStruct

함수에서 특성 객체를 반환하는 것을 고려하십시오. 당신은 Box<Trait> 를 반환 할 수 있습니다  또는 &Trait . 메소드에 변경 가능하게 액세스하려면 &mut Trait 를 리턴 할 수 있습니까? ?

이 예를 들면 :

trait Hello {
    fn hello(&mut self);
}
struct English;
struct Spanish;
impl Hello for English {
    fn hello(&mut self) {
        println!("Hello!");
    }
}
impl Hello for Spanish {
    fn hello(&mut self) {
        println!("Hola!");
    }
}

이 방법은 데모 목적으로 변경 가능한 참조를받습니다.

이 컴파일되지 않습니다 :

fn make_hello<'a>() -> &'a mut Hello {
    &mut English
}

이것도 :

fn make_hello<'a>() -> &'a mut Hello {
    let b = &mut English;
    b
}

그러나 이것은 컴파일되고 작동합니다 :

fn make_hello<'a>() -> &'a mut Hello {
    let ref mut b = English;
    b
}

내 이론

불변의 참조의 경우, 객체를 작성하여이를 리턴 표현식으로 차용합니다. 참조가 빌려서 죽지 않습니다.

변경 가능한 참조의 경우, 객체를 생성하고이를 리턴 표현식으로 변경 가능하게 빌리려고하면 두 개의 변경 가능한 참조 (생성 된 오브젝트 및 해당 참조)가 있습니다. 동일한 객체에 대해 두 개의 변경 가능한 참조를 가질 수 없으므로 두 번째를 수행하지 않으므로 변수가 오래 살지 않습니다. 난 당신이 let mut ref b = English 를 쓸 때 생각   b 를 반환  변경 가능한 참조가 패턴에 의해 캡처 되었기 때문에이동합니다.

위의 모든 것이 왜 그것이 효과가 있는지 설명하려고하는 것은 아니지만, 그것을 증명할 기본은 없습니다.

왜 이런 일이 발생합니까?

저는 이 질문을 Reddit에 게시했습니다 .