ясность и дисциплина

[amarao]

Вот в питоне у нас есть "lazy objects" и мы не можем знать размер генератора. Это же генератор, да? Откуда он знает, сколько там данных?

Но если мы итерируемся по списку, то, может быть, мы знаем?

Нет. Слишком сложно. Давайте так, чтобы итераторы никогда их не знали, даже если знать тривиально.

Это питоновский туман в голове.

А вот как выглядит ясная светлая голова: https://doc.rust-lang.org/stable/std/iter/trait.ExactSizeIterator.html

An iterator that knows its exact length. Реализует всё, что умеет Iterator, но ещё, кроме этого, умеет и ответить на вопрос о своей длине (и числе оставшихся элементов).

Зачем такое нужно? Например, потому что мы можем использовать его всюду, где используются итерируемые объкты IntoIter.

В питоне вы не можете использовать генератор вместо списка. Потому что у него нет len. Даже если вы его только что сконструировали из списочного объекта. В Rust - можно, потому что ExactSizeIterator может отвечать на такие вопросы.

Comments

[juan_gandhi]

Я так и не понял, на хрена длина. Проверить непустоту - это понятно, но тут длина не нужна, достаточно почекать hasNext.

[ex0_planet]

realloc, думаю.

[amarao]

Ну, например, потому что у меня разный код, если длина пришедшего больше нужного или меньше. Я с ним работать буду всё равно как с итерируемым, но итерировать буду в разных функциях.

Основной поит - если это ExactSizeIterator, то он не отличим от списка (Vec), который может быть итерируем и имеет длину.

А в питоне list и generator - не одинаковы, хотя могли бы быть (если бы generator умел думать о том, известного он размера или нет).