EG
Оно компилируется?
Нет. Точно так же не должны компилироваться пересекающиеся оверлоады.
Size: a a a
2020 March 03
p
Нет. Точно так же не должны компилироваться пересекающиеся оверлоады.
Ну вот допустим я хочу чтобы скомпилировалась. Что делать?
p
T: !i32 нельзя написать
EG
Допустим, я хочу, чтобы
$&*(RY&(W*)$&R*()YH(* скомпилировалось, но что-то нет.EG
А с трейтами что делать?
V
p
А с трейтами что делать?
А что с ними?
Т8
Придется по этой теме писать 10 листов спецификации
А если вводить крутой вывод типов?
EG
Это точно такая же история, что с трейтами.
trait Trait { fn foo(); }
impl Trait for i32 { fn foo() {} }
impl<T> Trait for T { fn foo () {} }Этот код не компилируется. Я хочу, чтобы скомпилировался.
p
И это говно
V
ну собственно а почему бы не дать право делать неженерик функции рядом с женерик функциями?
V
И это говно
почему?
p
Этот код не компилируется. Я хочу, чтобы скомпилировался.
Нужно вводить negate-trauts
p
почему?
Неоднозначность
V
Неоднозначность
однозначно
EG
Тогда и оверлоад сможет их использовать. Оверлоад — это практически в точности имплементация трейта.
p
однозначно
Увижу функцию с генериком, подумаю что будет вызываться она, а 100 строчек ниже будет другая функция
p
Тогда и оверлоад сможет их использовать. Оверлоад — это практически в точности имплементация трейта.
Вот, пока не будет !Foo, то о перегрузке можно забыть
EG
Вот, пока не будет !Foo, то о перегрузке можно забыть
И о трейтах тоже, ведь с ними такая же проблема.
p
И о трейтах тоже, ведь с ними такая же проблема.
Трейты это обязательная часть языка, без нее никуда. Оверлоады мне ни разу не нужны были.