- 追加された行はこの色です。
- 削除された行はこの色です。
[[Pythonを読む]]
#contents
*はじめに [#k27a077f]
オブジェクトに属性がどう保存されるのかを見ていきます。
ちなみにPythonの場合、メソッドも属性です。つまり、関数オブジェクトを指すオブジェクトになっています。とは言うものの、インスタンスのバインドの話があるのでメソッド呼び出し時の動作についても見ていこうと思います。
ともかく、対象とするプログラムはこちら。
#code(Python){{
class Foo:
def __init__(self, x):
self.x = x
def method(self):
print(self.x)
foo = Foo(123)
foo.method()
}}
*解析のための道具 [#u4647d7d]
「はじめに」で挙げたプログラムがどのようなバイトコードに変換され実行されるかを見るわけですが、構文解析→コード生成を手動でやると手間がかかってしまいます。標準関数・標準ライブラリに便利なものがあるのでそれを利用しましょう。
まず先ほどのプログラムを文字列として定義します。
>>> src = '''
class Foo:
def __init__(self, x):
self.x = x
def method(self):
print(self.x)
foo = Foo(123)
foo.method()
'''
それを[[compile関数>https://docs.python.org/ja/3/library/functions.html?highlight=compile#compile]]に放り込む。
それを[[compile関数>https://docs.python.org/ja/3/library/functions.html#compile]]に放り込む。
>>> co = compile(src, '<string>', 'exec')
これでコードオブジェクトが出来上がります。
バイトコードを得るには[[disモジュール>https://docs.python.org/ja/3/library/dis.html]]を使います。
>>> dis.dis(co)
2 0 LOAD_BUILD_CLASS
2 LOAD_CONST 0 (<code object Foo at 0x031936A8, file "<string>", line 2>)
4 LOAD_CONST 1 ('Foo')
6 MAKE_FUNCTION 0
8 LOAD_CONST 1 ('Foo')
10 CALL_FUNCTION 2
12 STORE_NAME 0 (Foo)
9 14 LOAD_NAME 0 (Foo)
16 LOAD_CONST 2 (123)
18 CALL_FUNCTION 1
20 STORE_NAME 1 (foo)
10 22 LOAD_NAME 1 (foo)
24 LOAD_ATTR 2 (method)
26 CALL_FUNCTION 0
28 POP_TOP
30 LOAD_CONST 3 (None)
32 RETURN_VALUE
1~13のあたり、もうすでに興味深いところですが一旦置いといてコードオブジェクトで調べられるものを確認します。
2~10のあたり、もうすでに興味深いところですが一旦置いといてコードオブジェクトで調べられるものを確認します。
まず、「クラス定義」を表すコードオブジェクトは定数として格納されているようです。定数はco_constsで表示できます。
>>> co.co_consts
(<code object Foo at 0x031936A8, file "<string>", line 2>, 'Foo', 123, None)
co_namesにコードで使われている「名前」が格納されています。
>>> co.co_names
('Foo', 'foo', 'method')
**クラス定義に踏み込む [#u256b392]
クラス定義はモジュール全体を表すコードオブジェクトの定数だったので、次にそれをdisってみます。
>>> dis.dis(co.co_consts[0])
2 0 LOAD_NAME 0 (__name__)
2 STORE_NAME 1 (__module__)
4 LOAD_CONST 0 ('Foo')
6 STORE_NAME 2 (__qualname__)
3 8 LOAD_CONST 1 (<code object __init__ at 0x03199A18, file "<string>", line 3>)
10 LOAD_CONST 2 ('Foo.__init__')
12 MAKE_FUNCTION 0
14 STORE_NAME 3 (__init__)
6 16 LOAD_CONST 3 (<code object method at 0x031992E0, file "<string>", line 6>)
18 LOAD_CONST 4 ('Foo.method')
20 MAKE_FUNCTION 0
22 STORE_NAME 4 (method)
24 LOAD_CONST 5 (None)
26 RETURN_VALUE
__init__メソッドの定義、methodメソッドの定義はさらに「クラス定義のコードオブジェクト」の定数です。それぞれ、1番目と3番目です。
>>> dis.dis(co.co_consts[0].co_consts[1])
4 0 LOAD_FAST 1 (x)
2 LOAD_FAST 0 (self)
4 STORE_ATTR 0 (x)
6 LOAD_CONST 0 (None)
8 RETURN_VALUE
>>> dis.dis(co.co_consts[0].co_consts[3])
7 0 LOAD_GLOBAL 0 (print)
2 LOAD_FAST 0 (self)
4 LOAD_ATTR 1 (x)
6 CALL_FUNCTION 1
8 POP_TOP
10 LOAD_CONST 0 (None)
12 RETURN_VALUE
ところでそれぞれのco_namesを見てみましょう。
>>> co.co_consts[0].co_consts[1].co_names
('x',)
>>> co.co_consts[0].co_consts[3].co_names
('print', 'x')
selfはいません。引数(と今回はないけどローカル変数)はco_varnamesに記録されています。
>>> co.co_consts[0].co_consts[1].co_varnames
('self', 'x')
>>> co.co_consts[0].co_consts[3].co_varnames
('self',)
なお、1番目(__init__メソッドに対応するコードオブジェクト)にはco_namesにもco_varnamesにも'x'がいますが、co_namesのは属性名、co_varnamesの方が引数名です。
しれっとローカル変数と書きましたがトップレベルの変数(fooなど)については少し特別な扱いになっているようです。
*おわりに [#mec2a46e]
今回はとりあえず手始めにクラス定義がどのようなバイトコードになるのかを確認しました。compile関数、disモジュールを使うと自分で構文解析→コード生成をしなくてもいいのでPythonプログラムに対するバイトコードが気になったら手軽に確認することが可能になります(そんな人あまりいない)
ところで、もちろんdisモジュールで出てくるのはPython処理系の詳細なわけですが、他のPython実装だとどうなってるんでしょうね。標準ライブラリと言っても標準仕様があるわけじゃないから付けるのは必須ではないと思いますが。コードオブジェクトも実装依存だと思いますし(そもそもドキュメントが見当たらない)