Swift 数値と文字列の比較時のエラーについて

Question

非常に基本的なことだと心苦しいのですが、

print(3 == "3")

上記のコードを実行すると

ambiguous reference to operator function '=='

というエラーが出るのですが。
翻訳すると「演算子関数「==」へのあいまいな参照」
となるのですが何を意味しているのかつかめません。
これはどういうエラーでしょうか。

Answer 1

SwiftではJavascriptみたいに変数の型を動的に変更するような事はできず、違う型の間での比較は原則行えません。明示的に型変換する必要があります。そういう開発思想の言語だからです。

Swiftのコンパイラは、型推論をします。ビルド時に、3や"3"といったリテラルの型を、推定して一つに固定します。このために、いちいちIntは1、Floatは1.0などと書き分けなくてもよくなっています。
今回も推定してみたけれど、3や"3"の型を特定できなかったので、ambignousというエラーにしているんだと思います。

余談ですが、==演算子の実体は関数です。3 == "3"と書いたら、3と"3"を引数にとる==関数を探します。"3"はStringかCharactorだろうし、3はIntかFloatかDoubleか、その他いっぱいありますが、どれかに一致する==関数があったらそれにします。複数あったらエラーになるかと思いましたが、実際にはならなくて、どれかが使われます。

関数なので、IntとStringを比較するような==関数を作ることも可能です。可能ですが、やらないほうがいいです。余程上手に設計しないと、想定していない動作をするようなコードになってしまい、保守性や可読性が下がると思います。また、プロトコル指向言語であるSwiftはEquatableというプロトコルを用意していて、それは同じ型のもの同士の比較を前提としています。独自の型についてEquatableに準拠するのは良いアイデアですが、違う型同士の比較をサポートするのはSwift的でないと思います。

Comments

[moriman]

回答を頂きましてありがとうございます。
頂いた情報を元に調べて見ようと思います。

Answer 2

print(3 == "3")
ambiguous reference to operator function '=='

たぶんIntとStringが一致しているかを判定する等価演算子が定義されていない、というニュアンスのエラーだと思います。

Swiftは違う型同士の比較はほとんど出来ないので（暗黙的にやってくれるものもあった気がしますが）、文字列なら文字列同士、整数なら整数同士の比較しか出来ないと思ってもらって良いです。

Comments

[moriman]

回答を頂きましてありがとうございます。
そういう意味合いだったんですね。納得しました。

Answer 3

数値と文字列という別個のものを比較しようとしているためのエラーです

千円札と１０００と書いてある子供銀行券をもってきてこれは同じものか？とひとに聞いてるようなものです。
どっちも１０００と書いてある！と強弁したい気持ちはわからんでもないですが、それではダメです

Comments

[moriman]

回答を頂きましてありがとうございます。
なんとなくそうかなあとは思ったのですが、筋としてはエラー内容を見てエラーを解決する方が良いかな、
と思いまして、このエラーの意味を質問してみたのですが、あまり深く踏み込まない方がいいですかね?

[y_waiwai]

エラーメッセージの意味的には何を比較してるのかわからん、ってもんでしょうね
まずはエラーメッセージを読んで、それが何を意味するのかを理解するのが最初にすることです
慣れてくると、このメッセージはこの間違いだ、というのが直感的にわかるようになります（場数を踏む、ともいうｗ）
がんばってください

[fuzzball]

エラー内容を見て‥ということなら、ビルドログを見ればもう少し詳しく書かれています。（抜粋）

>>Swift.BinaryInteger:2:24: note: candidate requires that 'String' conform to 'BinaryInteger' (requirement specified as 'Other' == 'BinaryInteger')
>>Swift.StringProtocol:1:11: note: candidate requires that 'Int' conform to 'StringProtocol' (requirement specified as 'Self' == 'StringProtocol')

（追記）
と思ったら、普通にエラー表示されてますね。