VS
и вот из практики - наследование рекордов идеально подошло бы для пульсара, там типы месседжей друг от друга наследуются на джаве, но там сравнение ровно наоборот нужно - чтобы наследники друг другу равнялись если сравниваются через базовый тип
Size: a a a
2020 September 24
IC
Да, вот эту хрень надо объявить, чтобы заработало.
AH
и вот из практики - наследование рекордов идеально подошло бы для пульсара, там типы месседжей друг от друга наследуются на джаве, но там сравнение ровно наоборот нужно - чтобы наследники друг другу равнялись если сравниваются через базовый тип
не, сравнение наследников сломало бы всё нахер
AH
так что они правильно костыльнули, но всё же дичь
AH
мы это уже обсуждали тут
IC
VS
ну смотри, у меня есть класс, в котором сложен массив базовых рекордов и я их друг с другом сравниваю не имея представления какой именно наследник там сидит, если они не будут друг другу равны, то все сломается
AH
record Point(int x, int y)
record PointWithColor(c: Color): Point
void ArePointsEqual(Point p1, Point p2) =>
p1 == p2
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Red)) // ну вроде должно быть true
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Blue)) // ну вроде должно быть true
откуда следует что и это тоже должно быть true
ArePointsEqual(PointWithColor(1,1,Color.Blue), PointWithColor(1,1,Color.Red))
record PointWithColor(c: Color): Point
void ArePointsEqual(Point p1, Point p2) =>
p1 == p2
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Red)) // ну вроде должно быть true
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Blue)) // ну вроде должно быть true
откуда следует что и это тоже должно быть true
ArePointsEqual(PointWithColor(1,1,Color.Blue), PointWithColor(1,1,Color.Red))
AH
ну я псевдокод накидал, думаю мысль понятна
AH
короче, это ворота в ад - еквалити семантика и наследование
RM
VS
record Point(int x, int y)
record PointWithColor(c: Color): Point
void ArePointsEqual(Point p1, Point p2) =>
p1 == p2
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Red)) // ну вроде должно быть true
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Blue)) // ну вроде должно быть true
откуда следует что и это тоже должно быть true
ArePointsEqual(PointWithColor(1,1,Color.Blue), PointWithColor(1,1,Color.Red))
record PointWithColor(c: Color): Point
void ArePointsEqual(Point p1, Point p2) =>
p1 == p2
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Red)) // ну вроде должно быть true
ArePointsEqual(Point(1,1), PointWithColor(1,1,Color.Blue)) // ну вроде должно быть true
откуда следует что и это тоже должно быть true
ArePointsEqual(PointWithColor(1,1,Color.Blue), PointWithColor(1,1,Color.Red))
и действительно должно быть тру, если предварительно скастить к родителю)
AH
ну они кастятся при передаче в метод же
AH
ну и далее следует ещё один мазок говнокода и вопросов на собесе с имплицитными кастами при сравнении
IC
(продолжаю считать, что не должно) Меня при сравнении рантайм типы интересуют, а не к чему их там в коде кастят.
AH
типа
PointWithColor == Point
какой еквалити вызовется?
PointWithColor == Point
какой еквалити вызовется?
AH
и опять тупые вопросы
VS
AH
а если там граф наследования неочевидный, так вообще интересно начинается
IC
типа
PointWithColor == Point
какой еквалити вызовется?
PointWithColor == Point
какой еквалити вызовется?
Так тут рекорды не при чём. И сейчас такие вопросы задавать можно.