ここにジェネリックが必要なのはなぜですか？プロトコルは十分ではありませんか？

Question

ジェネリックをプロトコルと一緒に使用することについて、Web上で次の例が見つかりましたが、ジェネリックスが必要な理由はわかりません。プロトコルを使用するだけです。

我々はプロトコルを定義します。

protocol Healthy { 
    mutating func setAlive(status: Bool) 
    var health: Int { get } 
} 

そしてジェネリックadotpingを使用して機能のプロトコル

func check<T:Healthy>(inout object: T) { 
    if (object.health <= 0) { 
     object.setAlive(false) 
    } 
} 

ことを私は以下のようにコードを変更しましたし、すべてが今でも結構です。

func check(object: inout Healthy) { 
    if (object.health <= 0) { 
     object.setAlive(status: false) 
    } 
} 

そうではありませんか？

プロトコルに関連するタイプがあり、それをインスタンスとして使用できない場合は、そこでジェネリックを使用すると思う唯一の理由があります。

Answer 1

さまざまなことを表現しています。

func check(object: inout Healthy) { 

でobject引数はどのHealthy準拠したインスタンスをすることができます。したがって、あなたがこれを行うことができます：

protocol Healthy {} 

struct Foo : Healthy {} 
struct Bar : Healthy {} 

func check(object: inout Healthy) { 
    object = Bar() 
} 

var h: Healthy = Foo() 
check(object: &h) 
print(h) // Bar() 

を我々はcheck(object:)と呼ばれ、hを通過した（Fooインスタンスを保持する）inout引数として、しかしBarインスタンスを保持hになってしまいました。

具体的にはcheck(object:)を具体的な型のinout引数で呼び出すことはできません。以下はコンパイルされない：Foo変数に割り当てないobject引数に任意Healthy適合するインスタンスを割り当てることができ

var h = Foo() 

// compiler error: Cannot pass immutable value as inout argument: 
// implicit conversion from 'Foo' to 'Healthy' requires a temporary 
check(object: &h) 

check(object:)ので。

func check<T : Healthy>(object: inout T) { 

object引数としかしながら

は、Healthyに準拠単一特定具象型である（このタイプは、コールサイトで満たされています）。 inout引数として渡される変数型と互換性がない可能性があるため、任意のHealthyに準拠するインスタンスを割り当てることはできません。

これで、具体的なタイプのinout引数で呼び出すことができるようになりました。私たちは今、言うことができます：

protocol Healthy { 
    var alive: Bool { get set } 
} 

struct Foo : Healthy { 
    var alive: Bool 
} 
struct Bar : Healthy { 
    var alive: Bool 
} 

func check<T : Healthy>(object: inout T) { 

    object.alive = false 

    // illegal 
    // object = Bar() 
} 

var h = Foo(alive: true) 
check(object: &h) 

（ノートhがFooとして入力することが可能である）

だから、ほとんどの場合、あなたはおそらく、むしろプロトコルに型指定されたinoutを持つよりも、この方法は一般的なようにしたいでしょうパラメータは、具体的な型を扱う可能性が高いためです。

Answer 2

これはinout（ugh）を使用しているため、値を返さないため、ジェネリックは不要です。私は...メソッドのシグネチャは、このようなものだった場合は、この例のための一般的である使用する場合は

func check<T:Healthy>(object: T) -> T { 
} 

これは、渡されたオブジェクトの種類と返される型が同じタイプであることを確実にするでしょう。ジェネリックなし

あなたは

struct A: Healthy {} 

...のインスタンスを渡すと

struct B: Healthy {} 

...のインスタンスを返すことができますうーん...多分これはまだの場合でありますinout。プロトコルに準拠した別の構造体を作成し、objectを新しい構造体のインスタンスに変更できますか？たぶん...後でそれをチェックしなければならないでしょう。