Swiftのletとvarの挙動とappendについて

kmizu @kmizu

コメントDone d.hatena.ne.jp/xuwei/20140611… この点に関しては @camloeba さんも誤解してらしたようなのでSwift本を引用してコメントした。

Jun Furuse 🐫🌴 @camloeba

@kmizu おやおや！あとで読んでみますね！

Κeіsuke Νakanο @ksknac

@kmizu 最初の箇条書きのmutableとimmutableは逆じゃないですかね…

kmizu @kmizu

@ksknac コメント直しましたー d.hatena.ne.jp/xuwei/20140611…

Jun Furuse 🐫🌴 @camloeba

@kmizu ちょっとよくわかんないです。immutable な配列でサイズは変更できないが要素は変更できる、というのは OCaml の let x ＝ [|1; 2|] でも同じことなんで、そこに違和感は感じないわけですけど。

kmizu @kmizu

@camloeba あ、えーと、OCamlの配列は束縛される変数の宣言に関わらず元々mutableですよね（オブジェクトそのものが変更可能という意味で）。Swiftは宣言側にletがあるかどうかで配列のmutabilityそのものが変わるのが決定的に違う点かと。

kmizu @kmizu

@camloeba 元々の例では出てこなかったですけど、全部varで宣言されていれば（この場合、b.append(5)もaに反映される)こんな変な挙動は発生しなかったという点がML(OCaml)と異なる点じゃないかと。

がくぞ @gakuzzzz

@kmizu 僕も最近おなかがヤバス…ｗ 逆に考えましょう！このおなかはnull安全なコードを書いている証左だと！ｗ

ともくんのママ @uasi

@kmizu “If you assign an Array instance to a constant or variable, … both arrays share the same sequence” とあるので var と let で挙動が変わるわけではなさそうです

pes @pesblog

@kmizu @camloeba 全部varで宣言してみましたけどこんな結果になりました。 gist.github.com/pesblog/7d23a5…

kmizu @kmizu

@pesblog @camloeba な、なんと…。ドヤ顔してたのが恥ずかしい結果になりました。

Jun Furuse 🐫🌴 @camloeba

@kmizu ドキュメントにそんなこと書いてないようですけど var に append して diverge してるよ developer.apple.com/library/prerel…

がくぞ @gakuzzzz

@kmizu さっきから水島さんの誤変換に変な笑い声が出そうになって危険があぶないです！ｗｗｗ

pes @pesblog

@kmizu @camloeba おもしｒ…変な仕様ですけど一貫性がありますね。Array.appendは元の配列をコピーしつつ要素を追加して上書きするってことですね。

Jun Furuse 🐫🌴 @camloeba

@kmizu 俺みたいにドキュメント読まずにノーガード戦法なら、すまん読まずに挙動どなってんのか予測してみたけど外れたで済む(済むのか

kmizu @kmizu

@camloeba 自分は読んでノーガード戦法でしたorz やはり念のためSwift処理系を(developer登録して）入手しておくべきだったか…！！

kmizu @kmizu

@uasi その点に関して“if you assign an array or a dictionary to a constant, that array or dictionary is immutable, and its size cannot be changed.”

kmizu @kmizu

@uasi と書いており、letとvarで挙動が変わるよう（な表現）に見えます。

kmizu @kmizu

ドヤ顔してSwitf本参照しながらコメント書いてた30分くらい前の俺を消し去りたい

ぐるぐる系SQL @bleis

俺の理解: Swiftのlet/varは、Scalaのval/varと同じように、その変数自体への再代入の可否だけではなくて、mutating付きのfuncが呼べる/呼べないというC++のconstとconst関数的なものもあるんじゃなかろうか #妄想

kmizu @kmizu

反省してSwiftには今後手を出さない！！！（違う

ぐるぐる系SQL @bleis

C++はconst(つまりimmutable)が特別扱いされるのに対して、Swiftはmutating(つまりmutable)が特別扱いされる、みたいな？ #妄想

ともくんのママ @uasi

@kmizu ああ確かにそのような挙動をしますね、失礼しました

Jun Furuse 🐫🌴 @camloeba

@kmizu あのブログ記事は俺ビンボだしドキュメントのリンクも探せないので(今は見つけた)、勝手にあのコードの出力だけからオッカムの剃刀的に中で何が起こってるか勝手に推測してみたよ！というネタなので剃刀がするどすぎて間違ってるかもしれないよ

剣 @turugi_iti

ざっとみ Swift の言語仕様これ原型 ActionScript じゃねーか wwww というツッコミ... rekkacopy.com