は、私が以前にC＃での再帰的なジェネリッククラスを宣言したスウィフト

Question

に再帰的なジェネリック型を宣言することはできません。その理由は、commandSetTをこの基本タイプのサブクラスにする必要があるからです。

public class CommandSet<commandSetT, commandT : Command> : CommandSetProtocol 
      where commandSetT : CommandSet<commandSetT, commandT>, 
      commandT : Command 
{ 

} 

しかし、コンパイラはスーパークラス制約が再帰的であると不平を言っています。

私はcommandSetTはこのクラスのサブクラスであることを確認したいので、まあ、はい、それはです。

別に「うまくスウィフトは、C＃ではありません」のような明白なコメントから、私は本当にこの要件を強制する方法任意のアイデアを持っている人から話を聞くしたいと思います。

Answer 1

私は同じ問題を抱えていたし、私は自分自身のためにいくつかの解像度を見つけた - だけでなく、あなたを助けるかもしれない：

protocol A : class { 
    associatedtype AType 

    var aVar: AType? { get } 
} 

protocol B : A { 
    associatedtype BType : A 
} 

class Test<AType> : B { 
    typealias BType = Test<AType> 

    var aVar: AType? 
} 

class Overriding : Test<String> { 
    typealias BType = Overriding 
} 

が、それはない作品を行い、あなたが

var aVar: AType? { get } 

宣言を削除した場合、私は「ドン