Where句は、汎用パラメータを持つ関数でのみ有効ですか？

Question

このメソッドのシグネチャは、スウィフト4でコンパイルできないことを不合理なようだ：

class Bar<ValueType> { 
    func version() throws -> String where ValueType == [String: Any] { ... } 
} 

（エラー：句は非ジェネリック宣言に添付することはできません）
が、これは罰金コンパイル：

class Bar<ValueType> { 
    func version<T>(_ foo: T? = nil) throws -> String where ValueType == [String: Any] { ... } 
} 

これがなぜこのような場合に誰かが洞察を持っていますか？

Answer 1

ValueTypeは、この方法（最初の例）とは関係がないためです。このようなメソッドを型（class/struct/enum）に入れるのは間違いでしょう。なぜなら、その型の本当のメンバーではないからです。条件付きでは、where句の真理値に応じて、そのタイプのメンバーです。

これを実現するには、このメソッドをタイプの拡張子に入れて、希望するwhere節を付けます。例えば。