Trait std::marker::CopyStable
[-] [+]
[src]
pub trait Copy: MarkerTrait where Self: MarkerTrait { }
Types that can be copied by simply copying bits (i.e. memcpy
).
By default, variable bindings have 'move semantics.' In other words:
fn main() { #[derive(Debug)] struct Foo; let x = Foo; let y = x; // `x` has moved into `y`, and so cannot be used // println!("{:?}", x); // error: use of moved value }#[derive(Debug)] struct Foo; let x = Foo; let y = x; // `x` has moved into `y`, and so cannot be used // println!("{:?}", x); // error: use of moved value
However, if a type implements Copy
, it instead has 'copy semantics':
// we can just derive a `Copy` implementation #[derive(Debug, Copy)] struct Foo; let x = Foo; let y = x; // `y` is a copy of `x` println!("{:?}", x); // A-OK!
It's important to note that in these two examples, the only difference is if you are allowed to
access x
after the assignment: a move is also a bitwise copy under the hood.
When can my type be Copy
?
A type can implement Copy
if all of its components implement Copy
. For example, this
struct
can be Copy
:
struct Point { x: i32, y: i32, }
A struct
can be Copy
, and i32
is Copy
, so therefore, Point
is eligible to be Copy
.
struct PointList { points: Vec<Point>, }
The PointList
struct
cannot implement Copy
, because Vec<T>
is not Copy
. If we
attempt to derive a Copy
implementation, we'll get an error.
error: the trait `Copy` may not be implemented for this type; field `points` does not implement
`Copy`
How can I implement Copy
?
There are two ways to implement Copy
on your type:
#[derive(Copy)] struct MyStruct;
and
fn main() { struct MyStruct; impl Copy for MyStruct {} }struct MyStruct; impl Copy for MyStruct {}
There is a small difference between the two: the derive
strategy will also place a Copy
bound on type parameters, which isn't always desired.
When can my type not be Copy
?
Some types can't be copied safely. For example, copying &mut T
would create an aliased
mutable reference, and copying String
would result in two attempts to free the same buffer.
Generalizing the latter case, any type implementing Drop
can't be Copy
, because it's
managing some resource besides its own size_of::<T>()
bytes.
When should my type be Copy
?
Generally speaking, if your type can implement Copy
, it should. There's one important thing
to consider though: if you think your type may not be able to implement Copy
in the future,
then it might be prudent to not implement Copy
. This is because removing Copy
is a breaking
change: that second example would fail to compile if we made Foo
non-Copy
.
Implementors
impl Copy for FpCategory
impl Copy for TyDesc
impl<T> Copy for NonZero<T> where T: Copy, T: Zeroable
impl<T> Copy for PhantomData<T> where T: ?Sized
impl Copy for RangeFull
impl<Idx> Copy for RangeTo<Idx> where Idx: Copy
impl Copy for Ordering
impl Copy for TypeId
impl Copy for Ordering
impl Copy for BorrowState
impl<T> Copy for Option<T> where T: Copy
impl<T> Copy for Slice<T>
impl Copy for Closure
impl Copy for TraitObject
impl<T, E> Copy for Result<T, E> where T: Copy, E: Copy
impl Copy for i8x16
impl Copy for i16x8
impl Copy for i32x4
impl Copy for i64x2
impl Copy for u8x16
impl Copy for u16x8
impl Copy for u32x4
impl Copy for u64x2
impl Copy for f32x4
impl Copy for f64x2
impl Copy for Utf8Error
impl Copy for BytesDeref
impl Copy for CharRange
impl Copy for Radix
impl<T, R> Copy for RadixFmt<T, R> where T: Copy, R: Copy
impl Copy for Argument
impl Copy for FormatSpec
impl Copy for Alignment
impl Copy for Count
impl Copy for Position
impl Copy for Error
impl Copy for FlagV1
impl<'a> Copy for Arguments<'a>
impl<NodeRef, Type, NodeType> Copy for Handle<NodeRef, Type, NodeType> where NodeRef: Copy, Type: Copy, NodeType: Copy
impl<T> Copy for Rawlink<T>
impl<E> Copy for EnumSet<E>
impl Copy for Direction
impl Copy for SizeDirection
impl Copy for GraphemeCat
impl Copy for Utf16Item
impl Copy for ExponentFormat
impl Copy for SignificantDigits
impl Copy for SignFormat
impl Copy for State
impl Copy for SocketType
impl Copy for Flag
impl Copy for Protocol
impl Copy for Hint
impl Copy for Info
impl Copy for IpAddr
impl Copy for SocketAddr
impl Copy for ParseError
impl Copy for StdioContainer
impl Copy for ProcessExit
impl Copy for NullWriter
impl Copy for ZeroReader
impl Copy for NullReader
impl Copy for IoErrorKind
impl Copy for SeekStyle
impl Copy for FileMode
impl Copy for FileAccess
impl Copy for FileType
impl Copy for FileStat
impl Copy for UnstableFileStat
impl Copy for FilePermission
impl Copy for ErrorKind
impl Copy for SeekFrom
impl Copy for Ipv4Addr
impl Copy for Ipv6Addr
impl Copy for Ipv6MulticastScope
impl Copy for IpAddr
impl Copy for SocketAddr
impl Copy for Shutdown
impl Copy for Pipe
impl Copy for MemoryMapKind
impl Copy for MapOption
impl Copy for MapError
impl<'a> Copy for Prefix<'a>
impl<'a> Copy for Component<'a>
impl Copy for ParsePathError
impl Copy for ParsePathError
impl Copy for PathPrefix
impl Copy for ExitStatus
impl Copy for StandardNormal
impl Copy for Normal
impl Copy for LogNormal
impl Copy for Exp1
impl Copy for Exp
impl Copy for IsaacRng
impl Copy for Isaac64Rng
impl Copy for ChaChaRng
impl Copy for ReseedWithDefault
impl Copy for StdRng
impl Copy for Duration
impl<T: Copy> Copy for SendError<T>
impl Copy for RecvError
impl Copy for TryRecvError
impl<T: Copy> Copy for TrySendError<T>