Trait ConstDefault

pub trait ConstDefault: Sized {
    const DEFAULT: Self;
}

Implements a compilation time default value for the implemented type.

Note

Unlike the Default trait implementation the DEFAULT of implementations of this trait can be used in constant evaluation contexts.

Example

const VEC: Vec<u8> = <Vec<u8> as ConstDefault>::DEFAULT;

The above code works while the below code does not:

const VEC: Vec<u8> = <Vec<u8> as Default>::default();

Required Associated Constants

const DEFAULT: Self

The constant default value.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl ConstDefault for &&str

const DEFAULT: Self = _

impl ConstDefault for &bool

const DEFAULT: Self = _

impl ConstDefault for &char

const DEFAULT: Self = _

impl ConstDefault for &f32

const DEFAULT: Self = _

impl ConstDefault for &f64

const DEFAULT: Self = _

impl ConstDefault for &i8

const DEFAULT: Self = _

impl ConstDefault for &i16

const DEFAULT: Self = _

impl ConstDefault for &i32

const DEFAULT: Self = _

impl ConstDefault for &i64

const DEFAULT: Self = _

impl ConstDefault for &i128

const DEFAULT: Self = _

impl ConstDefault for &isize

const DEFAULT: Self = _

impl ConstDefault for &str

const DEFAULT: Self = ""

impl ConstDefault for &u8

const DEFAULT: Self = _

impl ConstDefault for &u16

const DEFAULT: Self = _

impl ConstDefault for &u32

const DEFAULT: Self = _

impl ConstDefault for &u64

const DEFAULT: Self = _

impl ConstDefault for &u128

const DEFAULT: Self = _

impl ConstDefault for &()

const DEFAULT: Self = _

impl ConstDefault for &usize

const DEFAULT: Self = _

impl ConstDefault for bool

const DEFAULT: Self = false

impl ConstDefault for char

const DEFAULT: Self = '\0'

impl ConstDefault for f32

const DEFAULT: Self = 0f32

impl ConstDefault for f64

const DEFAULT: Self = 0f64

impl ConstDefault for i8

const DEFAULT: Self = 0i8

impl ConstDefault for i16

const DEFAULT: Self = 0i16

impl ConstDefault for i32

const DEFAULT: Self = 0i32

impl ConstDefault for i64

const DEFAULT: Self = 0i64

impl ConstDefault for i128

const DEFAULT: Self = 0i128

impl ConstDefault for isize

const DEFAULT: Self = 0isize

impl ConstDefault for u8

const DEFAULT: Self = 0u8

impl ConstDefault for u16

const DEFAULT: Self = 0u16

impl ConstDefault for u32

const DEFAULT: Self = 0u32

impl ConstDefault for u64

const DEFAULT: Self = 0u64

impl ConstDefault for u128

const DEFAULT: Self = 0u128

impl ConstDefault for ()

const DEFAULT: Self = ()

impl ConstDefault for usize

const DEFAULT: Self = 0usize

impl ConstDefault for String

Available on crate features std or alloc only.

const DEFAULT: Self = _

impl ConstDefault for PhantomPinned

const DEFAULT: Self = Self

impl ConstDefault for AtomicBool

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicI8

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicI16

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicI32

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicI64

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicIsize

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicU8

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicU16

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicU32

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicU64

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for AtomicUsize

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl ConstDefault for Duration

const DEFAULT: Self = _

impl ConstDefault for Once

Available on crate feature std only.

const DEFAULT: Self = _

impl<'a, T> ConstDefault for Cow<'a, T>

where T: ToOwned + ?Sized + 'a, <T as ToOwned>::Owned: ConstDefault,

Available on crate features std or alloc only.

const DEFAULT: Self = _

impl<'a, T: 'a> ConstDefault for &'a [T]

const DEFAULT: Self = _

impl<A: ConstDefault, B: ConstDefault, C: ConstDefault, D: ConstDefault, E: ConstDefault, F: ConstDefault, G: ConstDefault, H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (A, B, C, D, E, F, G, H, I, J, K, L)

const DEFAULT: Self = _

impl<B: ConstDefault, C: ConstDefault, D: ConstDefault, E: ConstDefault, F: ConstDefault, G: ConstDefault, H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (B, C, D, E, F, G, H, I, J, K, L)

const DEFAULT: Self = _

impl<C: ConstDefault, D: ConstDefault, E: ConstDefault, F: ConstDefault, G: ConstDefault, H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (C, D, E, F, G, H, I, J, K, L)

const DEFAULT: Self = _

impl<D: ConstDefault, E: ConstDefault, F: ConstDefault, G: ConstDefault, H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (D, E, F, G, H, I, J, K, L)

const DEFAULT: Self = _

impl<E: ConstDefault, F: ConstDefault, G: ConstDefault, H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (E, F, G, H, I, J, K, L)

const DEFAULT: Self = _

impl<F: ConstDefault, G: ConstDefault, H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (F, G, H, I, J, K, L)

const DEFAULT: Self = _

impl<G: ConstDefault, H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (G, H, I, J, K, L)

const DEFAULT: Self = _

impl<H: ConstDefault, I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (H, I, J, K, L)

const DEFAULT: Self = _

impl<I: ConstDefault, J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (I, J, K, L)

const DEFAULT: Self = _

impl<J: ConstDefault, K: ConstDefault, L: ConstDefault> ConstDefault for (J, K, L)

const DEFAULT: Self = _

impl<K: Ord, V> ConstDefault for BTreeMap<K, V>

Available on (crate features std or alloc) and crate feature unstable only.

const DEFAULT: Self = _

impl<K: ConstDefault, L: ConstDefault> ConstDefault for (K, L)

const DEFAULT: Self = _

impl<L: ConstDefault> ConstDefault for (L,)

const DEFAULT: Self = _

impl<T> ConstDefault for Option<T>

const DEFAULT: Self = None

impl<T> ConstDefault for *const T

const DEFAULT: Self = _

impl<T> ConstDefault for *mut T

const DEFAULT: Self = _

impl<T> ConstDefault for LinkedList<T>

Available on crate features std or alloc only.

const DEFAULT: Self = _

impl<T> ConstDefault for Vec<T>

Available on crate features std or alloc only.

const DEFAULT: Self = _

impl<T> ConstDefault for Empty<T>

const DEFAULT: Self = _

impl<T> ConstDefault for AtomicPtr<T>

Available on crate features default or enable-atomics only.

const DEFAULT: Self = _

impl<T: Ord> ConstDefault for BTreeSet<T>

Available on (crate features std or alloc) and crate feature unstable only.

const DEFAULT: Self = _

impl<T: ConstDefault> ConstDefault for Cell<T>

const DEFAULT: Self = _

impl<T: ConstDefault> ConstDefault for RefCell<T>

const DEFAULT: Self = _

impl<T: ConstDefault> ConstDefault for UnsafeCell<T>

const DEFAULT: Self = _

impl<T: ConstDefault> ConstDefault for ManuallyDrop<T>

const DEFAULT: Self = _

impl<T: ConstDefault> ConstDefault for Wrapping<T>

const DEFAULT: Self = _

impl<T: ConstDefault> ConstDefault for MaybeUninit<T>

const DEFAULT: Self = _

impl<T: ConstDefault, const N: usize> ConstDefault for [T; N]

const DEFAULT: Self = _

impl<T: ?Sized> ConstDefault for PhantomData<T>

const DEFAULT: Self = Self

Implementors