Тонкое предупреждение при использовании SQLite.Swift ... Binding? в любой

Question

Вот один,

import SQLite 

    var r:[[Any]] = [] 

    do { 
     if let stmt = try local.db?.prepare(q) { 
      r = Array(stmt) 
     } 
     else { 
      print("woe in sql?") 
     } 
    } 
    catch { return [] } 

на вызов

r = Array(stmt) 

дает выражение неявно принуждать от "Binding? любому.

И в самом деле, я не знаю, как установить значение по умолчанию, чтобы избежать этого предупреждения, Силе разворачивать значение, чтобы избежать этого предупреждения, или даже Явное приведение к любой с «как любой», чтобы отключите это предупреждение. : O

Вот самодостаточным пример, который воспроизводит такое же предупреждение:

struct Binding {} 

struct Statement : IteratorProtocol, Sequence { 
    func next() -> [Binding?]? { 
     return nil 
    } 
} 

let stmt = Statement() 

let r: [[Any]] 

r = Array(stmt) // warning: Expression implicitly coerced from 'Binding?' to Any. 

---

Относящиеся интересный вопрос:

почему компилятор ...

... кажется, не знает номер строки, с такими проблемами? И действительно: почему предупреждение возникает только после компиляции?

Большинство предупреждений появляются прямо в среде IDE, когда вы печатаете, перед компиляцией.

Это предупреждение, казалось бы (а) быть известны только во время компиляции и (б) компилятор не знает номер строки.

Как это сделать? Какая разница?

Answer 1

Вы используете Array «ы sequence initialiser, который имеет подпись:

init<S>(_ s: S) where S : Sequence, Element == S.Iterator.Element 

Потому что вы набрали r в [[Any]], Element является [Any]. Однако последовательность, в которой вы проходите, имеет Iterator.Element type of [Binding?]. Следовательно, вы неявно принуждаете Binding? к Any, и согласно SE-0140, это вызовет предупреждение - поскольку вы теряете возможность внутренних элементов, что потенциально нежелательно.

Как говорится в предложении, одним из способов заставить замолчать это предупреждение является добавление явного выражения as Any. В вашем случае, это может быть достигнуто с помощью вложенной map(_:):

r = stmt.map { $0.map { $0 as Any } } 

Это не должно быть более дорогостоящим, чем использование Array «s последовательность Инициализатора из-за того, что прогулка по всем внутренние элементы должны быть выполнены в любом случае из-за различий в том, как Swift сохраняет абстрактно-типизированные значения (см. this Q&A для получения дополнительной информации).

Однако действительно вы должны спросить себя, является ли r должен быть типа [[Any]]. Я не вижу причин, почему вы не должны просто набирать его как [[Binding?]]. Это позволит избавиться от предупреждения и дать вам лучший тип безопасности.