mirror of
https://github.com/ahgamut/rust-ape-example.git
synced 2024-05-15 10:02:42 +00:00
39 lines
756 B
Rust
39 lines
756 B
Rust
// ./src/generics/gen_trait.md
|
|
|
|
|
|
// Non-copyable types.
|
|
struct Empty;
|
|
struct Null;
|
|
|
|
// A trait generic over `T`.
|
|
trait DoubleDrop<T> {
|
|
// Define a method on the caller type which takes an
|
|
// additional single parameter `T` and does nothing with it.
|
|
fn double_drop(self, _: T);
|
|
}
|
|
|
|
// Implement `DoubleDrop<T>` for any generic parameter `T` and
|
|
// caller `U`.
|
|
impl<T, U> DoubleDrop<T> for U {
|
|
// This method takes ownership of both passed arguments,
|
|
// deallocating both.
|
|
fn double_drop(self, _: T) {}
|
|
}
|
|
|
|
fn part0() {
|
|
let empty = Empty;
|
|
let null = Null;
|
|
|
|
// Deallocate `empty` and `null`.
|
|
empty.double_drop(null);
|
|
|
|
//empty;
|
|
//null;
|
|
// ^ TODO: Try uncommenting these lines.
|
|
}
|
|
|
|
pub fn main() {
|
|
part0();
|
|
}
|
|
|