C＃コードの観点からこのコードを説明してください。 <a href="https://kotlinlang.org/docs/reference/idioms.html#convenient-form-for-a-generic-function-that-requires-the-generic-type-information">Kotlin documentation</a>ページから

Question

：上記のコードで

// public final class Gson { 
//  ... 
//  public <T> T fromJson(JsonElement json, 
//       Class<T> classOfT) 
//       throws JsonSyntaxException { 
//  ... 

は、私はそのClass<T>もの以外のすべてを理解しています。私はそれが次のC＃の同等であると仮定します。

public sealed class Gson 
{ 
    public T FromJson<T>(JsonElement json, 
         System.Type Type) 
    { 
    } 
} 

そして、クライアントコードは次のようなものだと思います：

var gson = new Gson(); 
var customer = gson.FromJson<Customer>(json, typeof(Customer)); 

をしかし、その全体System.Typeパラメータは、冗長と思われるので、私は確認することはできませんメソッド定義内のジェネリック型パラメータTのface

また、そのページの同じ場所にあるclass.javaは次のスニペットにありますか？

inline fun <reified T: Any> Gson.fromJson(json): 
       T = this.fromJson(json, T::class.java) 

私は、JavaのクラスClassがSystem.Typeに似ていることを前提としていますが、typeof(Customer)を言いたかったのであれば、あなたはCustomer.classを言うだろうか？あれは正しいですか？

class.javaとはなんですか？

Answer 1

Javaは汎用タイプの消去：実際のタイプTは、実行時にコード化することはできません。 Gsonはターゲットの逆シリアル化タイプが何であるかを知る必要があるため、Class<T>を明示的に識別します。

一方、KotlinはJavaより幾分強力な型システムを持ち、そこに関数がインライン化されているため、コンパイラは汎用型が実際に何であるか知っています（reifiedキーワード）。構成T::class.javaは、Kotlinコンパイラに、適切なタイプTが何であるかを判断し、クラス参照をTにインライン化するように指示します。

このインラインの再定義は、Kotlinにとって本質的に構文上の砂糖であり、Kotlinユーザーは、宛先タイプのハードコードされた仕様をコンパイラの推論に委譲することができます。