引数<T>(_ value: T) ... where T : Encodableに(value: Encodable)が入れれない

Question

疑問点

以下の二つのソースコードですが
Aはコンパイルが通るのですが
Bはコンパイルが通りません。

JSONEncoder().encode(parameters)

ここでエラーが発生します。

このメソッドの引数はこれです

func encode<T>(_ value: T) throws -> Data where T : Encodable

この引数valueはEncodableに準拠していれば何でもいいはずなので
Bのコードでも大丈夫だと思うのですが…

なぜでしょう…？

//A
    static func post<T: Encodable>(endpoint: Const.Endpoint, parameters: T, completion: @escaping (Data?, URLResponse?, Error?) -> Void) {
　　　　　　　//省略
            request.httpBody = try JSONEncoder().encode(parameters)
　　　　　　　//省略
    }

//B
    static func post(endpoint: Const.Endpoint, parameters: Encodable, completion: @escaping (Data?, URLResponse?, Error?) -> Void) {
　　　　　　　//省略
            request.httpBody = try JSONEncoder().encode(parameters)
　　　　　　　//省略

発生している問題・エラーメッセージ

Cannot invoke 'encode' with an argument list of type '(Encodable)'

補足情報（FW/ツールのバージョンなど）

Xcode9.3

Answer 1

自分もそこのところあやふやにしていたので改めて向き合い、向き合った結果をqiitaに載せさせていただきました。
qiitaの方がみやすいと思うのでそのままリンク貼っときます！

リンク先のエラー内容は違いますが同じような理由だと考えています。
リンク先で焦点としているところはジェネリクスでないと引数で指定できないところです。

なぜジェネリクスにしないといけないの？

Comments

[khayashida919]

```swift
func sample(value: myProtocol) { ... }
```
これの`value`は`myProtocol`に準拠した抽象型。

```swift
func sample<T: myProtocol>(value: T) { ... }
```
これの`value`は`myProtocol`に準拠した具体型。

という風に認識しました。文字だと分かりづらいですね…笑

[sachiko-kame]

の認識で大丈夫だと思っていますが、何せ自分のqiita記事にはapple公式ドキュメントからというような明確な記述がないのでまたそのようなものを見つけたらqiitaも都度修正していきたいと思います。

エラー内容から解釈はほとんど間違っていないとは思いますが参考までにしていただければと思います。(✿´ ꒳ ` )