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
|
|
|
|
|
2014-06-25 14:47:34 -05:00
|
|
|
//! Operations on unsafe pointers, `*const T`, and `*mut T`.
|
2014-04-07 16:00:19 -05:00
|
|
|
//!
|
2014-05-22 11:44:54 -05:00
|
|
|
//! Working with unsafe pointers in Rust is uncommon,
|
|
|
|
//! typically limited to a few patterns.
|
2014-04-07 16:00:19 -05:00
|
|
|
//!
|
|
|
|
//! Use the [`null` function](fn.null.html) to create null pointers,
|
2014-12-19 10:57:12 -06:00
|
|
|
//! the [`is_null`](trait.PtrExt.html#tymethod.is_null)
|
|
|
|
//! methods of the [`PtrExt` trait](trait.PtrExt.html) to check for null.
|
|
|
|
//! The `PtrExt` trait is imported by the prelude, so `is_null` etc.
|
|
|
|
//! work everywhere. The `PtrExt` also defines the `offset` method,
|
2014-05-22 11:44:54 -05:00
|
|
|
//! for pointer math.
|
2014-04-07 16:00:19 -05:00
|
|
|
//!
|
|
|
|
//! # Common ways to create unsafe pointers
|
|
|
|
//!
|
|
|
|
//! ## 1. Coerce a reference (`&T`) or mutable reference (`&mut T`).
|
|
|
|
//!
|
|
|
|
//! ```
|
|
|
|
//! let my_num: int = 10;
|
2014-06-25 14:47:34 -05:00
|
|
|
//! let my_num_ptr: *const int = &my_num;
|
2014-04-07 16:00:19 -05:00
|
|
|
//! let mut my_speed: int = 88;
|
|
|
|
//! let my_speed_ptr: *mut int = &mut my_speed;
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! This does not take ownership of the original allocation
|
|
|
|
//! and requires no resource management later,
|
|
|
|
//! but you must not use the pointer after its lifetime.
|
|
|
|
//!
|
2014-05-05 20:56:44 -05:00
|
|
|
//! ## 2. Transmute an owned box (`Box<T>`).
|
2014-04-07 16:00:19 -05:00
|
|
|
//!
|
|
|
|
//! The `transmute` function takes, by value, whatever it's given
|
|
|
|
//! and returns it as whatever type is requested, as long as the
|
2014-06-25 14:47:34 -05:00
|
|
|
//! types are the same size. Because `Box<T>` and `*mut T` have the same
|
2014-04-07 16:00:19 -05:00
|
|
|
//! representation they can be trivially,
|
|
|
|
//! though unsafely, transformed from one type to the other.
|
|
|
|
//!
|
|
|
|
//! ```
|
2015-01-07 20:53:58 -06:00
|
|
|
//! # use std::boxed::Box;
|
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
|
|
|
//! use std::mem;
|
2014-04-07 16:00:19 -05:00
|
|
|
//!
|
|
|
|
//! unsafe {
|
2015-01-07 20:53:58 -06:00
|
|
|
//! let my_num: Box<int> = Box::new(10);
|
2014-06-25 14:47:34 -05:00
|
|
|
//! let my_num: *const int = mem::transmute(my_num);
|
2015-01-07 20:53:58 -06:00
|
|
|
//! let my_speed: Box<int> = Box::new(88);
|
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
|
|
|
//! let my_speed: *mut int = mem::transmute(my_speed);
|
2014-04-07 16:00:19 -05:00
|
|
|
//!
|
2014-05-05 20:56:44 -05:00
|
|
|
//! // By taking ownership of the original `Box<T>` though
|
2014-04-07 16:00:19 -05:00
|
|
|
//! // we are obligated to transmute it back later to be destroyed.
|
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
|
|
|
//! drop(mem::transmute::<_, Box<int>>(my_speed));
|
|
|
|
//! drop(mem::transmute::<_, Box<int>>(my_num));
|
2014-04-07 16:00:19 -05:00
|
|
|
//! }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! Note that here the call to `drop` is for clarity - it indicates
|
|
|
|
//! that we are done with the given value and it should be destroyed.
|
|
|
|
//!
|
|
|
|
//! ## 3. Get it from C.
|
|
|
|
//!
|
|
|
|
//! ```
|
|
|
|
//! extern crate libc;
|
|
|
|
//!
|
|
|
|
//! use std::mem;
|
|
|
|
//!
|
|
|
|
//! fn main() {
|
|
|
|
//! unsafe {
|
|
|
|
//! let my_num: *mut int = libc::malloc(mem::size_of::<int>() as libc::size_t) as *mut int;
|
|
|
|
//! if my_num.is_null() {
|
2014-10-09 14:17:22 -05:00
|
|
|
//! panic!("failed to allocate memory");
|
2014-04-07 16:00:19 -05:00
|
|
|
//! }
|
|
|
|
//! libc::free(my_num as *mut libc::c_void);
|
|
|
|
//! }
|
|
|
|
//! }
|
|
|
|
//! ```
|
|
|
|
//!
|
|
|
|
//! Usually you wouldn't literally use `malloc` and `free` from Rust,
|
|
|
|
//! but C APIs hand out a lot of pointers generally, so are a common source
|
|
|
|
//! of unsafe pointers in Rust.
|
2012-03-10 02:04:09 -06:00
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
#![stable]
|
|
|
|
|
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
|
|
|
use mem;
|
2013-07-02 14:47:32 -05:00
|
|
|
use clone::Clone;
|
2014-04-30 22:17:50 -05:00
|
|
|
use intrinsics;
|
2015-01-03 21:42:21 -06:00
|
|
|
use option::Option::{self, Some, None};
|
2015-01-06 16:33:42 -06:00
|
|
|
use marker::{Send, Sized, Sync};
|
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
|
|
|
|
|
|
|
#[unstable]
|
2014-07-10 00:24:23 -05:00
|
|
|
pub use intrinsics::copy_nonoverlapping_memory;
|
2014-12-08 19:12:35 -06:00
|
|
|
|
|
|
|
#[unstable]
|
|
|
|
pub use intrinsics::copy_memory;
|
|
|
|
|
2015-01-07 17:48:16 -06:00
|
|
|
#[unstable = "uncertain about naming and semantics"]
|
2014-07-10 00:24:23 -05:00
|
|
|
pub use intrinsics::set_memory;
|
|
|
|
|
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;
|
|
|
|
///
|
2014-06-25 14:47:34 -05:00
|
|
|
/// let p: *const int = ptr::null();
|
2014-04-07 16:00:19 -05:00
|
|
|
/// assert!(p.is_null());
|
|
|
|
/// ```
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2014-06-25 14:47:34 -05:00
|
|
|
pub 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;
|
|
|
|
///
|
2014-09-14 22:27:36 -05:00
|
|
|
/// let p: *mut int = ptr::null_mut();
|
2014-04-07 16:00:19 -05:00
|
|
|
/// assert!(p.is_null());
|
|
|
|
/// ```
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2014-09-14 17:57:55 -05:00
|
|
|
pub fn null_mut<T>() -> *mut T { 0 as *mut T }
|
2012-09-14 18:12:18 -05:00
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
/// Zeroes out `count * size_of::<T>` bytes of memory at `dst`. `count` may be
|
|
|
|
/// `0`.
|
2014-12-08 19:12:35 -06:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
2014-12-19 10:57:12 -06:00
|
|
|
/// Beyond accepting a raw pointer, this is unsafe because it will not drop the
|
|
|
|
/// contents of `dst`, and may be used to create invalid instances of `T`.
|
2013-06-20 14:13:22 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "may play a larger role in std::ptr future extensions"]
|
2013-06-20 14:13:22 -05:00
|
|
|
pub unsafe fn zero_memory<T>(dst: *mut T, count: uint) {
|
|
|
|
set_memory(dst, 0, count);
|
|
|
|
}
|
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Swaps the values at two mutable locations of the same type, without
|
2014-12-19 10:57:12 -06:00
|
|
|
/// deinitialising either. They may overlap, unlike `mem::swap` which is
|
|
|
|
/// 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]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
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
|
|
|
let t: *mut T = &mut tmp;
|
|
|
|
|
|
|
|
// Perform the swap
|
2014-01-31 16:01:59 -06:00
|
|
|
copy_nonoverlapping_memory(t, &*x, 1);
|
|
|
|
copy_memory(x, &*y, 1); // `x` and `y` may overlap
|
|
|
|
copy_nonoverlapping_memory(y, &*t, 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]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2014-02-14 17:42:01 -06:00
|
|
|
pub unsafe fn replace<T>(dest: *mut T, mut src: T) -> T {
|
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::swap(mem::transmute(dest), &mut src); // cannot overlap
|
2013-05-31 09:21:29 -05:00
|
|
|
src
|
|
|
|
}
|
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Reads the value from `src` without dropping it. This leaves the
|
|
|
|
/// 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)]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
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();
|
2013-07-09 14:22:18 -05:00
|
|
|
copy_nonoverlapping_memory(&mut tmp, src, 1);
|
2013-06-20 14:13:22 -05:00
|
|
|
tmp
|
|
|
|
}
|
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Reads the value from `src` and nulls it out without dropping it.
|
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// This is unsafe for the same reasons that `read` is unsafe.
|
2013-06-20 14:13:22 -05:00
|
|
|
#[inline(always)]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "may play a larger role in std::ptr future extensions"]
|
2014-02-14 17:42:01 -06:00
|
|
|
pub unsafe fn read_and_zero<T>(dest: *mut T) -> T {
|
2013-06-20 14:13:22 -05:00
|
|
|
// Copy the data out from `dest`:
|
2014-02-14 17:42:01 -06:00
|
|
|
let tmp = read(&*dest);
|
2013-06-20 14:13:22 -05:00
|
|
|
|
|
|
|
// Now zero out `dest`:
|
|
|
|
zero_memory(dest, 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
|
|
|
|
///
|
|
|
|
/// Beyond accepting a raw pointer, this operation is unsafe because it does
|
|
|
|
/// not drop the contents of `dst`. This could leak allocations or resources,
|
|
|
|
/// so care must be taken not to overwrite an object that should be dropped.
|
|
|
|
///
|
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]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
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)
|
|
|
|
}
|
|
|
|
|
2014-05-22 11:44:54 -05:00
|
|
|
/// Methods on raw pointers
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2015-01-02 14:16:41 -06:00
|
|
|
pub trait PtrExt: Sized {
|
2015-01-02 08:12:27 -06:00
|
|
|
type Target;
|
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Returns true if the pointer is null.
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
|
|
|
fn is_null(self) -> bool;
|
2014-08-20 15:06:34 -05:00
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
/// Returns `None` if the pointer is null, or else returns a reference to
|
|
|
|
/// the value wrapped in `Some`.
|
2014-02-14 17:42:01 -06:00
|
|
|
///
|
2014-12-08 19:12:35 -06:00
|
|
|
/// # Safety
|
2014-02-14 17:42:01 -06:00
|
|
|
///
|
2014-12-19 10:57:12 -06:00
|
|
|
/// 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.
|
|
|
|
#[unstable = "Option is not clearly the right return type, and we may want \
|
|
|
|
to tie the return lifetime to a borrow of the raw pointer"]
|
2015-01-02 08:12:27 -06:00
|
|
|
unsafe fn as_ref<'a>(&self) -> Option<&'a Self::Target>;
|
2014-08-20 15:06:34 -05:00
|
|
|
|
2014-12-08 19:12:35 -06:00
|
|
|
/// Calculates the offset from a pointer. `count` is in units of T; e.g. a
|
2014-02-20 07:58:46 -06:00
|
|
|
/// `count` of 3 represents a pointer offset of `3 * sizeof::<T>()` bytes.
|
2014-12-08 19:12:35 -06:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
2014-12-19 10:57:12 -06:00
|
|
|
/// The offset must be in-bounds of the object, or one-byte-past-the-end.
|
|
|
|
/// Otherwise `offset` invokes Undefined Behaviour, regardless of whether
|
|
|
|
/// the pointer is used.
|
|
|
|
#[stable]
|
2013-08-09 00:22:52 -05:00
|
|
|
unsafe fn offset(self, count: int) -> Self;
|
2012-07-11 14:45:54 -05:00
|
|
|
}
|
|
|
|
|
2014-08-20 15:06:34 -05:00
|
|
|
/// Methods on mutable raw pointers
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2015-01-02 08:12:27 -06:00
|
|
|
pub trait MutPtrExt {
|
|
|
|
type Target;
|
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
/// Returns `None` if the pointer is null, or else returns a mutable
|
|
|
|
/// reference to the value wrapped in `Some`.
|
2014-12-08 19:12:35 -06:00
|
|
|
///
|
|
|
|
/// # Safety
|
|
|
|
///
|
|
|
|
/// As with `as_ref`, this is unsafe because it cannot verify the validity
|
|
|
|
/// of the returned pointer.
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "Option is not clearly the right return type, and we may want \
|
|
|
|
to tie the return lifetime to a borrow of the raw pointer"]
|
2015-01-02 08:12:27 -06:00
|
|
|
unsafe fn as_mut<'a>(&self) -> Option<&'a mut Self::Target>;
|
2014-08-20 15:06:34 -05:00
|
|
|
}
|
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2015-01-02 08:12:27 -06:00
|
|
|
impl<T> PtrExt for *const T {
|
|
|
|
type Target = T;
|
|
|
|
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
|
|
|
fn is_null(self) -> bool { self as uint == 0 }
|
2012-04-15 23:46:29 -05:00
|
|
|
|
2013-08-02 23:41:06 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2014-06-25 14:47:34 -05:00
|
|
|
unsafe fn offset(self, count: int) -> *const T {
|
|
|
|
intrinsics::offset(self, count)
|
|
|
|
}
|
2012-10-01 16:34:53 -05:00
|
|
|
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "return value does not necessarily convey all possible \
|
|
|
|
information"]
|
2014-08-20 15:06:34 -05:00
|
|
|
unsafe fn as_ref<'a>(&self) -> Option<&'a T> {
|
2014-02-14 17:42:01 -06:00
|
|
|
if self.is_null() {
|
|
|
|
None
|
|
|
|
} else {
|
2014-05-18 13:21:47 -05:00
|
|
|
Some(&**self)
|
2013-05-18 23:08:27 -05:00
|
|
|
}
|
|
|
|
}
|
2012-04-15 23:46:29 -05:00
|
|
|
}
|
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2015-01-02 08:12:27 -06:00
|
|
|
impl<T> PtrExt for *mut T {
|
|
|
|
type Target = T;
|
|
|
|
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
|
|
|
fn is_null(self) -> bool { self as uint == 0 }
|
2012-11-07 00:24:29 -06:00
|
|
|
|
2013-08-02 23:41:06 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2014-04-30 22:17:50 -05:00
|
|
|
unsafe fn offset(self, count: int) -> *mut T {
|
2014-06-25 14:47:34 -05:00
|
|
|
intrinsics::offset(self as *const T, count) as *mut T
|
2014-04-30 22:17:50 -05:00
|
|
|
}
|
2012-11-07 00:24:29 -06:00
|
|
|
|
2013-06-18 16:45:18 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "return value does not necessarily convey all possible \
|
|
|
|
information"]
|
2014-08-20 15:06:34 -05:00
|
|
|
unsafe fn as_ref<'a>(&self) -> Option<&'a T> {
|
2014-02-14 17:42:01 -06:00
|
|
|
if self.is_null() {
|
|
|
|
None
|
|
|
|
} else {
|
2014-05-18 13:21:47 -05:00
|
|
|
Some(&**self)
|
2013-05-18 23:08:27 -05:00
|
|
|
}
|
|
|
|
}
|
2012-11-07 00:24:29 -06:00
|
|
|
}
|
|
|
|
|
2014-12-19 10:57:12 -06:00
|
|
|
#[stable]
|
2015-01-02 08:12:27 -06:00
|
|
|
impl<T> MutPtrExt for *mut T {
|
|
|
|
type Target = T;
|
|
|
|
|
2014-08-20 15:06:34 -05:00
|
|
|
#[inline]
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "return value does not necessarily convey all possible \
|
|
|
|
information"]
|
2014-08-20 15:06:34 -05:00
|
|
|
unsafe fn as_mut<'a>(&self) -> Option<&'a mut T> {
|
|
|
|
if self.is_null() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
Some(&mut **self)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-08-27 19:33:22 -05:00
|
|
|
// Equality for pointers
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-06-25 14:47:34 -05:00
|
|
|
impl<T> PartialEq for *const T {
|
2013-09-12 00:01:59 -05:00
|
|
|
#[inline]
|
2014-06-25 14:47:34 -05:00
|
|
|
fn eq(&self, other: &*const T) -> bool {
|
2013-09-12 00:01:59 -05:00
|
|
|
*self == *other
|
|
|
|
}
|
|
|
|
#[inline]
|
2014-06-25 14:47:34 -05:00
|
|
|
fn ne(&self, other: &*const T) -> bool { !self.eq(other) }
|
2013-09-12 00:01:59 -05:00
|
|
|
}
|
|
|
|
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-06-25 14:47:34 -05:00
|
|
|
impl<T> Eq for *const T {}
|
2014-03-22 15:30:45 -05:00
|
|
|
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-05-29 19:45:07 -05:00
|
|
|
impl<T> PartialEq for *mut T {
|
2013-09-12 00:01:59 -05:00
|
|
|
#[inline]
|
|
|
|
fn eq(&self, other: &*mut T) -> bool {
|
|
|
|
*self == *other
|
|
|
|
}
|
|
|
|
#[inline]
|
|
|
|
fn ne(&self, other: &*mut T) -> bool { !self.eq(other) }
|
|
|
|
}
|
|
|
|
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-05-31 12:43:52 -05:00
|
|
|
impl<T> Eq for *mut T {}
|
2014-03-22 15:30:45 -05:00
|
|
|
|
2014-12-20 02:35:06 -06:00
|
|
|
#[stable]
|
2014-06-25 14:47:34 -05:00
|
|
|
impl<T> 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
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-12-20 02:35:06 -06:00
|
|
|
#[stable]
|
2014-05-29 19:40:18 -05:00
|
|
|
impl<T> Clone for *mut T {
|
|
|
|
#[inline]
|
|
|
|
fn clone(&self) -> *mut T {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-08-21 08:31:02 -05:00
|
|
|
// Equality for extern "C" fn pointers
|
|
|
|
mod externfnpointers {
|
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
|
|
|
use mem;
|
2014-05-29 19:45:07 -05:00
|
|
|
use cmp::PartialEq;
|
2013-08-21 08:31:02 -05:00
|
|
|
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-05-29 19:45:07 -05:00
|
|
|
impl<_R> PartialEq for extern "C" fn() -> _R {
|
2013-08-21 08:31:02 -05:00
|
|
|
#[inline]
|
|
|
|
fn eq(&self, other: &extern "C" fn() -> _R) -> bool {
|
2014-06-25 14:47:34 -05:00
|
|
|
let self_: *const () = unsafe { mem::transmute(*self) };
|
|
|
|
let other_: *const () = unsafe { mem::transmute(*other) };
|
2013-08-21 08:31:02 -05:00
|
|
|
self_ == other_
|
|
|
|
}
|
|
|
|
}
|
2014-11-14 11:18:10 -06:00
|
|
|
macro_rules! fnptreq {
|
2013-08-21 08:31:02 -05:00
|
|
|
($($p:ident),*) => {
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-05-29 19:45:07 -05:00
|
|
|
impl<_R,$($p),*> PartialEq for extern "C" fn($($p),*) -> _R {
|
2013-08-21 08:31:02 -05:00
|
|
|
#[inline]
|
|
|
|
fn eq(&self, other: &extern "C" fn($($p),*) -> _R) -> bool {
|
2014-06-25 14:47:34 -05:00
|
|
|
let self_: *const () = unsafe { mem::transmute(*self) };
|
|
|
|
|
|
|
|
let other_: *const () = unsafe { mem::transmute(*other) };
|
2013-08-21 08:31:02 -05:00
|
|
|
self_ == other_
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-11-14 11:18:10 -06:00
|
|
|
}
|
|
|
|
fnptreq! { A }
|
|
|
|
fnptreq! { A,B }
|
|
|
|
fnptreq! { A,B,C }
|
|
|
|
fnptreq! { A,B,C,D }
|
|
|
|
fnptreq! { A,B,C,D,E }
|
2013-08-21 08:31:02 -05:00
|
|
|
}
|
|
|
|
|
2012-08-27 18:26:35 -05:00
|
|
|
// Comparison for pointers
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-12-12 11:44:22 -06:00
|
|
|
impl<T> 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
|
|
|
}
|
|
|
|
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-12-12 11:44:22 -06:00
|
|
|
impl<T> PartialOrd for *const T {
|
|
|
|
#[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
|
|
|
}
|
|
|
|
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-12-12 11:44:22 -06:00
|
|
|
impl<T> 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
|
|
|
}
|
|
|
|
|
2014-12-30 16:44:26 -06:00
|
|
|
#[stable]
|
2014-12-12 11:44:22 -06:00
|
|
|
impl<T> PartialOrd for *mut T {
|
|
|
|
#[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
|
2014-12-22 07:25:58 -06:00
|
|
|
/// `Unique<T>` is `Send`/`Sync` if `T` is `Send`/`Sync`, unlike a
|
2014-12-06 10:39:25 -06:00
|
|
|
/// raw `*mut T` (which conveys no particular ownership semantics).
|
|
|
|
/// Useful for building abstractions like `Vec<T>` or `Box<T>`, which
|
|
|
|
/// internally use raw pointers to manage the memory that they own.
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "recently added to this module"]
|
2014-12-22 07:25:58 -06:00
|
|
|
pub struct Unique<T>(pub *mut T);
|
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.
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "recently added to this module"]
|
2014-12-22 07:25:58 -06:00
|
|
|
unsafe impl<T:Send> 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.
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "recently added to this module"]
|
2014-12-22 07:25:58 -06:00
|
|
|
unsafe impl<T:Sync> Sync for Unique<T> { }
|
2014-12-06 10:39:25 -06:00
|
|
|
|
2014-12-22 07:25:58 -06:00
|
|
|
impl<T> Unique<T> {
|
|
|
|
/// Returns a null Unique.
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "recently added to this module"]
|
2014-12-22 07:25:58 -06:00
|
|
|
pub fn null() -> Unique<T> {
|
2014-12-19 10:57:12 -06:00
|
|
|
Unique(null_mut())
|
2014-12-06 10:39:25 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Return an (unsafe) pointer into the memory owned by `self`.
|
2014-12-19 10:57:12 -06:00
|
|
|
#[unstable = "recently added to this module"]
|
2014-12-06 10:39:25 -06:00
|
|
|
pub unsafe fn offset(self, offset: int) -> *mut T {
|
2014-12-19 10:57:12 -06:00
|
|
|
self.0.offset(offset)
|
2014-12-06 10:39:25 -06:00
|
|
|
}
|
|
|
|
}
|