質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

87.61%

「Pythonでは、代入するときはすべて参照渡しだ」と本に書いてあったのですが、イミュータブルなオブジェクトは代入するときに値渡しですよね...

解決済

回答 3

投稿 編集

  • 評価
  • クリップ 1
  • VIEW 1,768

score 38

「Pythonでは、代入するときはすべて参照渡しだ」と本に書いてあったのですが、イミュータブルなオブジェクトは代入するときに値渡しですよね。
では、本に書いてあった「Pythonでは、代入するときはすべて参照渡しだ」という記述は嘘ですよね。

多くのサイトで、「Pythonでは、代入するときはすべて参照渡しだ」と書いてあるのですが、なぜそうではないのにそんなことを書いているのですか。なにか意図があったりするのでしょうか...

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • quickquip

    2019/02/12 19:06

    なんという本のどこに書いてありますか? 正確な文言も知りたいです。

    キャンセル

回答 3

+9

「~渡し」は関数呼び出しの際の言葉なので、そもそも適切な語の使用ではありませんがそれはともかく。


代入だろうと関数呼び出しだろうと、すべて参照です。

>>> i = 1
>>> id(i)
9169088
>>> j = i
>>> id(j)
9169088
>>> def f(x):
...     print(id(x))
... 
>>> f(i)
9169088

id関数については以下を参照。
2. 組み込み関数 — Python 3.6.5 ドキュメント | id


イミュータブルなオブジェクトは代入するときに値渡しですよね。

そういう仕様はpythonにはありません。immutableだからといって、mutableなオブジェクトと扱いが区別される訳ではありません。

JavaやPHPなどプリミティブ型と参照型で扱いを変える言語があるので、もしかしたらそれらと混同しているのかもしれませんが、pythonの仕様をプリミティブ型と参照型という用語で説明するなら「すべて参照型で、プリミティブ型は存在しない」ということになります。


たしかに値渡しかな? と思うこともあります。

>>> def f(x):
...     x = x + 1
... 
>>> a = 10
>>> f(a)
>>> a
10

これをちゃんと説明しようとすると長くなるので大まかな流れだけ説明すると、pythonの足し算は、通常左側のオブジェクトの__add__メソッドが呼ばれる仕組みになっています。x + 1x.__add__(1)として扱われます。__add__がオブジェクト自身を書き換えるように実装することも不可能ではありませんが(mutableなオブジェクトなら)、通常は結果を表す新たなオブジェクトを返すようになっています。その結果のオブジェクトをローカル変数のxに束縛する……というのがfの中のx = x + 1の挙動です。この処理は呼び出し時の実引数(オブジェクトaないし10)には何ら影響を及ぼさないことがわかるかと思います。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/02/12 23:04

    以前にたような話題で参照渡しとか値渡しというよりcall by sharingという言葉の方がいいんじゃないかという話が出て「なるほど確かにそうかも」と思いました。どうも参照渡しっていわれると

    def f(ref):
     ref = 1
    v = 2
    f(v)
    print(v) # 1が印字される?

    というイメージを持ってしまうのです。もちろんpythonではそういう意味での「参照わたし」の機能はありません。どちらかといえばmaisumakunさん回答のように「参照値を値渡ししている」というイメージの方がしっくりきます。また引数に渡す際に一々インスタンスのコピーはされず渡したインスタンスそのものの参照値が渡されてそのインスタンスの属性を変更したら呼び出し元も当然影響を受けるということをも含めてcall by sharingでいいんじゃないかと落ち着いた・・・ような曖昧な記憶がw;

    キャンセル

  • 2019/02/13 00:37 編集

    C++やJavaの人がそれをどう呼ぶかは勝手ですが、Pythonとかスクリプト言語の多くはたぶん参照値の概念がないので、参照値ありきの参照の値渡しを使うのは違和感あるなー・・・と。
    (そもそもコンパイル言語的なメモリ領域のalias「変数」すらなくPythonの変数はただの名前空間のキー。なので参照型変数では変数に参照値が格納されている的な議論と噛み合わない)

    キャンセル

  • 2019/02/13 01:34

    ここでの「参照渡し」とか「値渡し」という用語は特定の言語の用語というより、異なる複数の言語の間の機能の比較をする上でいわば仕様を表す用語として考えたくなる気がしたのです。たしか以前似た議論があったとき
    https://en.wikipedia.org/wiki/Evaluation_strategy#Call_by_reference
    こんな説明をみて参照渡しだとはいいにくいかなぁと感じたように思います。尤もそのあたりどんな用語が何を意味するかあまり議論しても・・・と思いますので、あくまで質問者さんの疑問が解消できてみなさんが違和感を持たなければよいと思います。ぶっちゃけ用語云々より「実際はどういう意味か」がちゃんとわかっていることの方が大事ですものね。

    キャンセル

checkベストアンサー

+2

「Pythonでは、代入するときはすべて参照渡しだ」

厳密に言えば、参照の値渡しです。「変数としては別だけどオブジェクトは共通」というものです。

イミュータブルなオブジェクトは代入するときに値渡し

そうかも知れませんが、それは実装の最適化でたまたまそうなっているだけ、とも解釈できます。

イミュータブルなオブジェクトであれば、参照を渡そうが値として渡そうが、どちらにしても破壊的変更は不可能なので、Pythonコード上からはどちらでも動作に差はありません

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/02/12 22:03

    値を渡すつまりコピーが発生すれば別オブジェクトになるので、Pythonコード上で違いが出てくるケースがあるのでは?

    キャンセル

  • 2019/02/12 23:11 編集

    maisumakunさん回答での「イミュータブルなオブジェクトの値渡し」はPythonの実装がどうこうではなく「言語仕様からいってどちらで実装しても同じ意味になるから気にしなくていいんじゃない?」という話だと解釈しました。実際にはコピーが渡されることは決してないと思います。それを意識する必要があるかどうかは個人的には「ある」です。callerが渡した引数インスタンスの参照をcalleeがどこかに覚えていたら必ずcallerにとって影響がでますよね。つまり引数に渡したインスタンスが解放されなくなる可能性が出てくるという意味で。それはimmutableかどうかとは独立した問題だと思います。
    (otnさんコメントを拝見してそんなことを思いました)

    キャンセル

  • 2019/02/12 23:31 編集

    otnさんの指摘するような「Pythonコード上で違いが出てくるケース」と、実際の動作。
    >>> a = 10
    >>> (lambda x: x is a)(a)
    True
    値渡しならFalseになります。

    実際には、KSwordOfHasteさんの「実際にはコピーが渡されることは決してない」が正しいです。
    >前提として、Python では引数は代入によって渡されます。
    https://docs.python.jp/3/faq/programming.html#how-do-i-write-a-function-with-output-parameters-call-by-reference

    キャンセル

0

immutable なオブジェクトは変更しようとしたタイミングで別オブジェクトとして複製されるコピーオンライト戦略をとっています。

Wikipediaより引用

複製を要求されても、コピーをした振りをして、とりあえず原本をそのまま参照させるが、ただし、そのままで本当に書き換えてはまずい。原本またはコピーのどちらかを書き換えようとしたときに、それを検出し、その時点ではじめて新たな空き領域を探して割り当て、コピーを実行する。これが「書き換え時にコピーする」、すなわちコピーオンライト (Copy-On-Write) の基本的な形態である。
コピーオンライト

実際、以下のようにこの挙動を確認できます。
id() でオブジェクトの識別子が取得できるので(Cでいうオブジェクトのアドレスと思えばよい)
これで確認してみると、

a = 1  # int は immutable
print(id(a))  # 9145152
b = a
print(id(b))  # 9145152 この時点で a と指す実態は同じ
b = 2 # immutable なオブジェクトを変更しようとすると....
print(id(b))  # 9145184 a とは別のオブジェクトとなる

変更するまでは a と b のオブジェクトは同じであることがわかります。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/02/12 19:10 編集

    これはコピーオンライトとみなすべきなのでしょうか?
    b = 2 # immutable なオブジェクトを変更しようとすると....
    のコメントが疑問点で、eval("2")相当のことをして結果をbという名前に束縛しているだけ、と捉えていましたが・・・

    キャンセル

  • 2019/02/12 19:31

    言われてみたらコピーオンライトは関係ないですね。。
    勘違いしてました。ありがとうございます。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 87.61%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る

  • トップ
  • Pythonに関する質問
  • 「Pythonでは、代入するときはすべて参照渡しだ」と本に書いてあったのですが、イミュータブルなオブジェクトは代入するときに値渡しですよね...