Datentyp, der nur einen Bereich von Werten annimmt

Question

Angenommen, ich habe eine Funktion, die ein Argument vom Typ u16 akzeptiert. Gibt es eine elegante Möglichkeit, einen benutzerdefinierten Datentyp zu definieren, der sich genau wie ein u16 verhält, aber nur Werte zwischen 0 und 100 hat?

Answer 1

Wie ich es verstehe, erfordert das dependent types, die Rust nicht hat. Dies erfordert keine abhängigen Typen (siehe Kommentare), aber Rust hat immer noch nicht die erforderliche Unterstützung.

Als Abhilfe können, könnten Sie eine newtype erstellen, die Sie selbst überprüfen:

#[derive(Debug)] 
struct Age(u16); 

impl Age { 
    fn new(age: u16) -> Option<Age> { 
     if age <= 100 { 
      Some(Age(age)) 
     } else { 
      None 
     } 
    } 
} 

fn main() { 
    let age1 = Age::new(30); 
    let age2 = Age::new(500); 

    println!("{:?}, {:?}", age1, age2); 
    println!("{}, {}", std::mem::size_of::<Age>(), std::mem::size_of::<u16>()); 
} 

Natürlich ist es nicht so verhalten, genau wie ein u16, aber Sie wollen es nicht, entweder ! Zum Beispiel kann ein u16 über 100 hinausgehen ... Sie müssten herausfinden, ob es sinnvoll ist, auch Ihren neuen Typ zu addieren/subtrahieren/multiplizieren/teilen usw..

Eine wichtige Sache zu beachten ist, dass dieser neue Typ den gleichen Speicherplatz wie ein u16 nimmt - der Wrappertyp wird effektiv gelöscht, wenn der Code kompiliert wird. Der Typprüfer stellt sicher, dass alles vorher ineinander greift.