Skip to content

Commit

Permalink
clone: managed boxes need to clone by shallow copy
Browse files Browse the repository at this point in the history
Performing a deep copy isn't ever desired for a persistent data
structure, and it requires a more complex implementation to do
correctly. A deep copy needs to check for cycles to avoid an infinite
loop.
  • Loading branch information
thestinger committed Apr 8, 2013
1 parent 44d4d6d commit 68d17bc
Show file tree
Hide file tree
Showing 2 changed files with 20 additions and 12 deletions.
30 changes: 19 additions & 11 deletions src/libcore/clone.rs
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ In Rust, some simple types are "implicitly copyable" and when you
assign them or pass them as arguments, the receiver will get a copy,
leaving the original value in place. These types do not require
allocation to copy and do not have finalizers (i.e. they do not
contain owned pointers or implement `Drop`), so the compiler considers
contain owned boxes or implement `Drop`), so the compiler considers
them cheap and safe to copy and automatically implements the `Copy`
trait for them. For other types copies must be made explicitly,
by convention implementing the `Clone` trait and calling the
Expand All @@ -23,32 +23,38 @@ by convention implementing the `Clone` trait and calling the
*/

pub trait Clone {
/// Return a deep copy of the owned object tree. Managed boxes are cloned with a shallow copy.
fn clone(&self) -> Self;
}

impl Clone for () {
/// Return a copy of the value.
#[inline(always)]
fn clone(&self) -> () { () }
}

impl<T:Clone> Clone for ~T {
/// Return a deep copy of the owned box.
#[inline(always)]
fn clone(&self) -> ~T { ~(**self).clone() }
}

impl<T:Clone> Clone for @T {
impl<T> Clone for @T {
/// Return a shallow copy of the managed box.
#[inline(always)]
fn clone(&self) -> @T { @(**self).clone() }
fn clone(&self) -> @T { *self }
}

impl<T:Clone> Clone for @mut T {
impl<T> Clone for @mut T {
/// Return a shallow copy of the managed box.
#[inline(always)]
fn clone(&self) -> @mut T { @mut (**self).clone() }
fn clone(&self) -> @mut T { *self }
}

macro_rules! clone_impl(
($t:ty) => {
impl Clone for $t {
/// Return a copy of the value.
#[inline(always)]
fn clone(&self) -> $t { *self }
}
Expand Down Expand Up @@ -76,21 +82,23 @@ clone_impl!(char)

#[test]
fn test_owned_clone() {
let a : ~int = ~5i;
let b : ~int = a.clone();
let a: ~int = ~5i;
let b: ~int = a.clone();
assert!(a == b);
}

#[test]
fn test_managed_clone() {
let a : @int = @5i;
let b : @int = a.clone();
let a: @int = @5i;
let b: @int = a.clone();
assert!(a == b);
}

#[test]
fn test_managed_mut_clone() {
let a : @int = @5i;
let b : @int = a.clone();
let a: @mut int = @mut 5i;
let b: @mut int = a.clone();
assert!(a == b);
*b = 10;
assert!(a == b);
}
2 changes: 1 addition & 1 deletion src/test/run-pass/borrowck-borrow-from-expr-block.rs
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ fn borrow(x: &int, f: &fn(x: &int)) {
}

fn test1(x: @~int) {
do borrow(&**x.clone()) |p| {
do borrow(&*(*x).clone()) |p| {
let x_a = ptr::addr_of(&(**x));
assert!((x_a as uint) != ptr::to_uint(p));
assert!(unsafe{*x_a} == *p);
Expand Down

5 comments on commit 68d17bc

@bors
Copy link
Contributor

@bors bors commented on 68d17bc Apr 8, 2013

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@bors
Copy link
Contributor

@bors bors commented on 68d17bc Apr 8, 2013

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

merging thestinger/rust/clone = 68d17bc into auto

@bors
Copy link
Contributor

@bors bors commented on 68d17bc Apr 8, 2013

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thestinger/rust/clone = 68d17bc merged ok, testing candidate = 1968130

@bors
Copy link
Contributor

@bors bors commented on 68d17bc Apr 8, 2013

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@bors
Copy link
Contributor

@bors bors commented on 68d17bc Apr 8, 2013

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

fast-forwarding incoming to auto = 1968130

Please sign in to comment.