Э
почему?
Выше смотри.
Size: a a a
2020 October 11
Э
Прямо перед твоим сообщением.
ΑZ
EG
и это не |x| x
Это
|x| xΑZ
это
|x : &i32 -> *const i32| xEG
это
|x : &i32 -> *const i32| xНеважно
EG
Это здесь тип заметен
EG
А если ты это передаёшь как аргумент в какую-то сложную функцию, то ты можешь и не заметить, что типы вывелись с coercion'ом
ΑZ
не вижу смысла так делать. Я бы сделал
|x| x.into() для явностиEG
|x| x имеет право коэрсить тип результатаidentity нетEG
не вижу смысла так делать. Я бы сделал
|x| x.into() для явностиПроблема в том, что это может произойти случайно
EG
identity более строгий вариантΑZ
|x| x имеет право коэрсить тип результатаidentity нетну ок, не думал про это. В реальности не представляю где это бы мне пригодилось
ΑZ
identity более строгий вариантда, и им могут не пользоваться просто потому что длинное имя
EG
У него в любом случае более длинное имя, даже если оно было бы из одной буквы
EG
std::convert::id это всё ещё длиннее, чем |x| xH
зато
id корочеEG
зато
id корочеДля этого он должен быть в prelude