2013-05-04 19:51:05 -04:00
|
|
|
// Copyright 2013 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.
|
|
|
|
|
2013-12-24 17:08:28 +01:00
|
|
|
/*! Task-local reference-counted boxes (`Rc` type)
|
2013-05-28 22:11:41 -05:00
|
|
|
|
2013-10-10 11:45:52 -04:00
|
|
|
The `Rc` type provides shared ownership of an immutable value. Destruction is deterministic, and
|
|
|
|
will occur as soon as the last owner is gone. It is marked as non-sendable because it avoids the
|
|
|
|
overhead of atomic reference counting.
|
2013-05-04 19:51:05 -04:00
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
The `downgrade` method can be used to create a non-owning `Weak` pointer to the box. A `Weak`
|
|
|
|
pointer can be upgraded to an `Rc` pointer, but will return `None` if the value has already been
|
|
|
|
freed.
|
|
|
|
|
|
|
|
For example, a tree with parent pointers can be represented by putting the nodes behind `Strong`
|
|
|
|
pointers, and then storing the parent pointers as `Weak` pointers.
|
|
|
|
|
2013-05-04 19:51:05 -04:00
|
|
|
*/
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
use cast::transmute;
|
2014-03-21 15:16:07 +08:00
|
|
|
use cell::Cell;
|
2014-03-05 01:19:14 -05:00
|
|
|
use clone::Clone;
|
2014-03-22 16:30:45 -04:00
|
|
|
use cmp::{Eq, Ord, TotalEq, TotalOrd, Ordering};
|
2014-01-22 14:03:02 -05:00
|
|
|
use kinds::marker;
|
2014-02-26 23:07:23 +02:00
|
|
|
use ops::{Deref, Drop};
|
2014-01-07 14:45:13 -05:00
|
|
|
use option::{Option, Some, None};
|
2014-02-14 18:42:01 -05:00
|
|
|
use ptr;
|
2014-03-21 15:16:07 +08:00
|
|
|
use ptr::RawPtr;
|
2014-02-14 18:42:01 -05:00
|
|
|
use rt::global_heap::exchange_free;
|
2013-07-24 14:11:49 +02:00
|
|
|
|
2013-05-04 19:51:05 -04:00
|
|
|
struct RcBox<T> {
|
|
|
|
value: T,
|
2014-03-21 15:16:07 +08:00
|
|
|
strong: Cell<uint>,
|
|
|
|
weak: Cell<uint>
|
2013-05-04 19:51:05 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Immutable reference counted pointer type
|
2013-06-27 16:45:09 -04:00
|
|
|
#[unsafe_no_drop_flag]
|
2013-05-04 19:51:05 -04:00
|
|
|
pub struct Rc<T> {
|
2014-01-22 14:03:02 -05:00
|
|
|
priv ptr: *mut RcBox<T>,
|
2014-03-05 22:09:38 +01:00
|
|
|
priv nosend: marker::NoSend,
|
|
|
|
priv noshare: marker::NoShare
|
2013-05-15 18:06:22 -04:00
|
|
|
}
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
impl<T> Rc<T> {
|
2013-12-11 18:03:25 -05:00
|
|
|
/// Construct a new reference-counted box
|
2013-10-10 11:45:52 -04:00
|
|
|
pub fn new(value: T) -> Rc<T> {
|
|
|
|
unsafe {
|
2014-01-22 14:03:02 -05:00
|
|
|
Rc {
|
2014-02-05 21:41:26 +11:00
|
|
|
// there is an implicit weak pointer owned by all the
|
|
|
|
// strong pointers, which ensures that the weak
|
|
|
|
// destructor never frees the allocation while the
|
|
|
|
// strong destructor is running, even if the weak
|
|
|
|
// pointer is stored inside the strong one.
|
2014-03-21 15:16:07 +08:00
|
|
|
ptr: transmute(~RcBox {
|
|
|
|
value: value,
|
|
|
|
strong: Cell::new(1),
|
|
|
|
weak: Cell::new(1)
|
|
|
|
}),
|
2014-03-05 22:09:38 +01:00
|
|
|
nosend: marker::NoSend,
|
|
|
|
noshare: marker::NoShare
|
2014-01-22 14:03:02 -05:00
|
|
|
}
|
2013-11-16 21:59:42 -08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-05-31 15:17:22 -07:00
|
|
|
impl<T> Rc<T> {
|
2014-01-07 14:45:13 -05:00
|
|
|
/// Downgrade the reference-counted pointer to a weak reference
|
|
|
|
pub fn downgrade(&self) -> Weak<T> {
|
2014-03-21 15:16:07 +08:00
|
|
|
self.inc_weak();
|
|
|
|
Weak {
|
|
|
|
ptr: self.ptr,
|
|
|
|
nosend: marker::NoSend,
|
|
|
|
noshare: marker::NoShare
|
2014-01-07 14:45:13 -05:00
|
|
|
}
|
2013-11-24 17:29:44 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-02-26 23:07:23 +02:00
|
|
|
impl<T> Deref<T> for Rc<T> {
|
|
|
|
/// Borrow the value contained in the reference-counted box
|
|
|
|
#[inline(always)]
|
|
|
|
fn deref<'a>(&'a self) -> &'a T {
|
2014-03-21 15:16:07 +08:00
|
|
|
&self.inner().value
|
2014-02-26 23:07:23 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
#[unsafe_destructor]
|
|
|
|
impl<T> Drop for Rc<T> {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
unsafe {
|
2014-03-21 15:16:07 +08:00
|
|
|
if !self.ptr.is_null() {
|
|
|
|
self.dec_strong();
|
|
|
|
if self.strong() == 0 {
|
2014-02-28 00:02:27 +02:00
|
|
|
ptr::read(self.deref()); // destroy the contained object
|
2014-02-05 21:41:26 +11:00
|
|
|
|
|
|
|
// remove the implicit "strong weak" pointer now
|
|
|
|
// that we've destroyed the contents.
|
2014-03-21 15:16:07 +08:00
|
|
|
self.dec_weak();
|
2014-02-05 21:41:26 +11:00
|
|
|
|
2014-03-21 15:16:07 +08:00
|
|
|
if self.weak() == 0 {
|
2013-12-12 22:27:26 +01:00
|
|
|
exchange_free(self.ptr as *u8)
|
2014-01-07 14:45:13 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2013-11-24 17:29:44 +01:00
|
|
|
}
|
2014-01-07 14:45:13 -05:00
|
|
|
}
|
2013-11-24 17:29:44 +01:00
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
impl<T> Clone for Rc<T> {
|
2013-11-24 17:29:44 +01:00
|
|
|
#[inline]
|
2014-01-07 14:45:13 -05:00
|
|
|
fn clone(&self) -> Rc<T> {
|
2014-03-21 15:16:07 +08:00
|
|
|
self.inc_strong();
|
|
|
|
Rc { ptr: self.ptr, nosend: marker::NoSend, noshare: marker::NoShare }
|
2013-11-24 17:29:44 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
impl<T: Eq> Eq for Rc<T> {
|
|
|
|
#[inline(always)]
|
2014-03-20 22:10:44 -07:00
|
|
|
fn eq(&self, other: &Rc<T>) -> bool { **self == **other }
|
2014-01-07 14:45:13 -05:00
|
|
|
#[inline(always)]
|
2014-03-20 22:10:44 -07:00
|
|
|
fn ne(&self, other: &Rc<T>) -> bool { **self != **other }
|
2014-01-07 14:45:13 -05:00
|
|
|
}
|
|
|
|
|
2014-03-22 16:30:45 -04:00
|
|
|
impl<T: TotalEq> TotalEq for Rc<T> {}
|
|
|
|
|
2013-11-24 17:29:44 +01:00
|
|
|
impl<T: Ord> Ord for Rc<T> {
|
2014-01-07 14:45:13 -05:00
|
|
|
#[inline(always)]
|
2014-03-20 22:10:44 -07:00
|
|
|
fn lt(&self, other: &Rc<T>) -> bool { **self < **other }
|
2013-11-24 17:29:44 +01:00
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
#[inline(always)]
|
2014-03-20 22:10:44 -07:00
|
|
|
fn le(&self, other: &Rc<T>) -> bool { **self <= **other }
|
2013-11-24 17:29:44 +01:00
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
#[inline(always)]
|
2014-03-20 22:10:44 -07:00
|
|
|
fn gt(&self, other: &Rc<T>) -> bool { **self > **other }
|
2013-11-24 17:29:44 +01:00
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
#[inline(always)]
|
2014-03-20 22:10:44 -07:00
|
|
|
fn ge(&self, other: &Rc<T>) -> bool { **self >= **other }
|
2013-11-24 17:29:44 +01:00
|
|
|
}
|
|
|
|
|
2014-03-22 16:30:45 -04:00
|
|
|
impl<T: TotalOrd> TotalOrd for Rc<T> {
|
|
|
|
#[inline]
|
|
|
|
fn cmp(&self, other: &Rc<T>) -> Ordering { (**self).cmp(&**other) }
|
|
|
|
}
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
/// Weak reference to a reference-counted box
|
|
|
|
#[unsafe_no_drop_flag]
|
|
|
|
pub struct Weak<T> {
|
2014-01-22 14:03:02 -05:00
|
|
|
priv ptr: *mut RcBox<T>,
|
2014-03-05 22:09:38 +01:00
|
|
|
priv nosend: marker::NoSend,
|
|
|
|
priv noshare: marker::NoShare
|
2013-05-04 19:51:05 -04:00
|
|
|
}
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
impl<T> Weak<T> {
|
|
|
|
/// Upgrade a weak reference to a strong reference
|
|
|
|
pub fn upgrade(&self) -> Option<Rc<T>> {
|
2014-03-21 15:16:07 +08:00
|
|
|
if self.strong() == 0 {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
self.inc_strong();
|
|
|
|
Some(Rc { ptr: self.ptr, nosend: marker::NoSend, noshare: marker::NoShare })
|
2013-05-04 19:51:05 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-10-10 11:45:52 -04:00
|
|
|
#[unsafe_destructor]
|
2014-01-07 14:45:13 -05:00
|
|
|
impl<T> Drop for Weak<T> {
|
2013-10-10 11:45:52 -04:00
|
|
|
fn drop(&mut self) {
|
|
|
|
unsafe {
|
2014-03-21 15:16:07 +08:00
|
|
|
if !self.ptr.is_null() {
|
|
|
|
self.dec_weak();
|
2014-02-05 21:41:26 +11:00
|
|
|
// the weak count starts at 1, and will only go to
|
|
|
|
// zero if all the strong pointers have disappeared.
|
2014-03-21 15:16:07 +08:00
|
|
|
if self.weak() == 0 {
|
2013-12-12 22:27:26 +01:00
|
|
|
exchange_free(self.ptr as *u8)
|
2013-10-10 11:45:52 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2013-05-15 00:45:40 -04:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
impl<T> Clone for Weak<T> {
|
|
|
|
#[inline]
|
|
|
|
fn clone(&self) -> Weak<T> {
|
2014-03-21 15:16:07 +08:00
|
|
|
self.inc_weak();
|
|
|
|
Weak { ptr: self.ptr, nosend: marker::NoSend, noshare: marker::NoShare }
|
2013-05-15 00:45:40 -04:00
|
|
|
}
|
2014-01-07 14:45:13 -05:00
|
|
|
}
|
2013-05-15 00:45:40 -04:00
|
|
|
|
2014-03-21 15:16:07 +08:00
|
|
|
#[allow(missing_doc)]
|
|
|
|
trait RcBoxPtr<T> {
|
|
|
|
fn inner<'a>(&'a self) -> &'a RcBox<T>;
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn strong(&self) -> uint { self.inner().strong.get() }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn inc_strong(&self) { self.inner().strong.set(self.strong() + 1); }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn dec_strong(&self) { self.inner().strong.set(self.strong() - 1); }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn weak(&self) -> uint { self.inner().weak.get() }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn inc_weak(&self) { self.inner().weak.set(self.weak() + 1); }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn dec_weak(&self) { self.inner().weak.set(self.weak() - 1); }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> RcBoxPtr<T> for Rc<T> {
|
|
|
|
#[inline(always)]
|
|
|
|
fn inner<'a>(&'a self) -> &'a RcBox<T> { unsafe { &(*self.ptr) } }
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> RcBoxPtr<T> for Weak<T> {
|
|
|
|
#[inline(always)]
|
|
|
|
fn inner<'a>(&'a self) -> &'a RcBox<T> { unsafe { &(*self.ptr) } }
|
|
|
|
}
|
|
|
|
|
2014-01-07 14:45:13 -05:00
|
|
|
#[cfg(test)]
|
|
|
|
mod tests {
|
2014-01-09 15:56:38 -05:00
|
|
|
use prelude::*;
|
2014-01-07 14:45:13 -05:00
|
|
|
use super::*;
|
2014-01-09 15:56:38 -05:00
|
|
|
use cell::RefCell;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_clone() {
|
|
|
|
let x = Rc::new(RefCell::new(5));
|
|
|
|
let y = x.clone();
|
2014-03-20 19:55:52 -07:00
|
|
|
*x.borrow_mut() = 20;
|
|
|
|
assert_eq!(*y.borrow(), 20);
|
2014-01-09 15:56:38 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_simple() {
|
|
|
|
let x = Rc::new(5);
|
2014-03-20 22:10:44 -07:00
|
|
|
assert_eq!(*x, 5);
|
2014-01-09 15:56:38 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_simple_clone() {
|
|
|
|
let x = Rc::new(5);
|
|
|
|
let y = x.clone();
|
2014-03-20 22:10:44 -07:00
|
|
|
assert_eq!(*x, 5);
|
|
|
|
assert_eq!(*y, 5);
|
2014-01-09 15:56:38 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_destructor() {
|
|
|
|
let x = Rc::new(~5);
|
2014-03-20 22:10:44 -07:00
|
|
|
assert_eq!(**x, 5);
|
2014-01-09 15:56:38 -05:00
|
|
|
}
|
2013-05-04 19:51:05 -04:00
|
|
|
|
|
|
|
#[test]
|
2014-01-07 14:45:13 -05:00
|
|
|
fn test_live() {
|
2013-10-10 11:45:52 -04:00
|
|
|
let x = Rc::new(5);
|
2014-01-07 14:45:13 -05:00
|
|
|
let y = x.downgrade();
|
|
|
|
assert!(y.upgrade().is_some());
|
2013-05-04 19:51:05 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
2014-01-07 14:45:13 -05:00
|
|
|
fn test_dead() {
|
2013-10-10 11:45:52 -04:00
|
|
|
let x = Rc::new(5);
|
2014-01-07 14:45:13 -05:00
|
|
|
let y = x.downgrade();
|
|
|
|
drop(x);
|
|
|
|
assert!(y.upgrade().is_none());
|
2013-05-04 19:51:05 -04:00
|
|
|
}
|
2014-01-14 02:46:58 -05:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn gc_inside() {
|
|
|
|
// see issue #11532
|
|
|
|
use gc::Gc;
|
|
|
|
let a = Rc::new(RefCell::new(Gc::new(1)));
|
2014-03-20 22:10:44 -07:00
|
|
|
assert!(a.try_borrow_mut().is_some());
|
2014-01-14 02:46:58 -05:00
|
|
|
}
|
2014-02-05 21:41:26 +11:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn weak_self_cyclic() {
|
|
|
|
struct Cycle {
|
|
|
|
x: RefCell<Option<Weak<Cycle>>>
|
|
|
|
}
|
|
|
|
|
|
|
|
let a = Rc::new(Cycle { x: RefCell::new(None) });
|
|
|
|
let b = a.clone().downgrade();
|
2014-03-20 22:10:44 -07:00
|
|
|
*a.x.borrow_mut() = Some(b);
|
2014-02-05 21:41:26 +11:00
|
|
|
|
|
|
|
// hopefully we don't double-free (or leak)...
|
|
|
|
}
|
2013-05-04 19:51:05 -04:00
|
|
|
}
|