4

小さな整数をキャッシュするPythonに関するこの質問に触発されました。

Pythonコンパイラがコンパイル時に（0-6）を-6に置き換えることは可能ですか？以下のコードは、そうではないことを示唆しています。それが不可能な場合は、なぜですか？0、、、-またはの意味は6実行時に異なる可能性があるとは思いません。

これが可能な場合、なぜCPythonはそれを行わないのですか？

# test_integers.py
def test_integers():
    print "-6 is -6 ?", -6 is -6 # True
    print "(0 - 6) is -6 ?", (0 - 6) is -6 # False

# import_test_integers.py
import test_integers
test_integers.test_integers()

これが実装に大きく依存する場合のPythonの詳細：

Python 2.6.5 (r265:79063, Apr 16 2010, 13:09:56) 
[GCC 4.4.3] on linux2
4

1 に答える 1

12

isまず、最適化を検出するために整数値を比較するためにを使用するべきではありません。あなたがリンクした質問で説明されているように、それは何の関係もありません。関数で実行された最適化を知りたい場合は、disモジュールを使用してください。disモジュールは（2.7.2で、タイプミスを修正した後-1）次のように生成します。

>>> import dis
>>> 
>>> def test_integers():
...     print "-6 is -6 ?", -6 is -6 # True
...     print "(0-6) is -6 ?", (0 - 6) is -6 # False
... 
>>> dis.dis(test_integers)
  2           0 LOAD_CONST               1 ('-6 is -6 ?')
              3 PRINT_ITEM          
              4 LOAD_CONST               2 (-6)
              7 LOAD_CONST               2 (-6)
             10 COMPARE_OP               8 (is)
             13 PRINT_ITEM          
             14 PRINT_NEWLINE       

  3          15 LOAD_CONST               3 ('(0-6) is -6 ?')
             18 PRINT_ITEM          
             19 LOAD_CONST               6 (-6)
             22 LOAD_CONST               2 (-6)
             25 COMPARE_OP               8 (is)
             28 PRINT_ITEM          
             29 PRINT_NEWLINE       
             30 LOAD_CONST               0 (None)
             33 RETURN_VALUE

減算が実際に最適化されていることがわかります。他にもいくつか見ることができます：

>>> def f():
...     x = 1+2
...     x = 2-3
...     x = 3*4
...     x = 4/5
...     x = 5**6
... 
>>> dis.dis(f)
  2           0 LOAD_CONST               7 (3)
              3 STORE_FAST               0 (x)

  3           6 LOAD_CONST               8 (-1)
              9 STORE_FAST               0 (x)

  4          12 LOAD_CONST               9 (12)
             15 STORE_FAST               0 (x)

  5          18 LOAD_CONST               4 (4)
             21 LOAD_CONST               5 (5)
             24 BINARY_DIVIDE       
             25 STORE_FAST               0 (x)

  6          28 LOAD_CONST              10 (15625)
             31 STORE_FAST               0 (x)
             34 LOAD_CONST               0 (None)
             37 RETURN_VALUE
于 2012-07-14T17:41:39.370 に答える