А
ты то конечно считаешь по другому, но мы уже в принципе выяснили что твоё мнение мало кому интересно
Size: a a a
2021 March 04
RB
а ты не можешь получить ссылку
RB
это ломает инварианты safe
RB
там он, насколько я понял, предлагал этот мусор как хинт, чтобы указать, что эта ссылка - это другая ссылка
RB
это тоже самое, что сделали они
RB
другого варианта нет. Либо вводить новые ссылки, но они уже не будут safe
RB
т.е. там проблема в том, что мы не можем узнать откуда взялась эта ссылка. Допустим, ты создал ссылку, которая не уникальная
RB
хорошо, ты можешь даже нарушив инвариант не сломать программу
RB
это уже позорище, но ладно. А далее у тебя есть функция f(& x)
RB
и ты туда передал эту ссылку. И всё, никто не знает откуда она пришла и какой код для неё генерировать
RB
поэтому и нужно завязываться на тип, чтобы ты мог определить это
RB
В общем, если проще. А то вдруг опять непонятно. Раст может узнать является ли какая-то ссылка алиасом, но только в текущем скоупе, условно. Поэтому мы можем как-то аннотировать get и это поменяет поведение
RB
и это скрытая аннотация сохранится, даже если мы скопируем ссылку
RB
но, если мы говорим об отдельной функции - мы уже никак не узнаем об этой скрытой аннотации
RB
именно поэтому я говорил, что здесь нужен полиморфизм и почему именно С++ к этому приспособлен
RB
потому что на самом деле эти колхозные лайфтаймы - это просто некая вариация полиморфизма. Т.е. функция можем быть полиморфна по тому, какие из её аргументов/выхода алиасятся
RB
вот в модели С++ чекер будет иметь доступ к этой скрытой аннотации и такой проблемы не возникнет
RB
т.е. настоящий полиморфизм позволяет отслеживать алиасы безо всяких костылей типа лайфтаймов
А⚙
все нормальные пацаны против этого
Но ты-то как раз ненормальный
b
ой да ладно