KotlinにおけるInterfaceの明示的実装は可能なのか

Question

お世話様です。現在Kotlinを学習中なのですが、
Kotlin1.2において、

例として以下のようなインターフェースが存在したとします。

interface Add{
    fun calc(a:Int,b:Int)=(a+b).toLong()
}

interface Sub{
    fun calc(a:Int,b:Int)=a-b
}

各々のインターフェースのメソッドが同名で、なおかつメソッドシグネチャが返却値の型のみ差が出ている場合、
下記のような、この双方を実装したクラスは作成可能なのでしょうか?

class Impl: Add, Sub {

}

Interfacesを参照したのですが、可否の記載を自分で見つけることが出来ませんでした。
ご存じの方がいらっしゃいましたら、ご教授頂けますでしょうか?

Answer 1

訂正：
失礼しました。質問意図をミスリードしてました。戻り値だけが異なるメソッドを両方継承するのは無理と思います。

---

参照しておられるまさにそのページに例が載っています。

interface A {
    fun foo() { print("A") }
    fun bar()
}

interface B {
    fun foo() { print("B") }
    fun bar() { print("bar") }
}

...

class D : A, B {
    override fun foo() {
        super<A>.foo()
        super<B>.foo()
    }

    override fun bar() {
        super<B>.bar()
    }
}

同じsignatureのメソッドを持つ異なるinterface A, Bを両方実装したクラス定義の例ですね。

Comments

[fuzzball]

クラスでも持てませんからね。

[Tokeiya3]

ご教授頂き有り難うございます!

最初の質問の書き方がマズく誤解を与えてしまいもうしわけございませんでした。

[KSwordOfHaste]

オーバーロードされたメソッドを解決できないから・・・というのがサポートされてない理由ですが、
Kotlin以外の言語も考えるとして、関数・メソッドのオーバーロードの解決に結果の型の違いをも加味できるような言語仕様ってあるんでしょうか・・・あるようなないような・・・
ただ、殆どの言語ではこれはできないことになってると思います。
---
呼び出し側で戻り値の型を特定できるような構文の導入は可能かも知れませんが、暗黙変換などの他の仕様と整合性を取るために不必要に言語仕様がややこしくなる気がしますし、それをやったとして設計上嬉しい点があまりなさそうに思います。
---
上のコメントはKotlinに関係ない脱線ですので気にしないでください。

[Tokeiya3]

私の主に扱っている言語がC#になるので、以下はKotlinではなくそちらの話になります。
予めご了承ください。

C#の場合、今回のようなシナリオの場合、実装するクラスは[明示的なインターフェイスの実装](https://docs.microsoft.com/ja-jp/dotnet/csharp/programming-guide/interfaces/explicit-interface-implementation)が、可能でしたのでKotlinだとどうなるのか気になった次第でした。

ーーー以下余談

整合性の見地から見た場合、呼び出し側がどのような修飾を行って呼び出したのかと言うことと、
実装側が既定で公開するメソッドを用意するか否か、及び任意のインターフェース経由によって呼ばれた際の実装を明示することで解決しているのかなと個人的には理解してます。

但し、おっしゃるとおり濫用が過ぎると意図しない方を呼び出す懸念はあるので、極力使わない方が良いとは思います。

[KSwordOfHaste]

なるほど多重継承のよりつっこんだサポートをしている言語ではできるんですね。言われてみるとC++でもできそうですね。
Javaとかそれに近いJVM言語ではC++/C#のような複雑な仕様になってなくてどちらかといえば継承仕様そのものは素朴な感じなので、単に「Kotlinはそういう仕様」と捉えるべきだったかと思いました。２つ上のコメントは少々視野がせまい感じです。スルーお願いします orz

Answer 2

可否の記載を自分で見つけることが出来ませんでした。

一発で見つかりましたが。

A class or object can implement one or more interfaces （強調は引用者）

Comments

[maisumakun]

すみません、ボケた回答をしてしまったのでこの回答は無視してください。

[Tokeiya3]

質問の仕方がマズく、質問の内容が明確でなく失礼致しました。

追記させて頂いたとおり、名前・引数が一致しており返却値の型のみが異なる場合実装が可能か否かを伺いたかった次第です。