Expand description
§Primitive integer marker traits
This crate provides marker traits for primitive integers:
§Numeric types
§Integer types
The unsigned integer types consist of:
Type | Minimum | Maximum |
---|---|---|
u8 | 0 | 28-1 |
u16 | 0 | 216-1 |
u32 | 0 | 232-1 |
u64 | 0 | 264-1 |
u128 | 0 | 2128-1 |
The signed two’s complement integer types consist of:
Type | Minimum | Maximum |
---|---|---|
i8 | -(27) | 27-1 |
i16 | -(215) | 215-1 |
i32 | -(231) | 231-1 |
i64 | -(263) | 263-1 |
i128 | -(2127) | 2127-1 |
§Machine-dependent integer types
The usize
type is an unsigned integer type with the same number of bits as the
platform’s pointer type. It can represent every memory address in the process.
The isize
type is a signed integer type with the same number of bits as the
platform’s pointer type. The theoretical upper bound on object and array size
is the maximum isize
value. This ensures that isize
can be used to calculate
differences between pointers into an object or array and can address every byte
within an object along with one byte past the end.
usize
and isize
are at least 16-bits wide.
§Example
§Cargo.toml
## ...
[dependencies]
just_prim_int = { version = "0.1.0" }
## ...
[features]
## https://doc.rust-lang.org/beta/unstable-book/language-features/marker-trait-attr.html
marker_trait_attr = ["just_prim_int/marker_trait_attr"]
§src/main.rs
// Uncomment if you want to conditionally use the feature. Remove otherwise.
// #![cfg_attr(feature = "marker_trait_attr", feature(marker_trait_attr))]
use just_prim_int::PrimInt;
trait MyExtensionTraitForPrimInts: PrimInt {
// ...
}
fn main() {}
§Building, running, and testing
cargo build <other options> --features marker_trait_attr
if you want the feature andcargo build <other options>
otherwise;cargo run<other options> --features marker_trait_attr
if you want the feature andcargo build <other options>
otherwise;cargo test <other options> --features marker_trait_attr
if you want the feature andcargo test <other options>
otherwise.
§Features
With marker_trait_attr
Nightly feature, each of the provided traits also has #[marker]
attribute which allows more optimal implementation of PrimInt
via two “overlapping” generic impl
blocks, one for T: PrimSignedInt
and the other for T: PrimUnsignedInt
. Without #[marker]
attribute, they would be conflicting.
§Similar crates by the author:
epui
- Equisized (primitive) unsigned ints for primitive ints: u8 for u8, u16 for i16, etcepsi
- Equisized (primitive) signed ints for primitive intsprimitive_promotion
- Primitive promotions for primitive numeric types: u16 for u8, i32 for i16, f64 for f32, etcis_signed_trait
- Trait forIS_SIGNED
associated constantmax_len_base_10_as_usize
- Trait offering constant maximum lengths of primitive integers as usizemin_max_traits
- Traits forMIN
andMAX
associated constants- as well as others that can be found on crates.io
§Alternatives
num_traits::int::PrimInt
- At the moment of writing,num_traits
unconditionally provides non-const trait implementations with some useful functions.
§License
Licensed under either of Apache License, Version 2.0 or MIT license at your option.Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.