Define your own PhantomData

This crate makes it possible to define your own PhantomData and similarly behaved unit types with generic parameters, which is not permitted in ordinary Rust.

toml [dependencies] ghost = "0.1"

Supports rustc 1.31+

Background

[PhantomData] as defined by the Rust standard library is magical in that the same type is impossible to define in ordinary Rust code. It is defined in the standard library like this:

```rust

[lang = "phantom_data"]

pub struct PhantomData; ```

The #[lang = "..."] attribute indicates that this is a [lang item], a special case known to the compiler. It is the only type permitted to carry an unused type parameter.

If we try to define an equivalent unit struct with type parameter, the compiler rejects that.

rust struct MyPhantom<T: ?Sized>;

console error[E0392]: parameter `T` is never used --> src/main.rs:1:18 | 1 | struct MyPhantom<T: ?Sized>; | ^ unused type parameter | = help: consider removing `T` or using a marker such as `std::marker::PhantomData`

This crate provides a #[phantom] attribute that makes it possible to define unit structs with generic parameters.

Examples

```rust use ghost::phantom;

[phantom]

struct MyPhantom;

fn main() { // Proof that MyPhantom behaves like PhantomData. let : MyPhantom = MyPhantom::; asserteq!(0, std::mem::size_of::>()); }

// Proof that MyPhantom is not just a re-export of PhantomData. // If it were a re-export, these would be conflicting impls. trait Trait {} impl Trait for std::marker::PhantomData {} impl Trait for MyPhantom {}

// Proof that MyPhantom is local to the current crate. impl MyPhantom { } ```

The implementation accepts where-clauses, lifetimes, multiple generic parameters, and derives. Here is a contrived invocation that demonstrates everything at once:

```rust use ghost::phantom;

[phantom]

[derive(Copy, Clone, Default, Hash, PartialOrd, Ord, PartialEq, Eq, Debug)]

struct Crazy<'a, V: 'a, T> where &'a V: IntoIterator;

fn main() { let _ = Crazy::<'static, Vec, &'static String>;

// Lifetime elision.
let crazy = Crazy::<Vec<String>, &String>;
println!("{:?}", crazy);

} ```

Variance

The #[phantom] attribute accepts attributes on individual generic parameters (both lifetime and type parameters) to make them contravariant or invariant. The default is covariance.

• #[contra] — contravariant generic parameter
• #[invariant] — invariant generic parameter

The implications of variance are explained in more detail by the [Subtyping chapter] of the Rustonomicon.

```rust use ghost::phantom;

[phantom]

struct ContravariantLifetime<#[contra] 'a>;

fn f<'a>(arg: ContravariantLifetime<'a>) -> ContravariantLifetime<'static> { // This coercion is only legal because the lifetime parameter is // contravariant. If it were covariant (the default) or invariant, // this would not compile. arg }

[phantom]

struct Demo; ```

Documentation

There are two alternatives for how to handle Rustdoc documentation on publicly exposed phantom types.

You may provide documentation directly on the phantom struct in the obvious way, but Rustdoc will blithely display the somewhat distracting implementation details of the mechanism emitted by the #[phantom] macro. This way should be preferred if you need to document any public methods, as methods will not be visible in the other alternative.

```rust use ghost::phantom;

/// Documentation.

[phantom]

pub struct MyPhantom;

impl MyPhantom { /// Documentation on methods. pub fn foo() {} } ```

If you aren't adding methods or don't need methods to be rendered in the documentation, the recommended idiom is as follows. Rustdoc will show a much less distracting type signature and all of your trait impls, but will not show inherent methods.

```rust mod private { use ghost::phantom;

#[phantom]
pub struct MyPhantom<T: ?Sized>;

}

/// Documentation goes here.

[allow(typealiasbounds)]

pub type MyPhantom = private::MyPhantom;

[doc(hidden)]

pub use self::private::*; ```

Use cases

Entirely up to your imagination. Just to name one, how about a typed registry library that admits the following syntax for iterating over values registered of a particular type:

rust for flag in Registry::<Flag> { /* ... */ }

License

<sup>Licensed under either of Apache License, Version 2.0 or MIT license at your option.</sup>

<sub>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.</sub>