Т8
В расте, если хочется получить поведение как у as шарпового, надо try_into юзать
Аа, спасибо
Size: a a a
2020 March 03
p
с синтаксисом то всё понятно, как в систему типов знание о дефолтных аргументах встраивать?
Не понял
Т8
Интересно получается. as-dynamic_cast-try_into
p
То есть какой будет тип у функции с аргументами по-умолчанию? Хороший вопрос
Fn(type, type1)
p
Не понимаю проблемы
V
там должен быть кортеж из двух функций, чтобы компилятор по необходимости мог выбрать одну из них
Тогда тут не * и не |, а &
V
Тоесть будет t-r & t*o->r
V
Тоесть будет t-r & t*o->r
Типа объект у нас 1, а не два и он реализует оба интерфейса
p
но как тогда проверять, что вызов функции соответствует типу вызываемой функции, если в типе у неё записано, что она требует 5 аргументов, а ты передаёшь 2?
Если используешь как Fn(), то обязательно передавать все параметры
λ
Типа объект у нас 1, а не два и он реализует оба интерфейса
Ну этого точно не можно сделать
DS
Т-34 85
Аа, спасибо
Но он не для всего определен, это отдельный тайпкласс, как обычно.
p
Т-34 85
@Psilon @DogeShibu @Vabka а вам какой синтаксис приведений типов больше нравится - шарповый или растовский? И почему
У раста такой синтаксис только для примитивных типов работает
AZ
Типа объект у нас 1, а не два и он реализует оба интерфейса
то есть в коллстеке из 10 функций у нас 1024 варианта кто как кого зовет, я правильно тебя понял?
DS
У раста такой синтаксис только для примитивных типов работает
Ну для остального From/TryFrom/Into/TryInto, как было выше сказано
Т8
Но он не для всего определен, это отдельный тайпкласс, как обычно.
В смысле, интерфейс?
p
Ну для остального From/TryFrom/Into/TryInto, как было выше сказано
Да
DS
Т-34 85
В смысле, интерфейс?
В расте нет интерфейсов - в нём тайпклассы, или как их назвали в расте - трейты.
Т8
В расте нет интерфейсов - в нём тайпклассы, или как их назвали в расте - трейты.
Не вижу принципиальной разницы
Т8
Особенно после того, как в шарпе добавили методы по умолчанию
DS
Т-34 85
Не вижу принципиальной разницы
Огромная.
Тайпкласс можно реализовать постфактум для типа, которым ты не владеешь. В то время как с обычными интерфейсами так не выйдет.
Тайпкласс можно реализовать постфактум для типа, которым ты не владеешь. В то время как с обычными интерфейсами так не выйдет.