спасибо

Это ближе к IAge oj1 = new IAge() { @Override public void getAge() { // printing age System.out.print("Age is "+x); } };

да, так получше будет

да в той же джаве постоянно List l = ArrayList<> ..., где List — интерфейс, а у l нет явного типа

Ну в Ждаве это исторический костыль, затыкающий невозможность передать ссылку на метод.

Ну в Ждаве это исторический костыль, затыкающий невозможность передать ссылку на метод.

Я про оборачивание в локальный / анонимный класс.

мне, если честно, казалось, что эта функциональность не для этого придумана; ну да ладно

Это ближе к IAge oj1 = new IAge() { @Override public void getAge() { // printing age System.out.print("Age is "+x); } };

-

мне, если честно, казалось, что эта функциональность не для этого придумана; ну да ладно

Вот это. Да. Именно так :)

:)))

Спасибо, товарищи. Вроде осознал.

Одно осталось не ясным.

Если в качестве возвращаемого типа генерится тип-обёртка, реализующий указанный трейт, то каким образом он далее разворачивается, если далее этот тип считается исходным? Например при fn()-> impl Iterator<Item=&i32>{ [42].iter() } вернётся "тайно-магически-сгенерённая" обёртка-итератор, содержащий результат от [42].iter(). Т.е. итератор в итераторе. Так?

#[no_mangle] pub extern fn foobarbaz() -> impl Fn() -> i32 { || 10 } становится ; Function Attrs: nounwind uwtable define void @foobarbaz() unnamed_addr #1 !dbg !74 { start: ret void, !dbg !78 }

лентяй даже тип не записывает

Или вернётся исходный - именно тот, что вернулся из [42].iter() ?

-

шо это значит?:D

шо это значит?:D

это видимо всеми любимое "^this"

это видимо всеми любимое "^this"

хЗ, больше похоже на "вы не правы")

по крайней мере я минус трактую так

хЗ, больше похоже на "вы не правы")

это странно, потому что перед этим речь как раз об анонимных классах

так я вот и спросил поэтому

Или вернётся исходный - именно тот, что вернулся из [42].iter() ?

исходный

шо это значит?:D

это видимо всеми любимое "^this"

Именно

задница какая-то нарисована

доктор, что со мной?

задница какая-то нарисована

короче реплаем ошибся человек

чё пристал

короче реплаем ошибся человек

я не пристал

это ты пристал

ладн

исходный

Т.е. структура-обёртка генерится только для Fn?

Если в качестве возвращаемого типа генерится тип-обёртка, реализующий указанный трейт, то каким образом он далее разворачивается, если далее этот тип считается исходным? Например при fn()-> impl Iterator<Item=&i32>{ [42].iter() } вернётся "тайно-магически-сгенерённая" обёртка-итератор, содержащий результат от [42].iter(). Т.е. итератор в итераторе. Так?

да, вернётся обёртка, но не "итератор в итераторе"

а просто "трейт" итератор

где внутри у него будет Item=... и прочее, что необходимо

если бы возвращался изначальный тип, то это были бы темплейты из С++, которые генерируют уникальную функцию для каждого типа

Я понял про всё кроме функций (не ||{})

но Fn это не функция

а ||{}

функция это fn

Пример: fn foo() -> impl Fn { fn inner()->(){} inner } let what_type = foo();

Fn трейт разве?

да

воу, пора спать точно

Что в what_type и что там реально будет лежать?

Fn трейт разве?

Пишу на телефоне. Могу тупануть.

function pointer

Пишу на телефоне. Могу тупануть.

не, это я

Пример: fn foo() -> impl Fn { fn inner()->(){} inner } let what_type = foo();

я выше кидал

функция это fn

А, точно!

#[no_mangle] pub extern fn foobarbaz() -> impl Fn() -> i32 { || 10 } становится ; Function Attrs: nounwind uwtable define void @foobarbaz() unnamed_addr #1 !dbg !74 { start: ret void, !dbg !78 }

видим, что impl fn становится unnamed_addr #1

кстати удобно no_mangle использовать, чтобы в LLVM находить нужную функцию

Круто. Теперь понял!

Спасибо!

да всегда пожалуйста :D

я вот научился LLVM компилятором пользоваться пока разбирался

А можно ещё вопрос? - это риторически вопрос. Всё равно спрошу.

Кто может для идиота по русски разъяснить в какой момент статик диспатч превращается в дайнамик? Например let foo :AsRef<_> = something; foo.as_ref(); let bar :&mut AsRef<_> = something_else; bar.as_ref(); fn foo_fn<T>(foo: AsRef<T>) { foo.as_ref(); } fn oof_fn<T>(foo: &AsRef<T>) { foo.as_ref(); } Что здесь is dynamic dispatch and why?

Пусть меня поправят, если я ошибаюсь

но динамик диспатч происходит если ты передаешь трейт объект

это любой бокс на трейт

и передача через трейт параметр

это любой бокс на трейт

Понял

но динамик диспатч происходит если ты передаешь трейт объект

динамик

и передача через трейт параметр

Не очень понял

а я думал статик это fn<T: Clone> a(t: T), а динамик это fn a(t: &Clone)

ЯТП в первых двух случаях компилятор будет достаточно умный чтобы соптимизировать, а при вызове функций он передает трейт объект, значит в последних двух будет динамика

ну это то же, что я и сказал

ну ок, значит очень сильно туплю

ну ок, значит очень сильно туплю

смотри

когда ты делаешь t: T

у тебя компилятор генерирует для каждого типа нужную перегрузку

где передается конкретная структура

стой, я-то не против

которая естественно статика

а когда &Clone - одна функция которая принимает динамический объект

ЯТП в первых двух случаях компилятор будет достаточно умный чтобы соптимизировать, а при вызове функций он передает трейт объект, значит в последних двух будет динамика

Ясно. Как я понял единственная причина - (не)знание размера структуры, реализующей трейт. Для этого есть Sized.

Ясно. Как я понял единственная причина - (не)знание размера структуры, реализующей трейт. Для этого есть Sized.

кроме размера тебе нужно знать какую функцию вызывать

в ООП у тебя объект хранит в себе инфу о типе

так работают виртуальные вызовы