1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67
|
//@ run-pass
#![allow(non_snake_case)]
use std::rc::Rc;
use std::cell::Cell;
struct Field {
number: usize,
state: Rc<Cell<usize>>
}
impl Field {
fn new(number: usize, state: Rc<Cell<usize>>) -> Field {
Field {
number: number,
state: state
}
}
}
impl Drop for Field {
fn drop(&mut self) {
println!("Dropping field {}", self.number);
assert_eq!(self.state.get(), self.number);
self.state.set(self.state.get()+1);
}
}
struct NoDropImpl {
_one: Field,
_two: Field,
_three: Field
}
struct HasDropImpl {
_one: Field,
_two: Field,
_three: Field
}
impl Drop for HasDropImpl {
fn drop(&mut self) {
println!("HasDropImpl.drop()");
assert_eq!(self._one.state.get(), 0);
self._one.state.set(1);
}
}
pub fn main() {
let state = Rc::new(Cell::new(1));
let noImpl = NoDropImpl {
_one: Field::new(1, state.clone()),
_two: Field::new(2, state.clone()),
_three: Field::new(3, state.clone())
};
drop(noImpl);
assert_eq!(state.get(), 4);
state.set(0);
let hasImpl = HasDropImpl {
_one: Field::new(1, state.clone()),
_two: Field::new(2, state.clone()),
_three: Field::new(3, state.clone())
};
drop(hasImpl);
assert_eq!(state.get(), 4);
}
|