Jak dopasować typ danych w Rust?

Question

Próbuję dopasować na typ danych ogólnego pola struktury i odpowiednio reagować. Moja ogólna idea była tak (kod nie skompilować):

struct foo<T> { 
    zaz: String, 
    bar: T, 
} 

fn main() { 
    let x = foo::<String> { 
     zaz: "Hello".to_string(), 
     bar: "world".to_string(), 
    }; 
    let y = foo::<u32> { 
     zaz: "Hello".to_string(), 
     bar: 5, 
    }; 

    match x.bar { 
     String => println!("It's a string!"), 
     u32 => println!("It's a u32!"), 
     _ => println!("Something else"), 
    }; 

    println!("end of program!"); 
} 

Komunikat o błędzie od rustc:

error[E0001]: unreachable pattern 
    --> src/main.rs:18:9 
    | 
18 |   u32 => println!("It's a u32!"), 
    |   ^^^ this is an unreachable pattern 
    | 
note: this pattern matches any value 
    --> src/main.rs:17:9 
    | 
17 |   String => println!("It's a string!"), 
    |   ^^^^^^ 

error[E0001]: unreachable pattern 
    --> src/main.rs:19:9 
    | 
19 |   _ => println!("Something else"), 
    |  ^this is an unreachable pattern 
    | 
note: this pattern matches any value 
    --> src/main.rs:17:9 
    | 
17 |   String => println!("It's a string!"), 
    |   ^^^^^^ 

Chciałem było dla x dopasować pierwszy i y dopasować Druga. W rzeczywistości nie jestem pewien, co chcę zrobić, ale co by osiągnąć pożądany efekt?

Answer 1

Idiomatic Rozwiązanie

Stwórz cechę zmusza parametr T w foo, wdrożyć żadnego konkretnego zachowania jako powiązanej funkcji tej cechy.

Przykład:

trait PrintMe { 
    fn print_me(&self); 
} 

impl PrintMe for String { 
    fn print_me(&self) { println!("I am a string"); } 
} 

struct Foo<T: PrintMe> { 
    zaz: String, 
    bar: T 
} 

fn main() { 
    // ... 
    x.bar.print_me(); 
} 

To pryncypialny rodzajowe programowania, w którym deklarują dokładnie różnicę zachowań możliwych parametrów ogólnych, tak, że nie ma nic dziwnego.

---

dokładne rozwiązanie

Rdza może rzeczywiście kwerendy typy: każdy rodzaj ma unikalną TypeId powiązanych, można dopasować na TypeId z serii if kontroli. Jest niezgrabny.

fn print_me<T>(x: &Foo<T>) { 
    if TypeId::of::<T>() == TypeId::of::<String>() { 
     println!("I am a string"); 
    } else // ... 
} 

Ale proszę ... nie rób tego :)