scala - Scala で適用可能な暗黙の変換を見つける

Question

暗黙の変換も持つ Coq 証明アシスタントでは、コマンドを使用して暗黙の変換を検索できます。このSearchAbout Tコマンドは、その型に含まれるすべてのものを返しますT(これには、 への変換または からの変換が含まれますT)。

Scala プログラマーが型への、または型からのすべての変換を見つける方法はありますか? 変換は、変換元または変換先の型を定義するプロジェクトの外部で定義される場合があることに注意してください。

Answer 1

2 つの参照型 S と T の間の現在のスコープに変換が存在するかどうかをすばやく確認するには、次のように入力します。

((null:S):T)

コンパイルされるかどうかを確認します。Eclipse Scala IDE >= 2.1M2 では、環境設定で暗黙的な強調表示が有効になっている場合、どの変換が呼び出されたかを確認できます。

もちろん、これには両方の型を推測する必要があり (ただし、変換先と変換元についてはすでに明確な考えがあるでしょう)、変換が既にスコープ内にある必要があります。