p
Как ты сконструируешь enum Void { } ?
Size: a a a
2020 August 17
AZ
Как ты сконструируешь enum Void { } ?
по-моему боттом и воид это разные вещи
r
значит используя loop {} я могу сконструировать значение типа !
Используя loop {}, мы не конструируем никакое значение. Тип bottom -> a населён, но bottom - нет
AZ
Т-34 85
Это как? Как он может сконсируироваться? Какой размер?
размер это деталь реализации
SS
fn foo2() -> ! {
loop {}
}Тип не сконструирован
AZ
red75prime
Используя loop {}, мы не конструируем никакое значение. Тип bottom -> a населён, но bottom - нет
let x = loop {}; - оно компилируется и у x значение определенного типаSS
loop {} вернет сконструированный !, когда завершится
SS
но он не завершится
p
let x = loop {}; - оно компилируется и у x значение определенного типаТип необязательно должен конструироваться, на то он и тип
r
let x = loop {}; - оно компилируется и у x значение определенного типаУ x нет никакого значения. Тип есть, да
SS
конструирования не произойдет
AZ
loop {} вернет сконструированный !, когда завершится
я говорю про "вернул" с точки зрения статического анализатора
AZ
он работает в компайл тайм а не рантайме
AZ
red75prime
У x нет никакого значения. Тип есть, да
переменная типа не может не иметь значения
p
я говорю про "вернул" с точки зрения статического анализатора
Конструирование же возможно только в рантайме
p
С точки зрения анализатора нет ничего кроме типов
r
переменная типа не может не иметь значения
Вполне себе может. Этот код прямо говорит, что x никогда не будет присвоено значение.
SS
С точки зрения анализатора там возврата нет. Функция пообещала не завершиться, ее тело удовлетворяет контракту, так же не завершаясь.
SS
Тип не сконструирован
AZ
red75prime
Вполне себе может. Этот код прямо говорит, что x никогда не будет присвоено значение.
я не вижу разницы между "никогда не присвоено значение" и "значение типа боттом"