SwiftカスタムflatMapの実装でエラーが発生する一般的なパラメータを推測できません

Question

いくつかの一般的な項目を持つ構造体にカスタムflatMapを実装しようとしています。 flatMapは、指定された変換関数を使用するアイテムに対してちょうどSwift.flatMapになります。ここのコードは少し工夫されていますが、標準ライブラリバージョンでエラーが発生しないのはなぜですか？

flatMapの実装に欠けているものがありますか？

struct Wrapper<T:NSObject> { 

    let items:[T] 

    func flatMap<U>(_ transform:(T) -> U?) -> Wrapper<U> { 
     let newItems = items.flatMap { transform($0) } 
     return Wrapper<U>(items: newItems) 
    } 
} 

protocol Something {} 

let wrapper = Wrapper<UIView>(items: [UIView()]) 

// Using standard library flatMap 
wrapper 
    .items 
    .flatMap { $0 as? Something } // ✅ No error 
    // .. 

// Using custom flatMap 
wrapper 
    .flatMap { $0 as? Something } // ERROR: Generic parameter 'U' could not be inferred 
    // .. 

Answer 1

SomethingはNSObjectに準拠していません。

スウィフト4は、を含むすべてのパラメータを調べることで、flatMap関数で使用される汎用パラメータUの制約を自動的に推論します。 UはWrapperの汎用パラメータとして使用され、U: NSObjectが必要です。 SomethingはNSObjectのサブクラスではありません。

エラーメッセージは間違いです。