Пустой вектор с типом в Rust

Когда начальных чисел еще нет, список создают командой типа для пустого набора. В объявлении переменной явно пишут, какой тип элементов будет храниться, иначе компилятор не знает, сколько памяти резервировать под будущие значения.

Запись с двоеточием после имени задает тип Vec с элементом внутри угловых скобок. Сразу после знака равенства идет создание пустого списка без элементов.

Объявим изменяемую переменную для целых чисел и проверим, что список пока пуст:

let mut nums: Vec<i32> = Vec::new();

println!("{}", nums.len());

На экране 0. Позже в такой список дописывают числа по одному; тип уже зафиксирован и смешивать разные виды значений нельзя:

let mut values: Vec<i32> = Vec::new();

values.push(12);

println!("{}", values[0]);

Объявите изменяемую переменную data с пустым списком целых чисел. Выведите длину списка.

Дан следующий вектор:

let mut nums: Vec<i32> = Vec::new();

Допишите в конец число 5 и выведите его по номеру 0.

Скажите, зачем при пустом списке указывают тип элемента в объявлении переменной.