問題タブ [scala-generics]

次のコード スニペットをご覧ください。

次のエラーが表示されます。

型の不一致; 見つかった: Int(1) 必要: T

T を Any を拡張するように宣言したのに、なぜコンパイラは文句を言うのでしょうか? Int は Any のサブタイプですね。

どうもありがとう！

更新: 2.9.16:

DStream[Int] から拡張するように変更されましたが、それでも同じエラーが発生します:

編集: 2.9.16:

アレクセイのおかげで、これは実用的なソリューションです:

フィールドがジェネリック クラスに存在するかどうかを確認しようとしています。

どうすればこれを実装できますか??

したがって、これはこのJavaの質問をscalaにかなり直接移植したものです

次のように、ジェネリック パラメータを使用する多くのトレイトがあります。

これは機能しますが、Entity のサブクラスを定義するときに Ident の型と Container の型を指定する必要があるため、少し扱いに​​くいです。実際には、コンテナの型だけで十分な型情報になる場合:

存在型を使用すると、Entity が 2 つのパラメーターを受け取る必要がなくなりますが、もちろん後で参照することはできません。

同様に、メンバー型を使用するように変換しても機能しません...

Scalaでこの問題に対するエレガントな解決策があるかどうか、誰かが知っていますか?

タイプに拡張メソッドを追加しようとしSerializableていますが、クラスの理解に穴があるようです。ここに私がやろうとしていることの基本のスニペットがあります:

List伸びるSerializable

行n.isSerがコンパイルされないことは明らかですがln.isSer、その「内部」タイプが NoSer であるため、コンパイルもすべきではないようです。Serializeableの内側の型になんらかの強制がありlnますか? 私は絶対におかしなことをしようとしていますか??

以下のコードには、Ball を期待する fetch と呼ばれるメソッドを持つ DogSearcher があります。Bell を予期する fetch メソッドを持つ CatSearcher を使用することもできます。アイデアは、PetSearcher から継承するインスタンスで fetch を呼び出し、それに異なる引数を提供できるということです。

私が見逃しているものはありますか？

scala でジェネリックを使用しているときにエラーが発生する:

エラー：