聲明一個符合協議的泛型類型的常量

Question

好吧，用Swift 4編寫一些網絡代碼並用它們新的可解碼協議來修補。下面的錯誤不與幾個編譯器錯誤：

// A lot has been stripped out of this for brevity, so we can focus on this specific constant 
struct APIRequest { 
    let decoder = JSONDecoder() 
    let decodableType: <T.Type where T : Decodable> // Compiler errors here 

    // This function compiles and runs successfully when I pass it in explicitly (by removing the above constant) 
    func decodeJsonData<T>(_ data: Data, for type: T.Type) throws -> T where T : Decodable { 
     return try decoder.decode(type, from: data) 
    } 
} 

的decodableType應該是所述任何結構/類符合可解碼協議的「類型」（即User.self其中User符合可解碼或可編碼） 。我如何告訴編譯器呢？

編輯：換一種方式，我想寫出這樣的代碼...

struct APIRequest { 
    let decoder = JSONDecoder() 
    let decodableType: <T.Type where T : Decodable> // Not sure how to declare this type 

    func decodeJsonData(_ data: Data,) throws -> Decodable { 
     return try decoder.decode(decodableType, from: data) 
    } 
} 

這意味着保持從第一個代碼塊中的泛型參數恆定的內部的結構。我只是不知道如何在Swift中正確寫出類型。

Answer 1

如果你想你的結構有一個泛型類型，它必須被宣佈爲這樣的，而不是作爲一個成員與你正在嘗試：

struct APIRequest<T: Decodable> { 
    let decoder = JSONDecoder() 

    func decodeJSONData(from data: Data) throws -> T { 
     return try decoder.decode(T.self, from: data) 
    } 
} 

或者，你可以限制泛型類型在功能範圍：「這意味着從第一代碼塊保持泛型參數」是什麼第一個代碼塊

struct APIRequest { 
    let decoder = JSONDecoder() 

    func decode<T: Decodable>(from data: Data) throws -> T { 
     return try decoder.decode(T.self, from: data) 
    } 
}