`numbers.md`

167 строк · 13.7 КБ · обычная страница · сырой текст · скачать
1> **Источник:** https://python-all.ru/2.7/library/numbers.html2>3> «Документация Python на русском» – неофициальный перевод официальной документации Python: версии от 2.6 до 3.16, полнотекстовый поиск, английский оригинал рядом с переводом. Эта Markdown-версия страницы предназначена для работы с LLM: вставьте её в ChatGPT, Claude или Cursor.45---67# 9.1. [`numbers`](https://python-all.ru/2.7/library/numbers.html#module-numbers) – Числовые абстрактные базовые классы89Новое в версии 2.6.1011Модуль [`numbers`](https://python-all.ru/2.7/library/numbers.html#module-numbers) ([**PEP 3141**](https://python-all.ru/2.7/library/numbers.html)) определяет иерархию [абстрактных базовых классов](https://python-all.ru/2.7/glossary.html#term-abstract-base-class), которые последовательно определяют всё больше операций. Ни один из типов, определённых в этом модуле, не может быть инстанциирован.1213#### `class numbers.Number`1415Корень числовой иерархии. Если нужно просто проверить, является ли аргумент *x* числом, не заботясь о его типе, используйте `isinstance(x, Number)`.1617## 9.1.1. Числовая башня1819#### `class numbers.Complex`2021Подклассы этого типа описывают комплексные числа и включают операции, которые работают со встроенным типом [`complex`](https://python-all.ru/2.7/library/functions.html#complex). Это: преобразования в [`complex`](https://python-all.ru/2.7/library/functions.html#complex) и [`bool`](https://python-all.ru/2.7/library/functions.html#bool), [`real`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex.real), [`imag`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex.imag), `+`, `-`, `*`, `/`, [`abs()`](https://python-all.ru/2.7/library/functions.html#abs), [`conjugate()`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex.conjugate), `==` и `!=`. Все, кроме `-` и `!=`, являются абстрактными.2223#### `real`2425Абстрактный. Возвращает вещественную составляющую этого числа.2627#### `imag`2829Абстрактный. Возвращает мнимую составляющую этого числа.3031#### `conjugate()`3233Абстрактный. Возвращает комплексно-сопряжённое число. Например, `(1+3j).conjugate() == (1-3j)`.3435#### `class numbers.Real`3637К [`Complex`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex), [`Real`](https://python-all.ru/2.7/library/numbers.html#numbers.Real) добавляет операции, работающие с вещественными числами.3839Коротко говоря, это: преобразование в [`float`](https://python-all.ru/2.7/library/functions.html#float), [`math.trunc()`](https://python-all.ru/2.7/library/math.html#math.trunc), [`round()`](https://python-all.ru/2.7/library/functions.html#round), [`math.floor()`](https://python-all.ru/2.7/library/math.html#math.floor), [`math.ceil()`](https://python-all.ru/2.7/library/math.html#math.ceil), [`divmod()`](https://python-all.ru/2.7/library/functions.html#divmod), `//`, `%`, `<`, `<=`, `>` и `>=`.4041Real также предоставляет значения по умолчанию для [`complex()`](https://python-all.ru/2.7/library/functions.html#complex), [`real`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex.real), [`imag`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex.imag) и [`conjugate()`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex.conjugate).4243#### `class numbers.Rational`4445Подтипы [`Real`](https://python-all.ru/2.7/library/numbers.html#numbers.Real) добавляют свойства [`numerator`](https://python-all.ru/2.7/library/numbers.html#numbers.Rational.numerator) и [`denominator`](https://python-all.ru/2.7/library/numbers.html#numbers.Rational.denominator), которые должны быть в наименьших членах. С ними предоставляется значение по умолчанию для [`float()`](https://python-all.ru/2.7/library/functions.html#float).4647#### `numerator`4849Абстрактный.5051#### `denominator`5253Абстрактный.5455#### `class numbers.Integral`5657Является подтипом [`Rational`](https://python-all.ru/2.7/library/numbers.html#numbers.Rational) и добавляет преобразование в [`int`](https://python-all.ru/2.7/library/functions.html#int). Предоставляет реализации по умолчанию для [`float()`](https://python-all.ru/2.7/library/functions.html#float), [`numerator`](https://python-all.ru/2.7/library/numbers.html#numbers.Rational.numerator) и [`denominator`](https://python-all.ru/2.7/library/numbers.html#numbers.Rational.denominator). Добавляет абстрактные методы для `**` и операций с битовыми строками: `<<`, `>>`, `&`, `^`, `|`, `~`.5859## 9.1.2. Примечания для реализаторов типов6061Разработчикам следует быть внимательными, чтобы равные числа были равными и хешировались в одинаковые значения. Это может быть незаметным, если существует два разных расширения вещественных чисел. Например, [`fractions.Fraction`](https://python-all.ru/2.7/library/fractions.html#fractions.Fraction) реализует [`hash()`](https://python-all.ru/2.7/library/functions.html#hash) следующим образом:6263```python64def __hash__(self):65    if self.denominator == 1:66        # Получить целые числа правильно.67        return hash(self.numerator)68    # Дорогостоящая проверка, но определённо корректная.69    if self == float(self):70        return hash(float(self))71    else:72        # Использовать хеш кортежа, чтобы избежать высокой частоты коллизий для73        # простых дробей.74        return hash((self.numerator, self.denominator))75```7677### 9.1.2.1. Добавление других числовых ABC7879Конечно, существуют и другие возможные ABC для чисел, и эта иерархия была бы неудачной, если бы она исключала возможность добавления таких. Можно добавить `MyFoo` между [`Complex`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex) и [`Real`](https://python-all.ru/2.7/library/numbers.html#numbers.Real) с помощью:8081```python82class MyFoo(Complex): ...83MyFoo.register(Real)84```8586### 9.1.2.2. Реализация арифметических операций8788Мы хотим реализовать арифметические операции так, чтобы операции со смешанными типами либо вызывали реализацию, автор которой знал о типах обоих аргументов, либо преобразовывали оба к ближайшему встроенному типу и выполняли операцию там. Для подтипов [`Integral`](https://python-all.ru/2.7/library/numbers.html#numbers.Integral) это означает, что [`__add__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__add__) и [`__radd__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__radd__) должны быть определены как:8990```python91class MyIntegral(Integral):9293    def __add__(self, other):94        if isinstance(other, MyIntegral):95            return do_my_adding_stuff(self, other)96        elif isinstance(other, OtherTypeIKnowAbout):97            return do_my_other_adding_stuff(self, other)98        else:99            return NotImplemented100101    def __radd__(self, other):102        if isinstance(other, MyIntegral):103            return do_my_adding_stuff(other, self)104        elif isinstance(other, OtherTypeIKnowAbout):105            return do_my_other_adding_stuff(other, self)106        elif isinstance(other, Integral):107            return int(other) + int(self)108        elif isinstance(other, Real):109            return float(other) + float(self)110        elif isinstance(other, Complex):111            return complex(other) + complex(self)112        else:113            return NotImplemented114```115116Существует 5 различных случаев для операции над смешанными типами для подклассов [`Complex`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex). Я буду называть весь приведённый выше код, который не относится к `MyIntegral` и `OtherTypeIKnowAbout`, «шаблонным кодом» (boilerplate). `a` будет экземпляром `A`, который является подтипом [`Complex`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex) (`a : A <: Complex`) и `b : B <: Complex`. Я рассмотрю `a + b`:117118> 1. Если `A` определяет [`__add__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__add__), который принимает `b`, то всё в порядке.119> 2. Если `A` возвращается к шаблонному коду и должен вернуть значение из [`__add__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__add__), мы упустим возможность того, что `B` определяет более интеллектуальный [`__radd__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__radd__), поэтому шаблонный код должен возвращать [`NotImplemented`](https://python-all.ru/2.7/library/constants.html#NotImplemented) из [`__add__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__add__). (Или `A` может вообще не реализовывать [`__add__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__add__).)120> 3. Затем получает шанс [`__radd__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__radd__) от `B`. Если он принимает `a`, всё в порядке.121> 4. Если он возвращается к шаблонному коду, других возможных методов для попытки нет, поэтому именно здесь должна находиться реализация по умолчанию.122> 5. Если `B <: A`, Python пробует `B.__radd__` перед `A.__add__`. Это нормально, потому что он был реализован со знанием `A`, поэтому он может обработать эти экземпляры перед делегированием [`Complex`](https://python-all.ru/2.7/library/numbers.html#numbers.Complex).123124Если `A <: Complex` и `B <: Real` не имеют других общих знаний, то подходящей общей операцией является та, которая включает встроенный [`complex`](https://python-all.ru/2.7/library/functions.html#complex), и оба [`__radd__()`](https://python-all.ru/2.7/reference/datamodel.html#object.__radd__) попадают туда, поэтому `a+b == b+a`.125126Поскольку большинство операций для любого данного типа будут очень похожи, может быть полезно определить вспомогательную функцию, которая генерирует прямые и обратные экземпляры любого оператора. Например, [`fractions.Fraction`](https://python-all.ru/2.7/library/fractions.html#fractions.Fraction) использует:127128```python129def _operator_fallbacks(monomorphic_operator, fallback_operator):130    def forward(a, b):131        if isinstance(b, (int, long, Fraction)):132            return monomorphic_operator(a, b)133        elif isinstance(b, float):134            return fallback_operator(float(a), b)135        elif isinstance(b, complex):136            return fallback_operator(complex(a), b)137        else:138            return NotImplemented139    forward.__name__ = '__' + fallback_operator.__name__ + '__'140    forward.__doc__ = monomorphic_operator.__doc__141142    def reverse(b, a):143        if isinstance(a, Rational):144            # Включает целые числа.145            return monomorphic_operator(a, b)146        elif isinstance(a, numbers.Real):147            return fallback_operator(float(a), float(b))148        elif isinstance(a, numbers.Complex):149            return fallback_operator(complex(a), complex(b))150        else:151            return NotImplemented152    reverse.__name__ = '__r' + fallback_operator.__name__ + '__'153    reverse.__doc__ = monomorphic_operator.__doc__154155    return forward, reverse156157def _add(a, b):158    """a + b"""159    return Fraction(a.numerator * b.denominator +160                    b.numerator * a.denominator,161                    a.denominator * b.denominator)162163__add__, __radd__ = _operator_fallbacks(_add, operator.add)164165# ...166```167