V
просто заявляем "при вызове функции, если не указаны женерик-аргументы и под сигнатуру вызова подпадает не-женерик функция, приоритет даётся не-женерик функции."
Size: a a a
2020 March 03
V
Увижу функцию с генериком, подумаю что будет вызываться она, а 100 строчек ниже будет другая функция
а ты не думай, а проверяй
V
cmd+B никто не отменял 2020 год всё-таки
p
а ты не думай, а проверяй
Охуеть.
EG
Нет, неоднозначно.
trait Trait1 {}
trait Trait2 {}
trait Trait3 {}
struct S1;
impl Trait1 for S1 {}
impl Trait2 for S1 {}
impl<T: Trait1> Trait3 for T {}
impl<T: Trait2> Trait3 for T {}p
а ты не думай, а проверяй
Зачем мне тогда компилятор?
V
Более сложный вопрос - а что делаем, если у нас есть
fn foo()
и
fn foo(x: i32 = 0)
fn foo()
и
fn foo(x: i32 = 0)
EG
Нет, неоднозначно.
trait Trait1 {}
trait Trait2 {}
trait Trait3 {}
struct S1;
impl Trait1 for S1 {}
impl Trait2 for S1 {}
impl<T: Trait1> Trait3 for T {}
impl<T: Trait2> Trait3 for T {}Какая из имплементаций
Trait3 работает?p
Более сложный вопрос - а что делаем, если у нас есть
fn foo()
и
fn foo(x: i32 = 0)
fn foo()
и
fn foo(x: i32 = 0)
Компилятор ругнется, и не дат скомпилировпть
V
Зачем мне тогда компилятор?
а при чём тут компилятор? Тебе явно сказали что будет вызвано - компилятор не виноват, если ты не знаешь спецификацию языка
p
Все просто
V
Компилятор ругнется, и не дат скомпилировпть
разумно
V
так кстати шарп делает, кажется
Т8
Не надо как в плюсах
По религиозным причинам?
p
Но не надо овердоадов
V
λ
Или ввести возможность реализовывать женерик функции явно руками
для этого трейты есть
V
для этого трейты есть
да. А трейты разрешают делать вариативное количество параметров?
V
лучше вариадики ввести с возможностью ещё и тип менять
V
в принципе тоже разумно. Я это хотел дописать в первом сообщении, но раз уж мы разрешает перекрывать сигнатуры - тогда бусть параметры по-умолчанию тоже перекрываются и вызывается версия без параметра по-умолчанию