AZ
Ну так я и сделал проверку ифом, а дальше в логике у меня тип WeirdRange(7,9)
нет, WirdRange(7,9) это не тип, это значение
Size: a a a
2020 April 03
S
нет, WirdRange(7,9) это не тип, это значение
это тип struct { data: i32 } со значением от 7 до 9
p
всё, я сдулся и молчу
Например у тебя есть программа в которую пользователь вводит буквы. Потом эти буквы должны по сети отправиться Васе из другого города. Тут даже ничего валидировать от пользователя не нужно, просто нужно байты переслать. Ты выстраивает цепочку программы так, чтобы компилятор мог проверить что ты действительно отправляешь запрос на адрес Васи, с текстом сообщения который передал тебе юзер.
AZ
это тип struct { data: i32 } со значением от 7 до 9
ну вот
AZ
а с рефтипами это WeirdRange<7,9>
AZ
понимаешь разницу?
p
И если компилятор увидит что ты забыл где-то очистить буфер перед отправкой сообщения, он тебе скажет на этапе компиляции об этом
S
понимаешь разницу?
разницы нет, WeirdRange(7,9) -это генерик, создаваемый во время компиляции
AZ
разницы нет, WeirdRange(7,9) -это генерик, создаваемый во время компиляции
ок, давай переформулирую. Какая сигнатура функции, которая принимает число от 7 до 9?
S
new (i32) WeirdRange(A, B)
r
И если компилятор увидит что ты забыл где-то очистить буфер перед отправкой сообщения, он тебе скажет на этапе компиляции об этом
Скорее ты будешь доказывать компилятору, что очистил буфер.
AZ
new (i32) WeirdRange(A, B)
я не знаю такого синтаксиса
AZ
напиши на расте
p
red75prime
Скорее ты будешь доказывать компилятору, что очистил буфер.
Ну ты доказываешь компилятору каждый шаг
AZ
fn foo(x: ???)
S
fn new<WeirdRange<7,9>> (a: i32) -> Self
AZ
fn new<WeirdRange<7,9>> (a: i32) -> Self
ну ты кривенько написал, но ладно
AZ
так будет работать
AZ
но даже чтобы это работало нужны конст-генерики, которых нет
S
так в Zig есть