Swift Self en tant que type associé lié dans le protocole

Question

Je souhaite forcer un type associé à être Self, mais le compilateur n'en possède aucune.
Voici ce que je veux compiler:

protocol Protocol { 
    // Error: Inheritance from non-protocol, non-class type 'Self' 
    associatedtype Type: Self 
} 

Vous pourriez demander, pourquoi ne pas simplement utiliser Self au lieu d'un type associé? Tout simplement parce que je ne peux pas: le type associé est hérité d'un protocole parent. Et cela n'a aucun sens de changer cela dans le protocole parent.
est ici quelque chose de semblable à ce que je suis en train de faire:

protocol Factory { 
    associatedtype Type 

    func new() -> Type 
} 

protocol SelfFactory: Factory { 
    associatedtype Type: Self // Same Error 
} 

Edit:
réponse de mat est presque ce que je cherche. Il se comporte comme je le veux à l'exécution, mais n'est pas assez restrictif au moment de la compilation.
Je veux que cela soit impossible:

protocol Factory { 
    associatedtype MyType 
    static func new() -> MyType 
} 

protocol SelfFactory: Factory { 
    static func new() -> Self 
} 

final class Class: SelfFactory { 

    // Implement SelfFactory: 
    static func new() -> Class { 
     return Class() 
    } 

    // But make the Factory implementation diverge: 
    typealias MyType = Int 

    static func new() -> Int { 
     return 0 
    } 
} 

Je voudrais que le typealias en Class pour déclencher une erreur de redéclaration ou similaire.

Answer 1

Etes-vous en train d'essayer de le dire?

protocol Factory { 
    associatedtype MyType 
    func new() -> MyType 
} 

protocol SelfFactory: Factory { 
    func new() -> Self 
} 

Answer 2

Je sais que c'est une vieille question, mais vous pouvez le faire à partir de Swift 4.0:

protocol Factory { 
    associatedtype MyType 
    static func new() -> MyType 
} 

protocol SelfFactory: Factory where MyType == Self { } 

sont pas là où les clauses grande?