assert_eq로 변경 가능하고 변경 불가능한 차용 문제가 발생했습니다.

Question

LED 드라이버가 녹이기 위해 C 테스트 코드 일부를 다시 작성하고 있습니다.

struct LEDDriver<'a> { 
    address: &'a mut u32, 
} 

impl<'a> LEDDriver<'a> { 
    fn new(address: &'a mut u32) -> Self { 
     let leddriver = LEDDriver { address: address }; 
     *leddriver.address = 0; 
     leddriver 
    } 
} 

fn driver_init_leds_off() { 
    let ref mut addr = 0xffffffff; 
    let leddriver = LEDDriver::new(addr); 

    assert_eq!(0, *addr); 
} 

당신은 here

문제는 불변으로 심판을 요구하는 어설 션 문에있는 예제를 실행 할 수 있습니다,하지만 난 요지를 지우려면 LEDDriver에 피 시험 메모리 심판을 전달합니다. 이 최소화 된 예이기 때문에이 실제 사용 사례에 일치하는 경우

Answer 1

는 잘 모르겠지만,이 빌린 후 leddriver 그것을 빌리는 사람이기 때문에 당신은 단지 (데이터에 액세스하는 대신 *addr의 *leddriver.address을 사용할 수 있습니다)

---

또한 어떤 메모리 또는 런타임 오버 헤드가 발생하지만, 내부 값에 대한 참조를 방지하지 않습니다 Cell를 사용할 수 있습니다. 그렇지 않으면 녹이 같은 결과를 얻을 것 사이에 addr.set()없이 그 여러 addr.get()을 가정하는 것이 허용되기 때문에

use std::cell::Cell; 

struct LEDDriver<'a> { 
    address: &'a Cell<u32>, 
} 

impl<'a> LEDDriver<'a> { 
    fn new(address: &'a Cell<u32>) -> Self { 
     let leddriver = LEDDriver { address: address }; 
     leddriver.address.set(0); 
     leddriver 
    } 
} 

fn driver_init_leds_off() { 
    let ref mut addr = Cell::new(0xffffffff); 
    let leddriver = LEDDriver::new(addr); 

    assert_eq!(0, addr.get()); 
} 

addr의 메모리 위치가 인터럽트의 하드웨어에 전달 또는 수정 될 경우에 당신은,하지만 Volatile를 사용한다 하드웨어 나 인터럽트가 변경되었을지라도