Swift Generics（タイプ置換？）

Question

これは孤立した例なので、あまり役に立たないように見えるかもしれませんが、とにかく、なぜうまくいかないのでしょうか？どんな洞察も高く評価されました。

protocol Prot: class { 
    init() 
} 

class A: Prot { 
    required init(){ } 
} 

struct Client<T: Prot> { 
    let tau: T.Type 
} 

if let aTau = A.self as? Prot.Type { 
    print(aTau === A.self) // ✅ 
    Client(tau: A.self)  // ✅ 
    Client(tau: aTau)  // ❌ 
} 

エラーは次のとおりです。

Cannot invoke initializer for type 'Client<_>' with an argument list of type '(tau: Prot.Type)' 

Answer 1

ジェネリックClientクラスは、専門のための具体的なタイプ必要 - すなわち、クラス/構造体/列挙型を、そしてProt.Typeは、この要件に適合していません。これがエラーを起こす理由です。