a
Как это нельзя? 3 == 'hello' => False
Size: a a a
2021 July 31
AP
Хмм, я или подзабыл, или что :) Но в это всё равно "разные функции" для разных типов
AP
3.__eq__('hello'), т.е. работает только для типов, умеющих в __eq__AP
Это уже не "любые с любыми"
a
Ты о том что пайтон позволяет делать override для ==? Ну это круто, только не знаю что это меняет, и так диспатч динамический, а по умолчанию там вроде eq (сравнение референсов) с исключениями для примитивных типов
a
Но по умолчанию все умеют в
__eq__ нет?a
А кто не умеет?
AP
никто не умеет. Только для искоробочных типов есть реализации
AP
Но это не "умолчательная реализация и перегрузки". Протокол нужно явно реализовывать для всех типов
a
Окей, я потестил и получается интересно.
Допустим, что новые типы создаются только через class.
Тогда == есть по умолчанию и это сравнение по референциям.
Но `__eq__` выбрасывает NotImplemented
Допустим, что новые типы создаются только через class.
Тогда == есть по умолчанию и это сравнение по референциям.
Но `__eq__` выбрасывает NotImplemented
class Hello:В общем, я не знаю пайтон, но выглядит, что сравнивать можно все
def __init__(self):
pass
Hello() == 3 => False
Hello().__eq__(3) => error
AP
Можно сравнивать то, что было реализовано так, чтобы сравниваться со всем
AP
Это не "всё что угодно"
AP
От левого операнда точно требуется наличие метода. Или от правого, если у левого нет
a
Но реализация по умолчанию есть (если ограничиться до class, по крайней мере). Можно перегрузить так чтобы небыло, и это круто, но к типизации не относится имхо.
AP
Да нет реализации по умолчанию!
AP
Есть реализации для конкретных типов
a
Ну вот я создал новый тип в примере. Для него == работает. Тоесть создалась реализация по умолчанию. Нет?
AP
Это реализация для конкретного класса