2013-04-05 23:51:43 +00:00
|
|
|
// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
|
2012-12-04 00:48:01 +00:00
|
|
|
// 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.
|
|
|
|
|
2016-03-04 22:37:11 +00:00
|
|
|
//! The `Clone` trait for types that cannot be 'implicitly copied'.
|
2014-11-26 02:17:11 +00:00
|
|
|
//!
|
|
|
|
//! 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
|
2016-09-09 14:07:31 +00:00
|
|
|
//! contain owned boxes or implement [`Drop`]), so the compiler considers
|
2014-11-26 02:17:11 +00:00
|
|
|
//! them cheap and safe to copy. For other types copies must be made
|
2016-09-09 14:07:31 +00:00
|
|
|
//! explicitly, by convention implementing the [`Clone`] trait and calling
|
|
|
|
//! the [`clone`][clone] method.
|
|
|
|
//!
|
|
|
|
//! [`Clone`]: trait.Clone.html
|
|
|
|
//! [clone]: trait.Clone.html#tymethod.clone
|
|
|
|
//! [`Drop`]: ../../std/ops/trait.Drop.html
|
2016-03-22 00:12:59 +00:00
|
|
|
//!
|
|
|
|
//! Basic usage example:
|
|
|
|
//!
|
|
|
|
//! ```
|
|
|
|
//! let s = String::new(); // String type implements Clone
|
|
|
|
//! let copy = s.clone(); // so we can clone it
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! To easily implement the Clone trait, you can also use
|
|
|
|
//! `#[derive(Clone)]`. Example:
|
|
|
|
//!
|
|
|
|
//! ```
|
|
|
|
//! #[derive(Clone)] // we add the Clone trait to Morpheus struct
|
|
|
|
//! struct Morpheus {
|
|
|
|
//! blue_pill: f32,
|
|
|
|
//! red_pill: i64,
|
|
|
|
//! }
|
|
|
|
//!
|
|
|
|
//! fn main() {
|
|
|
|
//! let f = Morpheus { blue_pill: 0.0, red_pill: 0 };
|
|
|
|
//! let copy = f.clone(); // and now we can clone it!
|
|
|
|
//! }
|
|
|
|
//! ```
|
2013-03-25 01:59:04 +00:00
|
|
|
|
2015-01-24 05:48:20 +00:00
|
|
|
#![stable(feature = "rust1", since = "1.0.0")]
|
2014-06-23 23:34:29 +00:00
|
|
|
|
2016-05-23 16:52:38 +00:00
|
|
|
/// A common trait for the ability to explicitly duplicate an object.
|
|
|
|
///
|
2016-09-09 14:07:31 +00:00
|
|
|
/// Differs from [`Copy`] in that [`Copy`] is implicit and extremely inexpensive, while
|
2016-05-23 16:58:42 +00:00
|
|
|
/// `Clone` is always explicit and may or may not be expensive. In order to enforce
|
2016-09-09 14:07:31 +00:00
|
|
|
/// these characteristics, Rust does not allow you to reimplement [`Copy`], but you
|
2016-05-23 16:58:42 +00:00
|
|
|
/// may reimplement `Clone` and run arbitrary code.
|
2016-05-22 22:06:13 +00:00
|
|
|
///
|
2016-09-09 14:07:31 +00:00
|
|
|
/// Since `Clone` is more general than [`Copy`], you can automatically make anything
|
|
|
|
/// [`Copy`] be `Clone` as well.
|
2016-05-22 22:06:13 +00:00
|
|
|
///
|
|
|
|
/// ## Derivable
|
2015-11-16 21:57:37 +00:00
|
|
|
///
|
2016-05-20 19:50:34 +00:00
|
|
|
/// This trait can be used with `#[derive]` if all fields are `Clone`. The `derive`d
|
2017-03-12 18:04:52 +00:00
|
|
|
/// implementation of [`clone`] calls [`clone`] on each field.
|
2016-05-05 02:09:51 +00:00
|
|
|
///
|
2018-03-23 10:37:11 +00:00
|
|
|
/// ## Closures
|
|
|
|
///
|
|
|
|
/// Closure types automatically implement `Clone` if they capture no value from the environment
|
|
|
|
/// or if all such captured values implement `Clone` themselves.
|
|
|
|
///
|
2016-05-22 22:06:13 +00:00
|
|
|
/// ## How can I implement `Clone`?
|
|
|
|
///
|
2016-09-09 14:07:31 +00:00
|
|
|
/// Types that are [`Copy`] should have a trivial implementation of `Clone`. More formally:
|
2016-05-05 02:09:51 +00:00
|
|
|
/// if `T: Copy`, `x: T`, and `y: &T`, then `let x = y.clone();` is equivalent to `let x = *y;`.
|
|
|
|
/// Manual implementations should be careful to uphold this invariant; however, unsafe code
|
|
|
|
/// must not rely on it to ensure memory safety.
|
2016-05-22 22:06:13 +00:00
|
|
|
///
|
2016-05-23 17:00:01 +00:00
|
|
|
/// An example is an array holding more than 32 elements of a type that is `Clone`; the standard
|
|
|
|
/// library only implements `Clone` up until arrays of size 32. In this case, the implementation of
|
2016-05-22 22:06:13 +00:00
|
|
|
/// `Clone` cannot be `derive`d, but can be implemented as:
|
|
|
|
///
|
2016-09-09 14:07:31 +00:00
|
|
|
/// [`Copy`]: ../../std/marker/trait.Copy.html
|
2017-03-12 18:04:52 +00:00
|
|
|
/// [`clone`]: trait.Clone.html#tymethod.clone
|
2016-09-09 14:07:31 +00:00
|
|
|
///
|
2016-05-22 22:06:13 +00:00
|
|
|
/// ```
|
|
|
|
/// #[derive(Copy)]
|
|
|
|
/// struct Stats {
|
|
|
|
/// frequencies: [i32; 100],
|
|
|
|
/// }
|
|
|
|
///
|
|
|
|
/// impl Clone for Stats {
|
2016-05-23 17:13:09 +00:00
|
|
|
/// fn clone(&self) -> Stats { *self }
|
2016-05-22 22:06:13 +00:00
|
|
|
/// }
|
|
|
|
/// ```
|
2015-01-24 05:48:20 +00:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2017-08-25 15:39:02 +00:00
|
|
|
#[lang = "clone"]
|
2014-12-18 20:27:41 +00:00
|
|
|
pub trait Clone : Sized {
|
2014-09-22 17:51:10 +00:00
|
|
|
/// Returns a copy of the value.
|
2015-03-24 20:58:08 +00:00
|
|
|
///
|
|
|
|
/// # Examples
|
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// let hello = "Hello"; // &str implements Clone
|
|
|
|
///
|
|
|
|
/// assert_eq!("Hello", hello.clone());
|
|
|
|
/// ```
|
2015-01-24 05:48:20 +00:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2013-01-31 03:42:06 +00:00
|
|
|
fn clone(&self) -> Self;
|
2013-11-09 04:10:09 +00:00
|
|
|
|
2015-04-13 14:21:32 +00:00
|
|
|
/// Performs copy-assignment from `source`.
|
2013-11-09 04:10:09 +00:00
|
|
|
///
|
|
|
|
/// `a.clone_from(&b)` is equivalent to `a = b.clone()` in functionality,
|
2013-12-15 05:26:09 +00:00
|
|
|
/// but can be overridden to reuse the resources of `a` to avoid unnecessary
|
2013-11-09 04:10:09 +00:00
|
|
|
/// allocations.
|
2017-07-20 18:14:13 +00:00
|
|
|
#[inline]
|
2015-04-08 23:38:38 +00:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2013-11-09 04:10:09 +00:00
|
|
|
fn clone_from(&mut self, source: &Self) {
|
|
|
|
*self = source.clone()
|
|
|
|
}
|
2012-11-27 00:12:47 +00:00
|
|
|
}
|
|
|
|
|
2016-08-26 16:23:42 +00:00
|
|
|
// FIXME(aburka): these structs are used solely by #[derive] to
|
|
|
|
// assert that every component of a type implements Clone or Copy.
|
shallow Clone for #[derive(Copy,Clone)]
Changes #[derive(Copy, Clone)] to use a faster impl of Clone when
both derives are present, and there are no generics in the type.
The faster impl is simply returning *self (which works because the
type is also Copy). See the comments in libsyntax_ext/deriving/clone.rs
for more details.
There are a few types which are Copy but not Clone, in violation
of the definition of Copy. These include large arrays and tuples. The
very existence of these types is arguably a bug, but in order for this
optimization not to change the applicability of #[derive(Copy, Clone)],
the faster Clone impl also injects calls to a new function,
core::clone::assert_receiver_is_clone, to verify that all members are
actually Clone.
This is not a breaking change, because pursuant to RFC 1521, any type
that implements Copy should not do any observable work in its Clone
impl.
2016-02-04 00:40:59 +00:00
|
|
|
//
|
2016-08-26 16:23:42 +00:00
|
|
|
// These structs should never appear in user code.
|
|
|
|
#[doc(hidden)]
|
|
|
|
#[allow(missing_debug_implementations)]
|
|
|
|
#[unstable(feature = "derive_clone_copy",
|
|
|
|
reason = "deriving hack, should not be public",
|
|
|
|
issue = "0")]
|
|
|
|
pub struct AssertParamIsClone<T: Clone + ?Sized> { _field: ::marker::PhantomData<T> }
|
|
|
|
#[doc(hidden)]
|
|
|
|
#[allow(missing_debug_implementations)]
|
|
|
|
#[unstable(feature = "derive_clone_copy",
|
|
|
|
reason = "deriving hack, should not be public",
|
|
|
|
issue = "0")]
|
|
|
|
pub struct AssertParamIsCopy<T: Copy + ?Sized> { _field: ::marker::PhantomData<T> }
|