Generi c тип возврата с ошибкой возврата Codable Generi c параметр 'T' не может быть выведен, даже если Xcode правильно показывает тип возврата на выходе

Question

Я рассмотрел множество связанных вопросов здесь, но ни один из ответов, похоже, не работает для меня прямо сейчас.

Для начала, у меня есть следующая функция, настроенная с помощью c тип возвращаемого значения, который должен соответствовать Decodable.

func readFile<T: Decodable>(url: URL) -> T? {
    do {
        let data = try Data(contentsOf: url)
        return try PropertyListDecoder().decode(T.self,
                                                from: data) as T
    } catch {
        return nil
    }
}

Я пробовал различные вызовы против него, но до сих пор Xcode продолжает возвращать код ошибки

Cannot explicitly specialize a generic function

После некоторых экспериментов Я пришел к следующему:

if let file: CodableStruct = readFile(url: url) as? CodableStruct {
    // File is reported as the correct type here
    // but I still get "Generic parameter 'T' could not be inferred"
}

Моя цель - хранить различные объекты, которые соответствуют Codable, и затем иметь возможность извлекать их с помощью вышеуказанной функции.

Answer 1

Просто удалите условное понижение as? CodableStruct

if let file: CodableStruct = readFile(url: url) {

и - не связанное с ошибкой - удалите также избыточное приведение моста as T.

---

Рассмотрите возможность сделать функция throw

func readFile<T: Decodable>(url: URL) throws -> T {
    let data = try Data(contentsOf: url)
    return try PropertyListDecoder().decode(T.self, from: data)
}

Answer 2

Пересылать ошибки вместе. Не скрывайте их необязательно.

func readFile<Decodable: Swift.Decodable>(url: URL) throws -> Decodable {
  try PropertyListDecoder().decode(
    Decodable.self,
    from: Data(contentsOf: url)
  )
}

let file: CodableStruct = try readFile(url: url)

Answer 3

Оказывается, компилятор был сбит с толку командой try в моей функции readFile.

Мне пришлось добавить ( ), чтобы помочь ему понять утверждение.

return (try PropertyListDecoder().decode(T.self,
                                         from: data)) as T

Тем не менее, vadian был прав в том, что я мог удалить опущенного вниз из вызова.

К комментариям о броске я обращаюсь с ошибкой, но я сократил код, чтобы сделать вопрос короче. Спасибо, что обратились к этому, хотя!