Tworzenie ogólnego typu sparametryzowanego przez numer

Question

Piszę bibliotekę NGram w Rust. Chcę utworzyć "ogólny" ngram, w którym rozmiar nie musi być określany do czasu kompilacji (w przeciwieństwie do kiedy go koduję). Mały kod może pomóc to wyjaśnić.

Tutaj jest po prostu to, co chcę, aby być w stanie to zrobić:

pub type Ngram<N> = Vec<[String; N]>; 

i następnie go używać, po prostu zrobić coś takiego:

let vec = Ngram::<5>::new(); 

I byś stworzył pięć -gram (a dokładniej: Vec<[String; 5]>). Czy coś takiego jest możliwe. Naprawdę nie chcę robić czegoś takiego:

pub type Ngram<N> = Vec<N>; 
... 
let vec = Ngram::<[String; 5]>::new(); 

To w dużej mierze zniszczyłoby cel stworzenia tego typu.

Answer 1

To będzie możliwe w przyszłości, ale do tej pory, najlepszym sposobem na to jest:

Użyj cechę podstawową dla tablicy stałym rozmiarze, wdrożyć go z makr dla wszystkich rozmiarów trzeba. Dzięki tej funkcji nie potrzebujesz więcej makr do końca funkcjonalności.

W normalnym użytkowaniu Założę się, że nie trzeba wpisywać let vec = Ngram::<[String; 5]>::new();, można po prostu powiedzieć:

let vec = Ngram::<[_; 5]>::new(); 

który jest nieco lepiej. Jeśli użyjesz cechy pomocniczej, aby ograniczyć typ elementu tablicy do String, to pisanie nigdy nie jest niejednoznaczne.

Aby uzyskać więcej informacji, patrz crate arrayvec's code.

Answer 2

Nie jest to możliwe w Rust 1.0. Rozmiar tablicy nie może być ogólny.