-
Notifications
You must be signed in to change notification settings - Fork 13.4k
Add impl_tag!
macro to implement Tag
for tagged pointer easily
#110615
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 1 commit
77c83c0
96905d5
7cfecf2
ad8c7b6
2b8d27b
bec7ce4
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,170 @@ | ||
/// Implements [`Tag`] for a given type. | ||
/// | ||
/// You can use `impl_tag` on structs and enums. | ||
/// You need to specify the type and all its possible values, | ||
/// which can only be paths with optional fields. | ||
/// | ||
/// [`Tag`]: crate::tagged_ptr::Tag | ||
/// | ||
/// # Examples | ||
/// | ||
/// Basic usage: | ||
/// | ||
/// ``` | ||
/// use rustc_data_structures::{impl_tag, tagged_ptr::Tag}; | ||
/// | ||
/// #[derive(Copy, Clone, PartialEq, Debug)] | ||
/// enum SomeTag { | ||
/// A, | ||
/// B, | ||
/// X { v: bool }, | ||
/// Y(bool, bool), | ||
/// } | ||
/// | ||
/// impl_tag! { | ||
/// // The type for which the `Tag` will be implemented | ||
/// for SomeTag; | ||
/// // You need to specify the `{value_of_the_type} <=> {tag}` relationship | ||
/// SomeTag::A <=> 0, | ||
/// SomeTag::B <=> 1, | ||
/// // For variants with fields, you need to specify the fields: | ||
/// SomeTag::X { v: true } <=> 2, | ||
/// SomeTag::X { v: false } <=> 3, | ||
/// // For tuple variants use named syntax: | ||
/// SomeTag::Y { 0: true, 1: true } <=> 4, | ||
/// SomeTag::Y { 0: false, 1: true } <=> 5, | ||
/// SomeTag::Y { 0: true, 1: false } <=> 6, | ||
/// SomeTag::Y { 0: false, 1: false } <=> 7, | ||
/// } | ||
/// | ||
/// assert_eq!(SomeTag::A.into_usize(), 0); | ||
/// assert_eq!(SomeTag::X { v: false }.into_usize(), 3); | ||
/// assert_eq!(SomeTag::Y(false, true).into_usize(), 5); | ||
/// | ||
/// assert_eq!(unsafe { SomeTag::from_usize(1) }, SomeTag::B); | ||
/// assert_eq!(unsafe { SomeTag::from_usize(2) }, SomeTag::X { v: true }); | ||
/// assert_eq!(unsafe { SomeTag::from_usize(7) }, SomeTag::Y(false, false)); | ||
/// ``` | ||
/// | ||
/// Structs are supported: | ||
/// | ||
/// ``` | ||
/// # use rustc_data_structures::impl_tag; | ||
/// #[derive(Copy, Clone)] | ||
/// struct Flags { a: bool, b: bool } | ||
/// | ||
/// impl_tag! { | ||
/// for Flags; | ||
/// Flags { a: true, b: true } <=> 3, | ||
/// Flags { a: false, b: true } <=> 2, | ||
/// Flags { a: true, b: false } <=> 1, | ||
/// Flags { a: false, b: false } <=> 0, | ||
/// } | ||
/// ``` | ||
/// | ||
// This is supposed to produce a compile error, but does not, | ||
WaffleLapkin marked this conversation as resolved.
Show resolved
Hide resolved
|
||
// see <https://github.com/rust-lang/rust/issues/110613> for more information. | ||
// | ||
// Using the same pattern twice results in a compile error: | ||
// | ||
// ```compile_fail | ||
// # use rustc_data_structures::impl_tag; | ||
// #[derive(Copy, Clone)] | ||
// struct Unit; | ||
// | ||
// impl_tag! { | ||
// for Unit; | ||
// Unit <=> 0, | ||
// Unit <=> 1, | ||
// } | ||
// ``` | ||
// | ||
// Using the same tag twice results in a compile error: | ||
// | ||
// ```compile_fail | ||
// # use rustc_data_structures::impl_tag; | ||
// #[derive(Copy, Clone)] | ||
// enum E { A, B }; | ||
// | ||
// impl_tag! { | ||
// for E; | ||
// E::A <=> 0, | ||
// E::B <=> 0, | ||
// } | ||
// ``` | ||
// | ||
/// Not specifying all values results in a compile error: | ||
/// | ||
/// ```compile_fail,E0004 | ||
/// # use rustc_data_structures::impl_tag; | ||
/// #[derive(Copy, Clone)] | ||
/// enum E { | ||
/// A, | ||
/// B, | ||
/// } | ||
/// | ||
/// impl_tag! { | ||
/// for E; | ||
/// E::A <=> 0, | ||
/// } | ||
/// ``` | ||
#[macro_export] | ||
macro_rules! impl_tag { | ||
( | ||
for $Self:ty; | ||
WaffleLapkin marked this conversation as resolved.
Show resolved
Hide resolved
|
||
$( | ||
$($path:ident)::* $( { $( $fields:tt )* })? <=> $tag:literal, | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Is customization according to There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I guess the answer is "it could, but probably isn't". I'll work on it next week. |
||
)* | ||
) => { | ||
// Safety: | ||
// `into_usize` only returns one of `$tag`s, | ||
// `bits_for_tags` is called on all `$tag`s, | ||
// thus `BITS` constant is correct. | ||
unsafe impl $crate::tagged_ptr::Tag for $Self { | ||
const BITS: u32 = $crate::tagged_ptr::bits_for_tags(&[ | ||
$( $tag, )* | ||
]); | ||
|
||
fn into_usize(self) -> usize { | ||
// This forbids use of repeating patterns (`Enum::V`&`Enum::V`, etc) | ||
// (or at least it should, see <https://github.com/rust-lang/rust/issues/110613>) | ||
#[forbid(unreachable_patterns)] | ||
match self { | ||
// `match` is doing heavy lifting here, by requiring exhaustiveness | ||
$( | ||
$($path)::* $( { $( $fields )* } )? => $tag, | ||
)* | ||
} | ||
} | ||
|
||
unsafe fn from_usize(tag: usize) -> Self { | ||
// Similarly to the above, this forbids repeating tags | ||
// (or at least it should, see <https://github.com/rust-lang/rust/issues/110613>) | ||
#[forbid(unreachable_patterns)] | ||
match tag { | ||
$( | ||
$tag => $($path)::* $( { $( $fields )* } )?, | ||
)* | ||
|
||
// Safety: | ||
// `into_usize` only returns one of `$tag`s, | ||
// all `$tag`s are filtered up above, | ||
// thus if this is reached, the safety contract of this | ||
// function was already breached. | ||
_ => unsafe { | ||
debug_assert!( | ||
false, | ||
"invalid tag: {tag}\ | ||
(this is a bug in the caller of `from_usize`)" | ||
); | ||
std::hint::unreachable_unchecked() | ||
}, | ||
} | ||
} | ||
|
||
} | ||
}; | ||
} | ||
|
||
#[cfg(test)] | ||
mod tests; |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
#[test] | ||
fn bits_constant() { | ||
use crate::tagged_ptr::Tag; | ||
|
||
#[derive(Copy, Clone)] | ||
struct Unit; | ||
impl_tag! { for Unit; Unit <=> 0, } | ||
assert_eq!(Unit::BITS, 0); | ||
|
||
#[derive(Copy, Clone)] | ||
struct Unit1; | ||
impl_tag! { for Unit1; Unit1 <=> 1, } | ||
assert_eq!(Unit1::BITS, 1); | ||
|
||
#[derive(Copy, Clone)] | ||
struct Unit2; | ||
impl_tag! { for Unit2; Unit2 <=> 0b10, } | ||
assert_eq!(Unit2::BITS, 2); | ||
|
||
#[derive(Copy, Clone)] | ||
struct Unit3; | ||
impl_tag! { for Unit3; Unit3 <=> 0b100, } | ||
assert_eq!(Unit3::BITS, 3); | ||
|
||
#[derive(Copy, Clone)] | ||
enum Enum { | ||
A, | ||
B, | ||
C, | ||
} | ||
impl_tag! { for Enum; Enum::A <=> 0b1, Enum::B <=> 0b1000, Enum::C <=> 0b10, } | ||
assert_eq!(Enum::BITS, 4); | ||
} |
Uh oh!
There was an error while loading. Please reload this page.