]> git.proxmox.com Git - rustc.git/blame - src/libcore/clone.rs
Imported Upstream version 1.0.0~beta.3
[rustc.git] / src / libcore / clone.rs
CommitLineData
1a4d82fc
JJ
1// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
11//! The `Clone` trait for types that cannot be 'implicitly copied'
12//!
13//! In Rust, some simple types are "implicitly copyable" and when you
14//! assign them or pass them as arguments, the receiver will get a copy,
15//! leaving the original value in place. These types do not require
16//! allocation to copy and do not have finalizers (i.e. they do not
17//! contain owned boxes or implement `Drop`), so the compiler considers
18//! them cheap and safe to copy. For other types copies must be made
19//! explicitly, by convention implementing the `Clone` trait and calling
20//! the `clone` method.
21
85aaf69f 22#![stable(feature = "rust1", since = "1.0.0")]
1a4d82fc
JJ
23
24use marker::Sized;
25
26/// A common trait for cloning an object.
85aaf69f 27#[stable(feature = "rust1", since = "1.0.0")]
1a4d82fc
JJ
28pub trait Clone : Sized {
29 /// Returns a copy of the value.
c34b1796
AL
30 ///
31 /// # Examples
32 ///
33 /// ```
34 /// let hello = "Hello"; // &str implements Clone
35 ///
36 /// assert_eq!("Hello", hello.clone());
37 /// ```
85aaf69f 38 #[stable(feature = "rust1", since = "1.0.0")]
1a4d82fc
JJ
39 fn clone(&self) -> Self;
40
9346a6ac 41 /// Performs copy-assignment from `source`.
1a4d82fc
JJ
42 ///
43 /// `a.clone_from(&b)` is equivalent to `a = b.clone()` in functionality,
44 /// but can be overridden to reuse the resources of `a` to avoid unnecessary
45 /// allocations.
46 #[inline(always)]
9346a6ac 47 #[stable(feature = "rust1", since = "1.0.0")]
1a4d82fc
JJ
48 fn clone_from(&mut self, source: &Self) {
49 *self = source.clone()
50 }
51}
52
85aaf69f 53#[stable(feature = "rust1", since = "1.0.0")]
1a4d82fc 54impl<'a, T: ?Sized> Clone for &'a T {
9346a6ac 55 /// Returns a shallow copy of the reference.
1a4d82fc
JJ
56 #[inline]
57 fn clone(&self) -> &'a T { *self }
58}
59
60macro_rules! clone_impl {
61 ($t:ty) => {
85aaf69f 62 #[stable(feature = "rust1", since = "1.0.0")]
1a4d82fc 63 impl Clone for $t {
9346a6ac 64 /// Returns a deep copy of the value.
1a4d82fc
JJ
65 #[inline]
66 fn clone(&self) -> $t { *self }
67 }
68 }
69}
70
85aaf69f 71clone_impl! { isize }
1a4d82fc
JJ
72clone_impl! { i8 }
73clone_impl! { i16 }
74clone_impl! { i32 }
75clone_impl! { i64 }
76
85aaf69f 77clone_impl! { usize }
1a4d82fc
JJ
78clone_impl! { u8 }
79clone_impl! { u16 }
80clone_impl! { u32 }
81clone_impl! { u64 }
82
83clone_impl! { f32 }
84clone_impl! { f64 }
85
86clone_impl! { () }
87clone_impl! { bool }
88clone_impl! { char }
89
90macro_rules! extern_fn_clone {
91 ($($A:ident),*) => (
85aaf69f
SL
92 #[unstable(feature = "core",
93 reason = "this may not be sufficient for fns with region parameters")]
1a4d82fc 94 impl<$($A,)* ReturnType> Clone for extern "Rust" fn($($A),*) -> ReturnType {
9346a6ac 95 /// Returns a copy of a function pointer.
1a4d82fc
JJ
96 #[inline]
97 fn clone(&self) -> extern "Rust" fn($($A),*) -> ReturnType { *self }
98 }
9346a6ac
AL
99
100 #[unstable(feature = "core", reason = "brand new")]
101 impl<$($A,)* ReturnType> Clone for extern "C" fn($($A),*) -> ReturnType {
102 /// Returns a copy of a function pointer.
103 #[inline]
104 fn clone(&self) -> extern "C" fn($($A),*) -> ReturnType { *self }
105 }
106
107 #[unstable(feature = "core", reason = "brand new")]
108 impl<$($A,)* ReturnType> Clone for unsafe extern "Rust" fn($($A),*) -> ReturnType {
109 /// Returns a copy of a function pointer.
110 #[inline]
111 fn clone(&self) -> unsafe extern "Rust" fn($($A),*) -> ReturnType { *self }
112 }
113
114 #[unstable(feature = "core", reason = "brand new")]
115 impl<$($A,)* ReturnType> Clone for unsafe extern "C" fn($($A),*) -> ReturnType {
116 /// Returns a copy of a function pointer.
117 #[inline]
118 fn clone(&self) -> unsafe extern "C" fn($($A),*) -> ReturnType { *self }
119 }
1a4d82fc
JJ
120 )
121}
122
123extern_fn_clone! {}
124extern_fn_clone! { A }
125extern_fn_clone! { A, B }
126extern_fn_clone! { A, B, C }
127extern_fn_clone! { A, B, C, D }
128extern_fn_clone! { A, B, C, D, E }
129extern_fn_clone! { A, B, C, D, E, F }
130extern_fn_clone! { A, B, C, D, E, F, G }
131extern_fn_clone! { A, B, C, D, E, F, G, H }