2014-10-27 06:58:30 -05:00
|
|
|
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
// A simple example of an unsound mixing of cyclic structure and Drop.
|
|
|
|
//
|
|
|
|
// Each `D` has a name and an optional reference to another `D`
|
|
|
|
// sibling, but also implements a drop method that prints out its own
|
|
|
|
// name as well as the name of its sibling.
|
|
|
|
//
|
|
|
|
// By setting up a cyclic structure, the drop code cannot possibly
|
|
|
|
// work. Therefore this code must be rejected.
|
|
|
|
//
|
|
|
|
// (As it turns out, essentially any attempt to install a sibling here
|
|
|
|
// will be rejected, regardless of whether it forms a cyclic
|
|
|
|
// structure or not. This is because the use of the same lifetime
|
|
|
|
// `'a` in `&'a D<'a>` cannot be satisfied when `D<'a>` implements
|
|
|
|
// `Drop`.)
|
|
|
|
|
|
|
|
use std::cell::Cell;
|
|
|
|
|
|
|
|
struct D<'a> {
|
|
|
|
name: String,
|
|
|
|
p: Cell<Option<&'a D<'a>>>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> D<'a> {
|
|
|
|
fn new(name: String) -> D<'a> { D { name: name, p: Cell::new(None) } }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<'a> Drop for D<'a> {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
println!("dropping {} whose sibling is {:?}",
|
|
|
|
self.name, self.p.get().map(|d| &d.name));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn g() {
|
|
|
|
let (d1, d2) = (D::new(format!("d1")), D::new(format!("d2")));
|
2016-10-14 10:55:45 -05:00
|
|
|
d1.p.set(Some(&d2));
|
|
|
|
d2.p.set(Some(&d1));
|
2014-10-27 06:58:30 -05:00
|
|
|
}
|
2016-10-14 10:55:45 -05:00
|
|
|
//~^ ERROR `d2` does not live long enough
|
|
|
|
//~| ERROR `d1` does not live long enough
|
2014-10-27 06:58:30 -05:00
|
|
|
|
|
|
|
fn main() {
|
|
|
|
g();
|
|
|
|
}
|