見出し画像

Python 3: Deep Dive (Part 1 - Functional): 共有参照 (セクション3-2/11)

Hafnium

  • Pythonでは不変オブジェクト（例：文字列）は関数に渡しても変更されないため安全だが、可変オブジェクト（例：リスト）は変更される可能性がある。

  • 共有参照によって、複数の変数が同じメモリ上のオブジェクトを指すことがあり、これにより意図しないデータ変更が発生する可能性がある。

  • Pythonではすべてがオブジェクトであり、関数や演算子もオブジェクトとして扱われ、変数に代入したり関数に渡したりできる。

Python 3: Deep Dive (Part 1 - Functional)コースのセクション3、レッスン22から25では、Pythonが変数、メモリ、オブジェクトのアイデンティティをどのように扱うかに関する基本的な概念が取り上げられています。これらのレッスンは、特に関数の引数、可変性、共有参照に関する理解が求められる、すべてのPython開発者にとって重要な洞察を提供しています。ここでは、これらのレッスンから得られる重要なポイントを解説します。

1. 関数の引数と可変性

Pythonで変数を関数に渡す際には、可変性と不変性の理解が重要です。不変オブジェクト（たとえば文字列など）は、一度作成されると変更することができません。たとえば、文字列を関数に渡して変更しようとすると、Pythonは元のオブジェクトを変更するのではなく、新しいオブジェクトをメモリに作成します。これにより、不変オブジェクトは関数に引数として渡された場合、意図しない副作用から保護されます。

以下の関数を考えてみましょう:

def process(s):
    print(f'Initial s # = {hex(id(s))}')
    s = s + ' world'
    print(f's after change # = {hex(id(s))}')

この関数に文字列を渡すと、変更前後で文字列のメモリアドレスが異なることがわかります。これは、新しい文字列オブジェクトがメモリに作成されるためで、元の文字列は変更されません。不変オブジェクトの安全性が示されています。

一方で、リストのような可変オブジェクトは異なる動作をします。リストを関数に渡して変更すると、その変更は関数外の元のリストにも影響を与えます。これは、リストのメモリアドレスが変わらないためで、関数は同じメモリ内のオブジェクトを操作するからです。

以下の例を見てみましょう:

def modify_list(items):
    print(f'Initial items # = {hex(id(items))}')
    items[0] = items[0] ** 2
    items.pop()
    items.append(5)
    print(f'Final items # = {hex(id(items))}')

この場合、リストのメモリアドレスは一貫しており、関数が元のリストを変更していることを示しています。これにより、意図しない副作用が発生する可能性があるため、管理に注意が必要です。

2. 共有参照と可変性

共有参照の概念も、このセクションで取り上げられる重要なトピックです。共有参照は、複数の変数がメモリ内の同じオブジェクトを指している場合に発生します。これは、変数を別の変数に代入したり、関数に引数として渡したりする際によく見られます。

たとえば:

my_list_1 = [1, 2, 3]
my_list_2 = my_list_1

この場合、`my_list_1`と`my_list_2`の両方が同じリストオブジェクトをメモリ内で指しています。`my_list_2`を通じてリストを変更すると、`my_list_1`からアクセスしたときにもその変更が反映されます。これは、両方の変数が同じ参照を共有しているためです。

Pythonのメモリ管理は、不変オブジェクト（整数や文字列など）に対して自動的に共有参照を処理し、共有参照による意図しない変更が発生しないようにします。しかし、可変オブジェクトを扱う際には、共有参照を意識してデータの変更に注意を払う必要があります。

3. 変数の等価性：アイデンティティと値

変数を比較する際、Pythonはメモリアドレス（アイデンティティ）を比較する方法と、内容（値）を比較する方法の2つを提供しています。

  • アイデンティティの比較: `is` 演算子を使用して、2つの変数がメモリ内の同じオブジェクトを指しているかどうかを確認します。

  a = [1, 2, 3]
  b = a
  print(a is b)  # True

  • 値の比較: `==` 演算子を使用して、2つの変数が同じ内容を持っているかどうかを確認します。これは、たとえ異なるメモリアドレスを持つオブジェクトでも、内容が同じであれば等しいとみなします。

  c = [1, 2, 3]
  d = [1, 2, 3]
  print(c == d)  # True
  print(c is d)  # False

これらの比較方法の違いを理解することは、特に可変オブジェクトや不変オブジェクトを扱う際に、コードの動作に影響を与えるため、非常に重要です。

4. Pythonではすべてがオブジェクト

Pythonの最も強力な概念の一つは、すべてがオブジェクトであるということです。これには、データ型、関数、クラス、演算子などが含まれます。つまり、Pythonのすべての要素には型があり、変数に代入したり、関数に渡したり、関数から返したりすることができます。

たとえば、関数自体がオブジェクトであり、変数に代入したり、引数として渡したりすることができます:

def square(a):
    return a ** 2

f = square
print(f(2))  # 出力: 4

ここでは、`f`が`square`関数への参照となり、Pythonの柔軟で動的な性質が示されています。

結論として、*Python 3: Deep Dive (Part 1 - Functional)*コースのレッスン22から25では、Pythonが変数とメモリをどのように処理するかに関する深い理解が得られます。これらの概念は、効率的でバグのないコードを書くために重要であり、特に可変オブジェクトや関数の引数を扱う際には不可欠です。Pythonの機能的な側面をさらに探求する中で、これらの基本的な原則は、より高度なトピックにおいても重要な役割を果たすでしょう。

「超本当にドラゴン」へ

この記事が気に入ったらサポートをしてみませんか？