Swiftの関数おける参照渡し（inuout引数）について

Question

Swiftで参照渡しと値渡しがわからなくなってきたため、自分で下記の様なsampleコードを考えてみました。

import UIKit

var x = 200

func change (_a: inout Int) {
    var a = 100
}

change(_a: &x)

print(x)

inout引数を設定することや、呼び出し側で実引数に&を付加することで実行できると考えており、print(x)の結果は100になることを期待したのですが、実際には200のままでした。

もちろん値渡しをしている以下のコードでも200のままです。

import UIKit

var x = 20

func change (_a: Int) {
    var a = 10
}

change(_a: x)

print(x)

参照渡しをしているにも関わらず、変数の中の値が置き換わらない理由がわかる方がいらっしゃればご教示いいただければ嬉しいです。

よろしくお願い申し上げます。

Answer 1

print(x)の結果は100になることを期待したのですが

どうしてそう考えたのでしょうか。この関数内で、引数として渡された_aには、何の操作も行っていません。aと_aは無関係な変数です。

Comments

[pegy]

申し訳ございません、仮引数にラベル省略の_ aを設定して、関数の中でvar aとするのは間違いですね。
以下のコードで参照渡しを確認することができました。ありがとうございます。
var x = 200
func change (_ a: inout Int) {
a = 100
}
change(&x)
print(x)

[pegy]

すみません、最後に値渡しで200のまま返されることを確認しようと、以下のコードで試そうとしたのですが、"Cannot assign to value: 'a' is a 'let' constant"とうエラーが出力され、調べるとaは定数として定義されていて、値を割り当てることができないことによるコンパイルエラーでした。

仮引数は無条件に定数として扱われてしまうのでしょうか？又、仮にその場合、参照渡しの場合なぜコンパイルエラーが出ないのかとも思ったのですが、あくまでポインタ的なものを伝達しているだけで、変数自体を書き換えているわけではないからということなのでしょうか？

import UIKit

var x = 200
func change (_ a: Int) {
a = 100
}
change(x)
print(x)

[TsukubaDepot]

pegyさんは「詳解Swift」を持っていらっしゃったと思いますが、このことについては45ページ「引数の値は関数内で変更できない」のところに記述されています。
参照渡しにしても、「参照先の値」を書き換えるのであり、「参照先」を書き換えるわけではないと言う点に注意するといいかと思います。

[pegy]

いつもありがとうございます。本件まさに、文献の44Pを勉強しているところで、質問を差し上げたところでしたので、45Pを一旦熟読してみます！
よろしくお願い申し上げます。