p
Чтобы можно было подключать напрямую Раст библиотеки и юзать
Size: a a a
2020 February 21
p
Тогда было бы заебись
∅ч
Попробуй вернуть итератор неизветсного типа из трейта
пример
∅ч
что за итератор не известного типа?
∅ч
типо Item = dyn?
DS
Тебе важно в таких случаях наиболее понятным и удобным образом написать свою логику так, чтобы она максимально близка была к бизнес описанию задачи
DS
пример
Простейший пример того, чего бы мне хотелось:
Сейчас это приходится делать через стандартный паттерн с associated типом
trait Something {
fn get_iter(&self) -> impl Iterator<Item=i32>
}Сейчас это приходится делать через стандартный паттерн с associated типом
∅ч
Простейший пример того, чего бы мне хотелось:
Сейчас это приходится делать через стандартный паттерн с associated типом
trait Something {
fn get_iter(&self) -> impl Iterator<Item=i32>
}Сейчас это приходится делать через стандартный паттерн с associated типом
и что здесь не так?
DS
и что здесь не так?
То, что в сложных случаях приходится либо боксить (что для итераторов очень критично), либо ещё больше усложнять всю схему.
DS
Получается, что на трейт с парой методов у тебя куча associated типов и всё это выглядит и поддерживается не очень эргономично, хотя задача очень частая
DS
Это же относится и к футурам, хотя там боксить уже не так страшно
DS
Ещё веселее в этом плане будет, когда завезут стабильные генераторы для Iterator и вон тогда очень уж весело будет возвращать итераторы из методов трейта.
∅ч
кстати, а как боксинг работает?
お
Чуваки, кто на Safari сидит
Не было ли проблем с тем, что
Даёт страницу без стилей совсем?
Не было ли проблем с тем, что
rustup doc --stdДаёт страницу без стилей совсем?
∅ч
именно с типажами?
∅ч
типо как Any или что?
DS
кстати, а как боксинг работает?
Each instance of a pointer to a trait object includes:
1. a pointer to an instance of a type T that implements SomeTrait
2. a virtual method table, often just called a vtable, which contains, for each method of SomeTrait and its supertraits that T implements, a pointer to T's implementation (i.e. a function pointer).
https://doc.rust-lang.org/reference/types/trait-object.html`
DS
Если про трейт обжекты
∅ч
Each instance of a pointer to a trait object includes:
1. a pointer to an instance of a type T that implements SomeTrait
2. a virtual method table, often just called a vtable, which contains, for each method of SomeTrait and its supertraits that T implements, a pointer to T's implementation (i.e. a function pointer).
https://doc.rust-lang.org/reference/types/trait-object.html`
а... лол
∅ч
ну хотя это логично хм