Краткий ответ

В методе экземпляра super() без аргументов использует скрытую ячейку __class__, которую Python создаёт для функции, объявленной в теле класса, и первый аргумент метода как текущий объект. Затем super ищет атрибуты начиная с класса после текущего класса в MRO, а найденный дескриптор корректно связывает с объектом.

Исторический контекст

Механизм super() нужен для кооперативного наследования: каждый класс может делегировать реализацию следующему классу в MRO, не указывая базовый класс жёстко. Это особенно важно при множественном наследовании, где фиксированный вызов конкретного родителя может нарушить единый порядок обхода.

Постановка проблемы

Наивная замена super() на прямой вызов родительского класса делает код хрупким: изменение иерархии может привести к пропуску другого участника MRO или к повторному вызову метода. При этом super() не является поиском «родителя» вообще — он выполняет поиск относительно конкретного класса и конкретного объекта.

Подробное решение

При компиляции метода, содержащего обращение к __class__ или super(), Python формирует замыкание с ячейкой __class__. В ней находится класс, в теле которого был определён метод. Первый аргумент метода обычно является self; его имя не имеет специального значения, важна именно первая позиция аргументов.

Получив пару «текущий класс, объект», super() создаёт прокси. При обращении к его атрибуту поиск начинается не в текущем классе, а со следующего класса после него в MRO объекта. Найденные функции и другие дескрипторы обрабатываются обычным механизмом связывания, поэтому метод получает тот же объект как self.

Минимальный пример:

class A:
    def run(self):
        return ["A"]

class B(A):
    def run(self):
        return super().run() + ["B"]

class C(B):
    def run(self):
        return super().run() + ["C"]

print(C().run())

Результат — ['A', 'B', 'C']: в B поиск продолжается после B, а в C — после C. Если заменить super() прямым вызовом A.run(self), кооперативная цепочка перестанет учитывать возможные классы между C и A или соседние ветви множественного наследования.

Нулевая форма super() доступна не произвольной функции, а функции с подходящим контекстом класса и первым аргументом объекта или класса. Поэтому переименование self ничего не ломает, но отсутствие первого аргумента или вызов метода без требуемого объекта приводит к ошибке. В classmethod механизм также работает: первым аргументом выступает класс cls.

Ситуация из практики

В проекте несколько примесей добавляют этапы обработки запроса. Вариант с прямыми вызовами конкретных базовых классов прост для чтения, но жёстко связывает примеси и может пропустить этап при изменении порядка наследования. Вариант с super() требует, чтобы каждый метод вызывал следующий метод и согласованно передавал аргументы, зато сохраняет кооперативный MRO.

Для такой цепочки выбирают super(), единый контракт методов и тест, проверяющий порядок этапов. Результат — добавление новой примеси не требует переписывать существующие классы, если её место в MRO и сигнатуры соблюдены.

Что кандидаты часто упускают

Обязательно ли имя первого параметра должно быть self?

Нет. super() использует первый аргумент текущего вызова, а не ищет локальную переменную по имени self. Однако нестандартное имя ухудшает читаемость, а метод без первого параметра не имеет объекта, относительно которого можно построить super.

Почему super() в статическом методе обычно не работает без аргументов?

Статический метод не получает неявный self или cls. Хотя функция может иметь контекст __class__, у super() нет первого аргумента, который указывал бы объект или класс для поиска, поэтому нулевая форма завершается ошибкой. Нужно явно передать класс и подходящий объект либо изменить дизайн метода.

Что произойдёт, если вызвать метод через super, но следующий класс не содержит такого атрибута?

Поиск продолжится по оставшейся части MRO. Если атрибут не найден ни в одном из классов, обращение завершится AttributeError; super() не возвращается автоматически к уже просмотренному текущему классу и не ищет атрибут в экземпляре как запасной вариант.