M
CiC всему голова
Size: a a a
2021 February 08
VS
Не помню в чем проблема такого синтаксиса, но вроде так лучше не писать
Взгляд со стороны оптимизаций в компиляторе: наличие таких ссылок даёт большие возможности по утечке указателя в какую-нибудь фигню, так что с
f сделать что-то довольно сложно. Полагаю, GC сталкивается с теми же проблемами.M
Вот хороше то как было бы если все адт писали как люди указывая не только интерфейс но и контракт поведения
M
Раньше кстати их называли алгебраическими типами
AK
В дотнете, да и в
jvm, у обьектов в заголовке есть указатель на обьект-тип, то есть условный malloc(sizeof(foo)), если бы не было сторогой типизации, то как и в примере выше в приципе любой обьект можно было бы реинтепретир кастить к нужному типу(теряется смысл типизации)Там достаточно жирный заголовок, в котором помимо ссылки на тип также хранятся флаги для GC, монитора (lock) и есть даже пустое место, обусловленное выравниванием
K
s
> Сразу ясно, что эти два определения моноидов никак не могут совпадать.
Нет, не ясно.
Нет, не ясно.
ΑZ
Так там не то что арифметики на указателях, но и ссылок "внутрь" объектов нет. Примерно по этим самым причинам. 🤷♀️
где нет ссылок "внутрь?"
ΑZ
> Сразу ясно, что эти два определения моноидов никак не могут совпадать.
Нет, не ясно.
Нет, не ясно.
да, статья немного про сову
AT
где нет ссылок "внутрь?"
В Java.
DF
В джава ссылка ето не адрес
DF
Там двойная индирекция
AT
Поинт в том, что ссылки "внутрь" сильно усложняют (и тормозят) GC.
ΑZ
В Java.
а что происходит при
Foo foo = bar.baz.foo?AT
Dollar Føølish
Там двойная индирекция
Depends on implementation. 🤷♀️
DF
Угу
ΑZ
в дотнете насколько я знаю ссылки это просто указатели которые умеют вместе с гц перемещаться при уплотнении кучи
DF
Да
AT
а что происходит при
Foo foo = bar.baz.foo?Две ссылки на один и тот же объект. В Java же вообще "внутри" объекта нет (или не было до недавних пор) — только ссылки на другие объекты. Ссылки на поля как таковые брать просто нельзя.