Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
:timing
:sccache 1Tips and Traps¶
There are 2 specialization related features
specializationandmin_specializationin Rust. Both of them are unstable currentlly.min_specializationimplements only a subset ofspecializationbut is more stable. It is suggested that you usemin_specializationasspecializationis disabled by Rust at this time. Eventually,min_specializationwill be replace byspecialization(after the implementation ofspecializationstablize).Specialization (unstable feature) is not powerful enough. It does not support specializing a generic function directly but you have to do it via specilizing a method of a trait. For more discussionss, please refer to Specialization of a simple function .
#![feature(min_specialization)]
pub trait Compare<T : ?Sized = Self> {
fn equal(&self, other: &T) -> bool;
}
default impl<T: ?Sized> Compare<T> for T where T: std::cmp::PartialEq<T> {
fn equal(&self, other: &T) -> bool {
self == other
}
}#![feature(min_specialization)]
struct Special
{
x : usize,
y : usize
}
trait MyTrait
{
fn myfunc(&self);
}
impl<T> MyTrait for T
{
default fn myfunc(&self) { println!("hi"); }
}
impl MyTrait for Special
{
fn myfunc(&self) { println!("I'm special"); }
}
fn main() {
let spe = Special{
x: 1,
y: 2,
};
spe.myfunc();
}