Swift-Protokolle mit zugeordnetem Typ und Generics, die falsche Funktion aufrufen

Question

Ich habe versucht, meine Frage sehr einfach zu halten. Ich habe den ganzen Tag gekämpft, um es zum Laufen zu bringen, aber kein Glück. Ich habe zwei Protokolle. Decodierbar und anforderbar.

protocol Decodable { } 
struct D: Decodable { } 

protocol Requestable { 
    associatedtype Model 
} 

extension Requestable { 
    func returnValue() { 
     Utils.doSomething(Model) 
    } 
} 

Und eine Klasse Utils

class Utils { 
    static func doSomething<T>(param: T) { 
     print("Default") 
    } 

    static func doSomething<T: Decodable>(param: T) { 
     print("Decodable") 
    } 

    static func doSomething<T: Decodable>(param: [T]) { 
     print("Decodable Array") 
    } 
} 

ich eine Struktur R Implementierung Auf Anfrage erhältlich erstellen und den Typ alias Modell zu String geben

struct R: Requestable { 
    typealias Model = String 
} 

Wenn ich die R run(). Return () Funktion, druckt Default. Wie erwartet.

ich eine Struktur R2 Implementierung Auf Anfrage erhältlich erstellen und den Typ alias Modell zu D geben die

struct R2: Requestable { 
    typealias Model = D 
} 

Wenn ich laufen die R2(). Return() Funktion Dekodierbare implementiert, Er druckt Default. aber ich habe erwartet, dass es Decodable drucken würde, weil das Modell Decodable entspricht.

ich eine struct R3 Auf Anfrage erhältlich Implementierung und den Typ alias Modell zu [D] geben, wo das Element des Arrays decodierbar

struct R3: Requestable { 
    typealias Model = [D] 
} 

Umsetzung Wenn i R3(). Return() Funktion ausführen, It druckt Default. aber ich erwartete, dass es drucken würde, weil das Modell Decodable entspricht.

Jede Art von Hilfe geschätzt.

UPDATE

Mit AnyRequestable und im laufenden Betrieb überprüft wird in diesem Fall nicht funktionieren, weil in echtem Code die Generika ist der Rückgabewert und nicht dynamisch überprüft werden kann.

Im wirklichen Codefunktionen Signaturen sind wie

public static func ResponseSerializer<M>() -> ResponseSerializer<M, NSError> {} 
public static func ResponseSerializer<M: Decodable>() -> ResponseSerializer<M, NSError> {} 
public static func ResponseSerializer<M: Decodable>() -> ResponseSerializer<[M], NSError> {} 

Answer 1

Diese ist das erwartete Ergebnis. Sie haben vergessen, die Decodable Konformität für Ihren Model zugeordneten Typ zu deklarieren. Dies sollte es beheben:

protocol Requestable { 
    associatedtype Model: Decodable 
} 

---

Edit: Ihre Kommentare Lesen, jetzt verstehe ich dein Problem. Die Sache ist, was Sie fragen die Laufzeit erfordert, gibt es keine Möglichkeit zu statisch es erreichen:

class Utils { 
    static func doSomething<T>(param: T) { 
     if let param = param as? Decodable { 
      print("Decodable") 
     } else { 
      print("Default") 
     } 
    } 
} 

Denk darüber nach; Wenn Sie Ihren Code kompilieren, in dem Bereich returnValue, weiß der Compiler nur, dass Model ein verknüpfter Typ und nichts anderes ist. Entweder deklarieren Sie explizit die Konformität Decodable, oder der Compiler übernimmt den Standardfall, der nur <T> ist.