Блог*

⬆️⬆️⬆️
А что нам, собственно говоря, нужно? Нам нужно доказательство того, что тип имеет нулевой размер. Доказательство чего-либо можно передать:
1) ограничением на тип (см. Send и Sync);
2) фактом успешного вычисления на этапе компиляции константы (см. static_assert_size);
3) значением специального типа.
Действительно, если тип имеет приватные поля, то единственный способ сконструировать значение этого типа (за вычетом unsafe, разумеется) — это использовать публичную функцию, которая конструирует значение этого типа. Что ж, давайте так и поступим:

pub mod zero_sized {
    use std::marker::PhantomData;
    
    // Доказательство должно быть параметризовано типом,
    // чтобы доказательство для одного типа не могло быть использовано
    // как доказательство другого типа.
    pub struct ZeroSizeProof<T>(PhantomData<T>, ());
    
    pub trait ZeroSized: Sized {
        #[deny(const_err)]
        const I_AM_ZERO_SIZED: ();
        fn proof_zero_size(&self) -> ZeroSizeProof<Self>;
    }

    // опять-таки, blanket impl во избежание переопределения
    impl<T: Sized> ZeroSized for T {
        const I_AM_ZERO_SIZED: ()  = [()][std::mem::size_of::<Self>()];
        fn proof_zero_size(&self) -> ZeroSizeProof<Self> {
            ZeroSizeProof(PhantomData, Self::I_AM_ZERO_SIZED)
        }
    }
}

И теперь будем явно требовать доказательство:

pub mod foo {
    use crate::zero_sized::*;

    pub trait Foo: ZeroSized {
        fn requires_zero_size(self, _proof: ZeroSizedProof<Self>) {
            println!("requires_zero_size called");
        }
    }
}

Оно работает! Для удобства, чтобы пользователю не надо было каждый раз создавать доказательство руками, можно дописать extension trait:

pub mod foo {
    use crate::zero_sized::*;

    pub trait Foo: ZeroSized {
        fn requires_zero_size(self, _proof: ZeroSizeProof<Self>) {
            println!("requires_zero_size called");
        }
    }
    
    pub trait FooExt: Foo {
        fn requires_zero_size(self);
    }
    
    impl<T: Foo> FooExt for T {
        fn requires_zero_size(self) {
            let proof = self.proof_zero_size();
            <Self as Foo>::requires_zero_size(self, proof)
        }
    }
}

Проверим, как это работает:

use crate::zero_sized::ZeroSizeProof;

impl foo::Foo for () {}
impl foo::Foo for u32 {
    fn requires_zero_size(self, _proof: ZeroSizeProof<Self>) {
        println!("requires_zero_size was called, but Self is not zero-sized, bwa-ha-ha-ha!");
    }
}

fn main() {
    use foo::FooExt;
    ().requires_zero_size();
    42_u32.requires_zero_size();
}

Не компилируется! Как мы и хотели.
⬇️⬇️⬇️

GitHub

rust/macros.rs at a0312c156d8470179101ab71ef6a69c0b9a8dd0b · rust-lang/rust

Empowering everyone to build reliable and efficient software. - rust/macros.rs at a0312c156d8470179101ab71ef6a69c0b9a8dd0b · rust-lang/rust

315 viewsedited 20:31