ΑZ
охенный аргумент
Size: a a a
2021 April 18
TK
'static живёт всё время работы программы
TK
Это очень мало
TK
И его забыли везде сделать универсальным, как видишь
ΑZ
т..е если я создал переменную которая живет один экспрешн (локальная ссылка) то оно по-твоему живет дольше 'static?
TK
Ты не сможешь создать такую в безопасном sound коде
TK
Она локальная и живёт '0, а не 'a
ΑZ
лол
ΑZ
{
let x = 10;
foo(&x);
}
По твоим словам "'a сильнее 'static" получается что x живет дольше 'staticTK
Нет, x имеет конкретный экземпляр лайфтайма с известным скоупом
TK
Обобщённый лайфтайм параметр таких ограничений не имеет до тех пор, пока система типов их не проверит в компайл тайме
TK
В частности, она проверит и найдёт их ровно в том количестве, сколько ссылок используется
ΑZ
и что?
ΑZ
'a это универсальное утверждение. Т.е. "Для любого лайфтайма 'a будет от такая-то функция". Включая лайфтайм "2 строчки функции". Твое утверждение что 'a сильнее 'static означает что ЛЮБОЙ лайфтайм в программе живет по крайней мере 'static что конечно же бред
TK
Не веришь, вот номикон
TK
'a сильнее не в том смысле, что обязательно переживает 'static. 'a это множество (или мб семейство/категория, математики?) вообще всех лайфтаймов, в этом смысле.
ΑZ
окей, в этом смысле да
ΑZ
но нет лайфтайма дольше чем 'static
ΑZ
так что из 'a : static можно заключить 'a = 'static