bo 1.18 generics

in go 1.18で、汎用タイプは、タイプの引数によって異なるタイプで関数を定義することができます。特定のタイプの分散である違反は、入力タイプと出力タイプの間に明確に定義された関係を維持しながら、より広い範囲の入力タイプを受け入れることができます。左関数の出力タイプが、正しい関数の入力型と一致すると予想されます。ただし、次の例では、次のコンパイルに失敗します。 return func（a a）t2 { 右に戻る（左（a）） } } func openfile（name string） *os.file { ... } func readall（rdr io.reader）[] byte { ... } var openread = pipe（openfile、readall）

コンパイラは、io.readerと互換性があるにもかかわらず、t1が *os.fileと見なされるため、文句を言います。 行動。 GOは共変動の結果タイプをサポートしていません。つまり、関数の出力型は入力タイプに基づいて変化することはできません。 Go GenericsのFAQで説明されているように、それは設計によるものです。 func（t2）t3）func（a）t3 { return func（a a）t3 { 右に戻る（any（左（a））。（t2）） } }