`x *= seq` raises TypeError for int subclasses and IntEnum where `x * seq` works

未關閉
  • 哪裡不對？
#161,968 0 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視

維護者通常 1 天內回覆

還沒有人認領這個 Issue。

評估

難度
4/5
預估耗時
1-2 天
新手友好度
25/100
Issue 類型
缺陷
描述清晰度
描述清楚
活躍度
停滯
技術堆疊
c, python
領域
compilers

研究方向

Start with PyNumber_InPlaceMultiply in Objects/abstract.c and compare its handling of the right operand's sq_repeat with PyNumber_Multiply. Find the relevant existing numeric or sequence-operation tests; the issue does not name a test file. Done means in-place multiplication matches ordinary multiplication for the reported int subclass and IntEnum cases, with tests passing.

由索引模型根據 Issue 內容生成。

描述

Bug report

When the left operand is an instance of a Python class that supports __index__ but has no __mul__/__imul__ that handles sequences (an int subclass, an IntEnum member, or any class with __index__), x *= [1] raises TypeError, while x * [1] and x = x * [1] work. With a plain int on the left it works.

import enum, operator

class MyInt(int):
    pass

class Number(enum.IntEnum):
    TWO = 2

x = MyInt(2)
print(x * [1])              # [1, 1]
x *= [1]                    # TypeError: unsupported operand type(s) for *=: 'MyInt' and 'list'

y = Number.TWO
y *= [1]                    # TypeError: unsupported operand type(s) for *=: 'Number' and 'list'

operator.imul(MyInt(2), [1])  # same TypeError

Expected: [1, 1] in each case, the same as x * [1].

The cause is in PyNumber_InPlaceMultiply (Objects/abstract.c): the right operand's sq_repeat is only tried in an else if (mw != NULL) branch, which is skipped whenever the left operand's type has a tp_as_sequence at all, even if that has no repeat slot. Every heap type has tp_as_sequence, so for these classes the list's repeat is never reached. PyNumber_Multiply does not have this problem because it checks the right operand independently.

CPython versions tested on:

3.15, CPython main branch

Operating systems tested on:

Linux

Found while building a Lean 4 model of CPython (https://broyojo.com/python-formalization/). AI tools (Claude) helped investigate the findings and prepare this report. The examples were rerun on CPython 3.15.2 and main, and the report received technical review. Record: corelibs-inplace-mul-heap-left

Linked PRs
  • gh-161969
主要語言
Python
星號
78.2k
分支
36.6k
平均合併
19 小時 57 分鐘
30 天內合併 PR
630

環境準備

在 Codespaces 中開啟

在瀏覽器裡用你自己的 GitHub 帳號啟動這個專案的開發容器。

從這裡開始

  1. 先讀完整個 Issue，再讀專案的貢獻指南。
  2. 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
  3. Fork 儲存庫，在一個分支上完成修改。
  4. 送出 Pull Request，並在描述裡引用這個 Issue 編號。

python/cpython 的其他 Issue

查看 python/cpython 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。