継承、ジェネリック、およびプロトコルは、スウィフト

Question

に私は、フォームの一般的なクラスを持っている：

class BaseClass<T> { 
    var prop: T 
    ... 
} 

私は、フォームの複数のサブクラスを持っている：

class SubClassOne: BaseClass<SomeSubClass> { 
    ... 
} 

class SubClassTwo: BaseClass<SomeOtherSubClass> { 
    ... 
} 

型パラメータSomeSubClassとSomeOtherSubClassどちらも共通の基本クラスSomeBaseClassを継承しています。

ここで、SubClassOneとSubClassTwoの両方のインスタンスを格納する変数を定義します。値を代入しようとしたとき

var obj: BaseClass 
var obj: BaseClass<SomeBaseClass> 
var obj: BaseClass<Any> 

しかし、エラーCannot assign value of type 'SubClassOne' to type ...でエラーReference to generic type 'BaseClass' requires arguments in <...>、および他の2つの結果の最初の試みの結果：私は多くの可能性を試してみました。

var testArray = [SubClassOne(), SubClassTwo()] 

しかし、これでもエラー Heterogeneous collection literal could only be inferred to [Any]; add explicit type annotation if this is intentionalで、その結果、失敗しました：私も、配列を初期化することにより、私のためにタイプを推測するにスウィフトコンパイラをだましてみました。実際に、両方のサブクラスの格納に成功する唯一の型注釈は Anyまたは AnyObjectです。より具体的なタイプでこれらのインスタンスを格納することは可能ですか？そうでない場合、なぜですか？

これが重要な理由は、最終的には、格納された変数objからプロパティpropを取得したいということです。 objがAnyとして保存されている場合は、私はそうすることができません。また、プロパティにアクセスしようとしているメソッド自体が汎用メソッドであり、キャストするSubClassOneまたはSubClassTwoのどちらがメソッドのジェネリック型パラメータに依存するので、単にSubClassOneまたはSubClassTwoにキャストできません。

func castObj<T>(asType: T.Type) { 
    (self.obj as? T).prop 
} 

castObj(asType: SubClassOne.self)またはcastObj(asType: SubClassTwo.self)と呼ばれるものです。しかし、私たちは同じ問題に遭遇します：SubClassOneとSubClassTwoの両方を受け入れる定義できる唯一のジェネリック型パラメータの制約はAnyであり、SwiftコンパイラはValue of type 'T' has no member 'prop'という文句を言います。 Iは所望の特性をカプセル化プロトコルを定義しようとした回避策として

：

protocol HasProp { 
    var prop: SomeBaseClass { get } 
} 

そしてIはSubClassOneとSubClassTwoの宣言にこれを追加しました。しかし、これはさらに別のエラーが発生しました：Type 'SubClassOne' does not conform to protocol 'HasProp'。 SubClassOneとSubClassTwoの両方がpropからBaseClass<SomeSubClass>に継承されているので、実際にはプロトコルに準拠しているので、私も混乱します。要約すると

：

1. がBaseClassのプロパティへのアクセスを提供し、より具体的なタイプでSubClassOneとSubClassTwoのインスタンスを格納することが可能ですか？そうでない場合、なぜですか？
2. なぜサブクラスはプロトコルに準拠していないのですか？
3. 希望の動作を達成するためにデザインを変更するにはどうすればよいですか？

Answer 1

現時点では、関数castObjには、汎用パラメータの型制約がありません。Tです。 BaseClassの型制約を与えることで、BaseClassに両方のプロパティがあるので、うまくいくはずです。あなたの例では

func castObj<T: BaseClass>(asType: T.Type) { 
    (self.obj as? T).propOne 
    (self.obj as? T).propTwo 
} 

Answer 2

、propTwoのタイプは、両方のサブクラスに共通だったとpropOneの種類を専門にされました。あなたのデザインを反映させる。

[た]

class BaseClass<T,U> { 
    var propOne: T 
    var propTwo: U 
    ... 
} 
class SubClassOne: BaseClass<SomeSubClass, SomeClass> {} 
class SubClassTwo: BaseClass<SomeOtherSubClass, SomeClass> {} 

ポイントは、基本クラスに共通のものを維持し、あなたの専門分野を構成することである

class BaseClass<U> { 
    var propTwo: U 
    ... 
} 
class SubClassOne<T>: BaseClass<SomeClass> { 
    var propOne: T 
    ... 
} 
class SubClassTwo<T>: BaseClass<SomeClass> { 
    var propOne: T 
    ... 
} 

[可能性]。

Answer 3

SubclassOneとSubclassTwoが同じ継承階層にあるという根本的な誤解があります。ジェネリック型のため、異なる基本クラスから継承します。それらを混ぜ合わせて一致させることはできません。

考えてみてください。継承を使用すると、あなたのテストの例ではので、あなたは、基本クラスを持ってどこにでも任意のサブクラスを使用することができるはずです。

var testArray = [SubClassOne(), SubClassTwo()] 

は、以下の式の右辺はあることをどのようなタイプを持っているでしょうか？

testArray [0] .prop =何か

そして、この1

testArray [1] .prop =何か。 SubClassOneで

、propのタイプはSomeSubClassとSubClassTwoにpropのタイプは、SomeOtherSubClassなければなりません。

propがSomeBaseClassと宣言されており、BaseClassが汎用である必要がなくなりました。

編集

ないのはなぜプロトコルの仕事？

このプロトコルの問題は、プロパティを基本クラスの型として定義することですが、読み書きが可能です。プロトコルの実装におけるプロパティは、サブクラスのうちの1つに特化したプロパティを持つコントラクトを満たすことができません。なぜなら、他のビットのコードは、ベースクラスのインスタンスをそのプロパティに割り当てる必要があるからです。

protocol MyProtocol 
{ 
    var prop: BaseClass 
} 

struct MyImplementation: MyProtocol 
{ 
    var prop: SubClass 
} 

class BaseClass {} 
class SubClass: BaseClass {} 
class DifferentSubClass: BaseClass {} 

var instance: MyProtocol = MyImplementation() 

instance.prop = DifferentSubClass() 
// Should be legal because the protocol says so but the type of prop in instance is SubClass.