2014-06-28 15:57:36 -05:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
2012-12-10 17:44:02 -06: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.
|
|
|
|
|
2014-05-07 14:12:24 -05:00
|
|
|
// FIXME: talk about offset, copy_memory, copy_nonoverlapping_memory
|
|
|
|
|
2015-07-17 18:28:04 -05:00
|
|
|
//! Raw, unsafe pointers, `*const T`, and `*mut T`
|
2014-04-07 16:00:19 -05:00
|
|
|
//!
|
2015-07-20 13:21:02 -05:00
|
|
|
//! *[See also the pointer primitive types](../primitive.pointer.html).*
|
2012-03-10 02:04:09 -06:00
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#![stable(feature = "rust1", since = "1.0.0")]
|
2014-12-19 10:57:12 -06:00
|
|
|
|
2013-07-02 14:47:32 -05:00
|
|
|
use clone::Clone;
|
2014-04-30 22:17:50 -05:00
|
|
|
use intrinsics;
|
2015-10-16 10:54:05 -05:00
|
|
|
use ops::{CoerceUnsized, Deref};
|
2015-07-29 16:14:01 -05:00
|
|
|
use fmt;
|
2015-09-13 10:11:10 -05:00
|
|
|
use hash;
|
2015-01-03 21:42:21 -06:00
|
|
|
use option::Option::{self, Some, None};
|
2015-10-16 10:54:05 -05:00
|
|
|
use marker::{Copy, PhantomData, Send, Sized, Sync, Unsize};
|
2015-07-23 20:04:55 -05:00
|
|
|
use mem;
|
2015-02-12 09:33:21 -06:00
|
|
|
use nonzero::NonZero;
|
2013-07-17 14:32:49 -05:00
|
|
|
|
2015-01-02 01:53:35 -06:00
|
|
|
use cmp::{PartialEq, Eq, Ord, PartialOrd};
|
2015-01-03 21:42:21 -06:00
|
|
|
use cmp::Ordering::{self, Less, Equal, Greater};
|
2013-02-28 10:57:33 -06:00
|
|
|
|
2015-01-06 19:53:18 -06:00
|
|
|
// FIXME #19649: intrinsic docs don't render, so these have no docs :(
|
2014-12-08 19:12:35 -06:00
|
|
|
|
2015-02-23 13:39:16 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-03-18 21:51:10 -05:00
|
|
|
pub use intrinsics::copy_nonoverlapping;
|
2014-12-08 19:12:35 -06:00
|
|
|
|
2015-02-23 13:39:16 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-03-18 21:51:10 -05:00
|
|
|
pub use intrinsics::copy;
|
2014-12-08 19:12:35 -06:00
|
|
|
|
2015-02-23 13:39:16 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-03-18 21:51:10 -05:00
|
|
|
pub use intrinsics::write_bytes;
|
2014-12-03 16:21:51 -06:00
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Creates a null raw pointer.
|
2014-04-07 16:00:19 -05:00
|
|
|
///
|
2014-12-08 19:12:35 -06:00
|
|
|
/// # Examples
|
2014-04-07 16:00:19 -05:00
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// use std::ptr;
|
|
|
|
///
|
2015-02-13 13:30:31 -06:00
|
|
|
/// let p: *const i32 = ptr::null();
|
2014-04-07 16:00:19 -05:00
|
|
|
/// assert!(p.is_null());
|
|
|
|
/// ```
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-09-02 14:06:04 -05:00
|
|
|
pub const fn null<T>() -> *const T { 0 as *const T }
|
2012-04-03 23:56:16 -05:00
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Creates a null mutable raw pointer.
|
2014-04-07 16:00:19 -05:00
|
|
|
///
|
2014-12-08 19:12:35 -06:00
|
|
|
/// # Examples
|
2014-04-07 16:00:19 -05:00
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// use std::ptr;
|
|
|
|
///
|
2015-02-13 13:30:31 -06:00
|
|
|
/// let p: *mut i32 = ptr::null_mut();
|
2014-04-07 16:00:19 -05:00
|
|
|
/// assert!(p.is_null());
|
|
|
|
/// ```
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-09-02 14:06:04 -05:00
|
|
|
pub const fn null_mut<T>() -> *mut T { 0 as *mut T }
|
2012-09-14 18:12:18 -05:00
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Swaps the values at two mutable locations of the same type, without
|
2015-10-13 08:44:11 -05:00
|
|
|
/// deinitializing either. They may overlap, unlike `mem::swap` which is
|
2014-12-19 10:57:12 -06:00
|
|
|
/// otherwise equivalent.
|
2014-12-08 19:12:35 -06:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// This is only unsafe because it accepts a raw pointer.
|
2013-05-31 09:21:29 -05:00
|
|
|
#[inline]
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-02-14 17:42:01 -06:00
|
|
|
pub unsafe fn swap<T>(x: *mut T, y: *mut T) {
|
2013-05-31 09:21:29 -05:00
|
|
|
// Give ourselves some scratch space to work with
|
2014-05-23 22:53:56 -05:00
|
|
|
let mut tmp: T = mem::uninitialized();
|
2013-05-31 09:21:29 -05:00
|
|
|
|
|
|
|
// Perform the swap
|
2015-03-27 13:12:28 -05:00
|
|
|
copy_nonoverlapping(x, &mut tmp, 1);
|
|
|
|
copy(y, x, 1); // `x` and `y` may overlap
|
|
|
|
copy_nonoverlapping(&tmp, y, 1);
|
2013-05-31 09:21:29 -05:00
|
|
|
|
|
|
|
// y and t now point to the same thing, but we need to completely forget `tmp`
|
|
|
|
// because it's no longer relevant.
|
core: Remove the cast module
This commit revisits the `cast` module in libcore and libstd, and scrutinizes
all functions inside of it. The result was to remove the `cast` module entirely,
folding all functionality into the `mem` module. Specifically, this is the fate
of each function in the `cast` module.
* transmute - This function was moved to `mem`, but it is now marked as
#[unstable]. This is due to planned changes to the `transmute`
function and how it can be invoked (see the #[unstable] comment).
For more information, see RFC 5 and #12898
* transmute_copy - This function was moved to `mem`, with clarification that is
is not an error to invoke it with T/U that are different
sizes, but rather that it is strongly discouraged. This
function is now #[stable]
* forget - This function was moved to `mem` and marked #[stable]
* bump_box_refcount - This function was removed due to the deprecation of
managed boxes as well as its questionable utility.
* transmute_mut - This function was previously deprecated, and removed as part
of this commit.
* transmute_mut_unsafe - This function doesn't serve much of a purpose when it
can be achieved with an `as` in safe code, so it was
removed.
* transmute_lifetime - This function was removed because it is likely a strong
indication that code is incorrect in the first place.
* transmute_mut_lifetime - This function was removed for the same reasons as
`transmute_lifetime`
* copy_lifetime - This function was moved to `mem`, but it is marked
`#[unstable]` now due to the likelihood of being removed in
the future if it is found to not be very useful.
* copy_mut_lifetime - This function was also moved to `mem`, but had the same
treatment as `copy_lifetime`.
* copy_lifetime_vec - This function was removed because it is not used today,
and its existence is not necessary with DST
(copy_lifetime will suffice).
In summary, the cast module was stripped down to these functions, and then the
functions were moved to the `mem` module.
transmute - #[unstable]
transmute_copy - #[stable]
forget - #[stable]
copy_lifetime - #[unstable]
copy_mut_lifetime - #[unstable]
[breaking-change]
2014-05-09 12:34:51 -05:00
|
|
|
mem::forget(tmp);
|
2013-05-31 09:21:29 -05:00
|
|
|
}
|
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Replaces the value at `dest` with `src`, returning the old
|
|
|
|
/// value, without dropping either.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// This is only unsafe because it accepts a raw pointer.
|
|
|
|
/// Otherwise, this operation is identical to `mem::replace`.
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-02-14 17:42:01 -06:00
|
|
|
pub unsafe fn replace<T>(dest: *mut T, mut src: T) -> T {
|
2015-07-23 20:04:55 -05:00
|
|
|
mem::swap(&mut *dest, &mut src); // cannot overlap
|
2013-05-31 09:21:29 -05:00
|
|
|
src
|
|
|
|
}
|
|
|
|
|
2015-02-05 18:57:28 -06:00
|
|
|
/// Reads the value from `src` without moving it. This leaves the
|
2014-12-08 19:12:35 -06:00
|
|
|
/// memory in `src` unchanged.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// Beyond accepting a raw pointer, this is unsafe because it semantically
|
|
|
|
/// moves the value out of `src` without preventing further usage of `src`.
|
|
|
|
/// If `T` is not `Copy`, then care must be taken to ensure that the value at
|
|
|
|
/// `src` is not used before the data is overwritten again (e.g. with `write`,
|
|
|
|
/// `zero_memory`, or `copy_memory`). Note that `*src = foo` counts as a use
|
|
|
|
/// because it will attempt to drop the value previously at `*src`.
|
2013-06-20 14:13:22 -05:00
|
|
|
#[inline(always)]
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-06-25 14:47:34 -05:00
|
|
|
pub unsafe fn read<T>(src: *const T) -> T {
|
2014-05-23 22:53:56 -05:00
|
|
|
let mut tmp: T = mem::uninitialized();
|
2015-03-27 13:12:28 -05:00
|
|
|
copy_nonoverlapping(src, &mut tmp, 1);
|
2013-06-20 14:13:22 -05:00
|
|
|
tmp
|
|
|
|
}
|
|
|
|
|
2015-02-10 03:04:39 -06:00
|
|
|
/// Variant of read_and_zero that writes the specific drop-flag byte
|
2015-03-25 10:36:58 -05:00
|
|
|
/// (which may be more appropriate than zero).
|
2015-02-10 03:04:39 -06:00
|
|
|
#[inline(always)]
|
2015-06-09 13:18:03 -05:00
|
|
|
#[unstable(feature = "filling_drop",
|
2015-08-12 19:23:48 -05:00
|
|
|
reason = "may play a larger role in std::ptr future extensions",
|
|
|
|
issue = "5016")]
|
2015-02-10 03:04:39 -06:00
|
|
|
pub unsafe fn read_and_drop<T>(dest: *mut T) -> T {
|
|
|
|
// Copy the data out from `dest`:
|
|
|
|
let tmp = read(&*dest);
|
|
|
|
|
|
|
|
// Now mark `dest` as dropped:
|
|
|
|
write_bytes(dest, mem::POST_DROP_U8, 1);
|
|
|
|
|
|
|
|
tmp
|
|
|
|
}
|
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
/// Overwrites a memory location with the given value without reading or
|
|
|
|
/// dropping the old value.
|
2014-05-29 19:40:18 -05:00
|
|
|
///
|
2014-12-08 19:12:35 -06:00
|
|
|
/// # Safety
|
|
|
|
///
|
2015-10-11 06:40:47 -05:00
|
|
|
/// This operation is marked unsafe because it accepts a raw pointer.
|
|
|
|
///
|
|
|
|
/// It does not drop the contents of `dst`. This is safe, but it could leak
|
|
|
|
/// allocations or resources, so care must be taken not to overwrite an object
|
|
|
|
/// that should be dropped.
|
2014-12-08 19:12:35 -06:00
|
|
|
///
|
2015-01-06 19:53:18 -06:00
|
|
|
/// This is appropriate for initializing uninitialized memory, or overwriting
|
2014-12-19 10:57:12 -06:00
|
|
|
/// memory that has previously been `read` from.
|
2014-05-29 19:40:18 -05:00
|
|
|
#[inline]
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2014-05-29 19:40:18 -05:00
|
|
|
pub unsafe fn write<T>(dst: *mut T, src: T) {
|
|
|
|
intrinsics::move_val_init(&mut *dst, src)
|
|
|
|
}
|
|
|
|
|
2015-03-10 23:13:36 -05:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
#[lang = "const_ptr"]
|
|
|
|
impl<T: ?Sized> *const T {
|
|
|
|
/// Returns true if the pointer is null.
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
#[inline]
|
2015-03-18 11:36:18 -05:00
|
|
|
pub fn is_null(self) -> bool where T: Sized {
|
2015-09-02 14:06:04 -05:00
|
|
|
self == null()
|
2015-03-10 23:13:36 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns `None` if the pointer is null, or else returns a reference to
|
|
|
|
/// the value wrapped in `Some`.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// While this method and its mutable counterpart are useful for
|
|
|
|
/// null-safety, it is important to note that this is still an unsafe
|
|
|
|
/// operation because the returned value could be pointing to invalid
|
|
|
|
/// memory.
|
2015-06-09 13:18:03 -05:00
|
|
|
#[unstable(feature = "ptr_as_ref",
|
|
|
|
reason = "Option is not clearly the right return type, and we \
|
|
|
|
may want to tie the return lifetime to a borrow of \
|
2015-08-12 19:23:48 -05:00
|
|
|
the raw pointer",
|
|
|
|
issue = "27780")]
|
2015-03-10 23:13:36 -05:00
|
|
|
#[inline]
|
2015-03-18 11:36:18 -05:00
|
|
|
pub unsafe fn as_ref<'a>(&self) -> Option<&'a T> where T: Sized {
|
2015-03-10 23:13:36 -05:00
|
|
|
if self.is_null() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
Some(&**self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Calculates the offset from a pointer. `count` is in units of T; e.g. a
|
|
|
|
/// `count` of 3 represents a pointer offset of `3 * sizeof::<T>()` bytes.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
2015-04-19 12:17:47 -05:00
|
|
|
/// Both the starting and resulting pointer must be either in bounds or one
|
|
|
|
/// byte past the end of an allocated object. If either pointer is out of
|
|
|
|
/// bounds or arithmetic overflow occurs then
|
|
|
|
/// any further use of the returned value will result in undefined behavior.
|
2015-03-10 23:13:36 -05:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
#[inline]
|
|
|
|
pub unsafe fn offset(self, count: isize) -> *const T where T: Sized {
|
|
|
|
intrinsics::offset(self, count)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
#[lang = "mut_ptr"]
|
|
|
|
impl<T: ?Sized> *mut T {
|
|
|
|
/// Returns true if the pointer is null.
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
#[inline]
|
2015-03-18 11:36:18 -05:00
|
|
|
pub fn is_null(self) -> bool where T: Sized {
|
2015-09-02 14:06:04 -05:00
|
|
|
self == null_mut()
|
2015-03-10 23:13:36 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns `None` if the pointer is null, or else returns a reference to
|
|
|
|
/// the value wrapped in `Some`.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// While this method and its mutable counterpart are useful for
|
|
|
|
/// null-safety, it is important to note that this is still an unsafe
|
|
|
|
/// operation because the returned value could be pointing to invalid
|
|
|
|
/// memory.
|
2015-06-09 13:18:03 -05:00
|
|
|
#[unstable(feature = "ptr_as_ref",
|
|
|
|
reason = "Option is not clearly the right return type, and we \
|
|
|
|
may want to tie the return lifetime to a borrow of \
|
2015-08-12 19:23:48 -05:00
|
|
|
the raw pointer",
|
|
|
|
issue = "27780")]
|
2015-03-10 23:13:36 -05:00
|
|
|
#[inline]
|
2015-03-18 11:36:18 -05:00
|
|
|
pub unsafe fn as_ref<'a>(&self) -> Option<&'a T> where T: Sized {
|
2015-03-10 23:13:36 -05:00
|
|
|
if self.is_null() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
Some(&**self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Calculates the offset from a pointer. `count` is in units of T; e.g. a
|
|
|
|
/// `count` of 3 represents a pointer offset of `3 * sizeof::<T>()` bytes.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// The offset must be in-bounds of the object, or one-byte-past-the-end.
|
2015-10-13 08:44:11 -05:00
|
|
|
/// Otherwise `offset` invokes Undefined Behavior, regardless of whether
|
2015-03-10 23:13:36 -05:00
|
|
|
/// the pointer is used.
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
#[inline]
|
|
|
|
pub unsafe fn offset(self, count: isize) -> *mut T where T: Sized {
|
|
|
|
intrinsics::offset(self, count) as *mut T
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns `None` if the pointer is null, or else returns a mutable
|
|
|
|
/// reference to the value wrapped in `Some`.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// As with `as_ref`, this is unsafe because it cannot verify the validity
|
|
|
|
/// of the returned pointer.
|
2015-06-09 13:18:03 -05:00
|
|
|
#[unstable(feature = "ptr_as_ref",
|
2015-03-10 23:13:36 -05:00
|
|
|
reason = "return value does not necessarily convey all possible \
|
2015-08-12 19:23:48 -05:00
|
|
|
information",
|
|
|
|
issue = "27780")]
|
2015-03-10 23:13:36 -05:00
|
|
|
#[inline]
|
2015-03-18 11:36:18 -05:00
|
|
|
pub unsafe fn as_mut<'a>(&self) -> Option<&'a mut T> where T: Sized {
|
2015-03-10 23:13:36 -05:00
|
|
|
if self.is_null() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
Some(&mut **self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-27 19:33:22 -05:00
|
|
|
// Equality for pointers
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> PartialEq for *const T {
|
2013-09-12 00:01:59 -05:00
|
|
|
#[inline]
|
2015-02-23 13:39:16 -06:00
|
|
|
fn eq(&self, other: &*const T) -> bool { *self == *other }
|
2013-09-12 00:01:59 -05:00
|
|
|
}
|
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> Eq for *const T {}
|
2014-03-22 15:30:45 -05:00
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> PartialEq for *mut T {
|
2013-09-12 00:01:59 -05:00
|
|
|
#[inline]
|
2015-02-23 13:39:16 -06:00
|
|
|
fn eq(&self, other: &*mut T) -> bool { *self == *other }
|
2013-09-12 00:01:59 -05:00
|
|
|
}
|
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> Eq for *mut T {}
|
2014-03-22 15:30:45 -05:00
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> Clone for *const T {
|
2014-05-29 19:40:18 -05:00
|
|
|
#[inline]
|
2014-06-25 14:47:34 -05:00
|
|
|
fn clone(&self) -> *const T {
|
2014-05-29 19:40:18 -05:00
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> Clone for *mut T {
|
2014-05-29 19:40:18 -05:00
|
|
|
#[inline]
|
|
|
|
fn clone(&self) -> *mut T {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-09-13 10:11:10 -05:00
|
|
|
// Impls for function pointers
|
|
|
|
macro_rules! fnptr_impls_safety_abi {
|
|
|
|
($FnTy: ty, $($Arg: ident),*) => {
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
impl<Ret, $($Arg),*> Clone for $FnTy {
|
|
|
|
#[inline]
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
2013-08-21 08:31:02 -05:00
|
|
|
|
2015-09-13 10:11:10 -05:00
|
|
|
#[stable(feature = "fnptr_impls", since = "1.4.0")]
|
|
|
|
impl<Ret, $($Arg),*> PartialEq for $FnTy {
|
|
|
|
#[inline]
|
|
|
|
fn eq(&self, other: &Self) -> bool {
|
|
|
|
*self as usize == *other as usize
|
|
|
|
}
|
2013-08-21 08:31:02 -05:00
|
|
|
}
|
2015-09-13 10:11:10 -05:00
|
|
|
|
|
|
|
#[stable(feature = "fnptr_impls", since = "1.4.0")]
|
|
|
|
impl<Ret, $($Arg),*> Eq for $FnTy {}
|
|
|
|
|
|
|
|
#[stable(feature = "fnptr_impls", since = "1.4.0")]
|
|
|
|
impl<Ret, $($Arg),*> PartialOrd for $FnTy {
|
|
|
|
#[inline]
|
|
|
|
fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
|
|
|
|
(*self as usize).partial_cmp(&(*other as usize))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[stable(feature = "fnptr_impls", since = "1.4.0")]
|
|
|
|
impl<Ret, $($Arg),*> Ord for $FnTy {
|
|
|
|
#[inline]
|
|
|
|
fn cmp(&self, other: &Self) -> Ordering {
|
|
|
|
(*self as usize).cmp(&(*other as usize))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[stable(feature = "fnptr_impls", since = "1.4.0")]
|
|
|
|
impl<Ret, $($Arg),*> hash::Hash for $FnTy {
|
|
|
|
fn hash<HH: hash::Hasher>(&self, state: &mut HH) {
|
|
|
|
state.write_usize(*self as usize)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[stable(feature = "fnptr_impls", since = "1.4.0")]
|
|
|
|
impl<Ret, $($Arg),*> fmt::Pointer for $FnTy {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
fmt::Pointer::fmt(&(*self as *const ()), f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[stable(feature = "fnptr_impls", since = "1.4.0")]
|
|
|
|
impl<Ret, $($Arg),*> fmt::Debug for $FnTy {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
fmt::Pointer::fmt(&(*self as *const ()), f)
|
2013-08-21 08:31:02 -05:00
|
|
|
}
|
|
|
|
}
|
2014-11-14 11:18:10 -06:00
|
|
|
}
|
2013-08-21 08:31:02 -05:00
|
|
|
}
|
|
|
|
|
2015-09-13 10:11:10 -05:00
|
|
|
macro_rules! fnptr_impls_args {
|
|
|
|
($($Arg: ident),*) => {
|
|
|
|
fnptr_impls_safety_abi! { extern "Rust" fn($($Arg),*) -> Ret, $($Arg),* }
|
|
|
|
fnptr_impls_safety_abi! { extern "C" fn($($Arg),*) -> Ret, $($Arg),* }
|
|
|
|
fnptr_impls_safety_abi! { unsafe extern "Rust" fn($($Arg),*) -> Ret, $($Arg),* }
|
|
|
|
fnptr_impls_safety_abi! { unsafe extern "C" fn($($Arg),*) -> Ret, $($Arg),* }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fnptr_impls_args! { }
|
|
|
|
fnptr_impls_args! { A }
|
|
|
|
fnptr_impls_args! { A, B }
|
|
|
|
fnptr_impls_args! { A, B, C }
|
|
|
|
fnptr_impls_args! { A, B, C, D }
|
|
|
|
fnptr_impls_args! { A, B, C, D, E }
|
2015-09-21 03:51:30 -05:00
|
|
|
fnptr_impls_args! { A, B, C, D, E, F }
|
|
|
|
fnptr_impls_args! { A, B, C, D, E, F, G }
|
|
|
|
fnptr_impls_args! { A, B, C, D, E, F, G, H }
|
|
|
|
fnptr_impls_args! { A, B, C, D, E, F, G, H, I }
|
|
|
|
fnptr_impls_args! { A, B, C, D, E, F, G, H, I, J }
|
|
|
|
fnptr_impls_args! { A, B, C, D, E, F, G, H, I, J, K }
|
|
|
|
fnptr_impls_args! { A, B, C, D, E, F, G, H, I, J, K, L }
|
2015-09-13 10:11:10 -05:00
|
|
|
|
2012-08-27 18:26:35 -05:00
|
|
|
// Comparison for pointers
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> Ord for *const T {
|
2014-06-18 01:25:51 -05:00
|
|
|
#[inline]
|
2014-12-12 11:44:22 -06:00
|
|
|
fn cmp(&self, other: &*const T) -> Ordering {
|
2014-06-18 01:25:51 -05:00
|
|
|
if self < other {
|
2014-12-12 11:44:22 -06:00
|
|
|
Less
|
2014-06-18 01:25:51 -05:00
|
|
|
} else if self == other {
|
2014-12-12 11:44:22 -06:00
|
|
|
Equal
|
2014-06-18 01:25:51 -05:00
|
|
|
} else {
|
2014-12-12 11:44:22 -06:00
|
|
|
Greater
|
2014-06-18 01:25:51 -05:00
|
|
|
}
|
|
|
|
}
|
2014-12-12 11:44:22 -06:00
|
|
|
}
|
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> PartialOrd for *const T {
|
2014-12-12 11:44:22 -06:00
|
|
|
#[inline]
|
|
|
|
fn partial_cmp(&self, other: &*const T) -> Option<Ordering> {
|
|
|
|
Some(self.cmp(other))
|
|
|
|
}
|
2014-06-18 01:25:51 -05:00
|
|
|
|
2013-09-12 00:01:59 -05:00
|
|
|
#[inline]
|
2014-06-25 14:47:34 -05:00
|
|
|
fn lt(&self, other: &*const T) -> bool { *self < *other }
|
2014-06-18 01:25:51 -05:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn le(&self, other: &*const T) -> bool { *self <= *other }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn gt(&self, other: &*const T) -> bool { *self > *other }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn ge(&self, other: &*const T) -> bool { *self >= *other }
|
2013-09-12 00:01:59 -05:00
|
|
|
}
|
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> Ord for *mut T {
|
2014-06-18 01:25:51 -05:00
|
|
|
#[inline]
|
2014-12-12 11:44:22 -06:00
|
|
|
fn cmp(&self, other: &*mut T) -> Ordering {
|
2014-06-18 01:25:51 -05:00
|
|
|
if self < other {
|
2014-12-12 11:44:22 -06:00
|
|
|
Less
|
2014-06-18 01:25:51 -05:00
|
|
|
} else if self == other {
|
2014-12-12 11:44:22 -06:00
|
|
|
Equal
|
2014-06-18 01:25:51 -05:00
|
|
|
} else {
|
2014-12-12 11:44:22 -06:00
|
|
|
Greater
|
2014-06-18 01:25:51 -05:00
|
|
|
}
|
|
|
|
}
|
2014-12-12 11:44:22 -06:00
|
|
|
}
|
|
|
|
|
2015-01-23 23:48:20 -06:00
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> PartialOrd for *mut T {
|
2014-12-12 11:44:22 -06:00
|
|
|
#[inline]
|
|
|
|
fn partial_cmp(&self, other: &*mut T) -> Option<Ordering> {
|
|
|
|
Some(self.cmp(other))
|
|
|
|
}
|
2014-06-18 01:25:51 -05:00
|
|
|
|
2013-09-12 00:01:59 -05:00
|
|
|
#[inline]
|
2014-04-30 22:17:50 -05:00
|
|
|
fn lt(&self, other: &*mut T) -> bool { *self < *other }
|
2014-06-18 01:25:51 -05:00
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn le(&self, other: &*mut T) -> bool { *self <= *other }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn gt(&self, other: &*mut T) -> bool { *self > *other }
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn ge(&self, other: &*mut T) -> bool { *self >= *other }
|
2013-09-12 00:01:59 -05:00
|
|
|
}
|
2014-12-06 10:39:25 -06:00
|
|
|
|
|
|
|
/// A wrapper around a raw `*mut T` that indicates that the possessor
|
|
|
|
/// of this wrapper owns the referent. This in turn implies that the
|
2015-02-12 09:33:21 -06:00
|
|
|
/// `Unique<T>` is `Send`/`Sync` if `T` is `Send`/`Sync`, unlike a raw
|
|
|
|
/// `*mut T` (which conveys no particular ownership semantics). It
|
|
|
|
/// also implies that the referent of the pointer should not be
|
|
|
|
/// modified without a unique path to the `Unique` reference. Useful
|
|
|
|
/// for building abstractions like `Vec<T>` or `Box<T>`, which
|
2014-12-06 10:39:25 -06:00
|
|
|
/// internally use raw pointers to manage the memory that they own.
|
2015-08-12 19:23:48 -05:00
|
|
|
#[unstable(feature = "unique", reason = "needs an RFC to flesh out design",
|
|
|
|
issue = "27730")]
|
2015-02-23 13:39:16 -06:00
|
|
|
pub struct Unique<T: ?Sized> {
|
2015-02-12 09:33:21 -06:00
|
|
|
pointer: NonZero<*const T>,
|
2015-06-19 15:55:01 -05:00
|
|
|
// NOTE: this marker has no consequences for variance, but is necessary
|
|
|
|
// for dropck to understand that we logically own a `T`.
|
|
|
|
//
|
|
|
|
// For details, see:
|
|
|
|
// https://github.com/rust-lang/rfcs/blob/master/text/0769-sound-generic-drop.md#phantom-data
|
2015-02-12 09:33:21 -06:00
|
|
|
_marker: PhantomData<T>,
|
2015-01-21 13:02:52 -06:00
|
|
|
}
|
2014-12-06 10:39:25 -06:00
|
|
|
|
2014-12-22 07:25:58 -06:00
|
|
|
/// `Unique` pointers are `Send` if `T` is `Send` because the data they
|
2014-12-06 10:39:25 -06:00
|
|
|
/// reference is unaliased. Note that this aliasing invariant is
|
|
|
|
/// unenforced by the type system; the abstraction using the
|
2014-12-22 07:25:58 -06:00
|
|
|
/// `Unique` must enforce it.
|
2015-08-12 19:23:48 -05:00
|
|
|
#[unstable(feature = "unique", issue = "27730")]
|
2015-02-10 07:37:44 -06:00
|
|
|
unsafe impl<T: Send + ?Sized> Send for Unique<T> { }
|
2014-12-06 10:39:25 -06:00
|
|
|
|
2014-12-22 07:25:58 -06:00
|
|
|
/// `Unique` pointers are `Sync` if `T` is `Sync` because the data they
|
2014-12-06 10:39:25 -06:00
|
|
|
/// reference is unaliased. Note that this aliasing invariant is
|
|
|
|
/// unenforced by the type system; the abstraction using the
|
2014-12-22 07:25:58 -06:00
|
|
|
/// `Unique` must enforce it.
|
2015-08-12 19:23:48 -05:00
|
|
|
#[unstable(feature = "unique", issue = "27730")]
|
2015-02-10 07:37:44 -06:00
|
|
|
unsafe impl<T: Sync + ?Sized> Sync for Unique<T> { }
|
2014-12-06 10:39:25 -06:00
|
|
|
|
2015-10-13 10:11:49 -05:00
|
|
|
#[cfg(stage0)]
|
|
|
|
macro_rules! unique_new {
|
|
|
|
() => (
|
|
|
|
/// Creates a new `Unique`.
|
|
|
|
pub unsafe fn new(ptr: *mut T) -> Unique<T> {
|
|
|
|
Unique { pointer: NonZero::new(ptr), _marker: PhantomData }
|
|
|
|
}
|
|
|
|
)
|
|
|
|
}
|
|
|
|
#[cfg(not(stage0))]
|
|
|
|
macro_rules! unique_new {
|
|
|
|
() => (
|
|
|
|
/// Creates a new `Unique`.
|
|
|
|
pub unsafe const fn new(ptr: *mut T) -> Unique<T> {
|
|
|
|
Unique { pointer: NonZero::new(ptr), _marker: PhantomData }
|
|
|
|
}
|
|
|
|
)
|
|
|
|
}
|
|
|
|
|
2015-08-12 19:23:48 -05:00
|
|
|
#[unstable(feature = "unique", issue = "27730")]
|
2015-02-23 13:39:16 -06:00
|
|
|
impl<T: ?Sized> Unique<T> {
|
2015-10-13 10:11:49 -05:00
|
|
|
unique_new!{}
|
2014-12-06 10:39:25 -06:00
|
|
|
|
2015-04-13 09:21:32 -05:00
|
|
|
/// Dereferences the content.
|
2015-02-12 09:33:21 -06:00
|
|
|
pub unsafe fn get(&self) -> &T {
|
|
|
|
&**self.pointer
|
|
|
|
}
|
|
|
|
|
2015-04-13 09:21:32 -05:00
|
|
|
/// Mutably dereferences the content.
|
2015-02-12 09:33:21 -06:00
|
|
|
pub unsafe fn get_mut(&mut self) -> &mut T {
|
|
|
|
&mut ***self
|
2014-12-06 10:39:25 -06:00
|
|
|
}
|
|
|
|
}
|
2015-01-21 13:02:52 -06:00
|
|
|
|
2015-08-12 19:23:48 -05:00
|
|
|
#[unstable(feature = "unique", issue= "27730")]
|
2015-02-12 09:33:21 -06:00
|
|
|
impl<T:?Sized> Deref for Unique<T> {
|
|
|
|
type Target = *mut T;
|
|
|
|
|
|
|
|
#[inline]
|
2015-09-03 04:49:08 -05:00
|
|
|
fn deref(&self) -> &*mut T {
|
2015-02-12 09:33:21 -06:00
|
|
|
unsafe { mem::transmute(&*self.pointer) }
|
|
|
|
}
|
2015-01-21 13:02:52 -06:00
|
|
|
}
|
2015-04-07 02:40:22 -05:00
|
|
|
|
|
|
|
#[stable(feature = "rust1", since = "1.0.0")]
|
|
|
|
impl<T> fmt::Pointer for Unique<T> {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
fmt::Pointer::fmt(&*self.pointer, f)
|
|
|
|
}
|
|
|
|
}
|
2015-10-16 10:54:05 -05:00
|
|
|
|
|
|
|
/// A wrapper around a raw `*mut T` that indicates that the possessor
|
|
|
|
/// of this wrapper has shared ownership of the referent. Useful for
|
|
|
|
/// building abstractions like `Rc<T>` or `Arc<T>`, which internally
|
|
|
|
/// use raw pointers to manage the memory that they own.
|
|
|
|
#[unstable(feature = "shared", reason = "needs an RFC to flesh out design",
|
2015-10-19 19:49:08 -05:00
|
|
|
issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
pub struct Shared<T: ?Sized> {
|
|
|
|
pointer: NonZero<*const T>,
|
|
|
|
// NOTE: this marker has no consequences for variance, but is necessary
|
|
|
|
// for dropck to understand that we logically own a `T`.
|
|
|
|
//
|
|
|
|
// For details, see:
|
|
|
|
// https://github.com/rust-lang/rfcs/blob/master/text/0769-sound-generic-drop.md#phantom-data
|
|
|
|
_marker: PhantomData<T>,
|
|
|
|
}
|
|
|
|
|
|
|
|
/// `Shared` pointers are not `Send` because the data they reference may be aliased.
|
|
|
|
// NB: This impl is unnecessary, but should provide better error messages.
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T: ?Sized> !Send for Shared<T> { }
|
|
|
|
|
|
|
|
/// `Shared` pointers are not `Sync` because the data they reference may be aliased.
|
|
|
|
// NB: This impl is unnecessary, but should provide better error messages.
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T: ?Sized> !Sync for Shared<T> { }
|
|
|
|
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T: ?Sized> Shared<T> {
|
|
|
|
/// Creates a new `Shared`.
|
|
|
|
pub unsafe fn new(ptr: *mut T) -> Self {
|
|
|
|
Shared { pointer: NonZero::new(ptr), _marker: PhantomData }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T: ?Sized> Clone for Shared<T> {
|
|
|
|
fn clone(&self) -> Self {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T: ?Sized> Copy for Shared<T> { }
|
|
|
|
|
|
|
|
#[cfg(not(stage0))] // remove cfg after new snapshot
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T: ?Sized, U: ?Sized> CoerceUnsized<Shared<U>> for Shared<T> where T: Unsize<U> { }
|
|
|
|
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T: ?Sized> Deref for Shared<T> {
|
|
|
|
type Target = *mut T;
|
|
|
|
|
|
|
|
#[inline]
|
|
|
|
fn deref(&self) -> &*mut T {
|
|
|
|
unsafe { mem::transmute(&*self.pointer) }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-19 19:49:08 -05:00
|
|
|
#[unstable(feature = "shared", issue = "27730")]
|
2015-10-16 10:54:05 -05:00
|
|
|
impl<T> fmt::Pointer for Shared<T> {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
fmt::Pointer::fmt(&*self.pointer, f)
|
|
|
|
}
|
|
|
|
}
|