なぜ汎用代数データ型はメンバ型に `T`を必要としますか？

Question

私はこのように私のparse機能で使用するための一般的な代数的データ型を定義したい：Tはその後、未定義の参照であるよう

sealed class Result<T> { 
    class Success(val value: T, val pos: Int) : Result<T>() 
    class Failure(val message: String, val pos: Int) : Result<T>() 
} 

fun <T> parse(t: Parser<T>, input: String, initialPos: Int = 0, collectErrors: Boolean = true) : Result<T> { 

しかし、これは許可されていません。

私はそれが動作すべてのメンバー・タイプにTを追加する場合：

sealed class Result<T> { 
    class Success<T>(val value: T, val pos: Int) : Result<T>() 
    class Failure<T>(val message: String, val pos: Int) : Result<T>() 
} 

私にはこれは私が、私はここで何かが欠けています信じていますこれはやや混乱しています。最初のケースでメンバータイプを定義するときにTが表示されないのはなぜですか？

Successのインスタンスを作成するときに、私は構文があることを期待するほか

：

Result<T>.Success<T>(tv.someValue, pos) 

しかし、それが代わりに動作しません、私はこれを実行します。

Result.Success<T>(tv.someValue, pos) 

これが望ましい構文ですが私にはなぜ結果をTに残すべきかを理解するのに苦労しています。

Answer 1

ResultがTという名前の単一の汎用パラメータを使用して、一般的なクラスでありますただし、クラス名はですが、Result<T>ではありません。

Successも汎用クラスです。したがって、汎用的なので、Success<T>と定義する必要があります。あなたがしなければ、それはもはや一般的ではありません。 Resultの汎用クラスであるサブクラスであっても、非ジェネリック型である可能性があります。たとえば、

class Success(val value: String, val pos: Int) : Result<String>() 

結果と失敗は一般的なものですが、何にも使用されません。だから、あなたが実際に今

sealed class Result { 
    class Success<T>(val value: T, val pos: Int) : Result() 
    class Failure(val message: String, val pos: Int) : Result() 
} 

としてあなたのクラスを定義することができ、なぜあなたは Result.Success<T>(tv.someValue, pos)なく Result<T>.Success<T>(tv.someValue, pos)を使用する必要がありますか？

クラス名はResult.Successです。パラメータ型はクラス名の一部ではありません。

val r = Result.Success("foo", 1) 

はSuccess<String>のインスタンスを作成します。それが推測されますので、時間のほとんどは、それがすべてで、それを指定する必要はありません。あなたの代わりにSuccess<CharSequence>を作成したい場合は、明示的にジェネリック型を指定する必要があります：あなたの例では

val r = Result.Success<CharSequence>("foo", 1) 

または

val r: Result.Success<CharSequence> = Result.Success("foo", 1) 

Answer 2

ルールはJavaと同じです。基本的には、Resultの静的ネストクラスであるSuccessとFailureになります。 Kotlinには「メンバ型」はありません。静的なネストされたクラスは、外部クラスのスコープにアクセスできる通常のクラスです。また、クラスが汎用スーパークラスを継承している場合は、汎用タイプのパラメータを常にバインドする必要があります。

対照的に、静的でないネストされたクラス（innerキーワードで示される）は、常に外部クラスのジェネリック型パレメーターを保持します。

open class Foo<T> { 
    inner class Bar : Foo<T>() 
} 

をあなたはFooのインスタンスを持っている必要がありますBarをインスタンス化するには：あなたは次のタイプの階層を構築することができますこの方法

val b = Foo<String>().Bar() 

Answer 3

を三つの異なる汎用パラメータではなく、1があります。私。あなたのコードは同等です：

sealed class Result<I> { 
    class Success<A>(val value: A, val pos: Int) : Result<A>() 
    class Failure<B>(val message: String, val pos: Int) : Result<B>() 
} 

しかし、どのように他の回答に言及、あなたはIとBパラメータを使用していないので、それらは省略されるように優れています。

Answer 4

あなたはこのようなアウト分散を使用する場合は、

sealed class Result<out T> { 
    data class Success<out T>(val value: T, val pos: Int) : Result<T>() 
    data class Failure(val message: String, val pos: Int) : Result<Nothing>() 
}