Warning: file_get_contents(/data/phpspider/zhask/data//catemap/4/kotlin/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Generics 填写类型参数的泛型类型的术语_Generics_Kotlin_Terminology - Fatal编程技术网
Fatal编程技术网
  • generics/
  • Generics 填写类型参数的泛型类型的术语

Generics 填写类型参数的泛型类型的术语

generics kotlin

Generics 填写类型参数的泛型类型的术语,generics,kotlin,terminology,Generics,Kotlin,Terminology,填写类型参数的泛型类型的正确术语是什么？这是一个非常常见的构造；我很惊讶地意识到我不确定它到底应该叫什么 换句话说： 如果square是一个函数，那么square（2）是一个函数调用 如果List是泛型类型，那么List是 （如果有必要的话，我在Kotlin工作，尽管在我看来，许多支持泛型的语言的术语应该是相同的。）在Java中 列表是一个 列表是一个 列表是一个 所有支持参数的类型都是泛型类型 编码时，提供类型参数以创建参数化类型 如果不提供类型参数，则生成一个原始类型。C++中的< P>

填写类型参数的泛型类型的正确术语是什么？这是一个非常常见的构造；我很惊讶地意识到我不确定它到底应该叫什么

换句话说：

如果
square
是一个函数，那么
square（2）
是一个函数调用

如果
List
是泛型类型，那么
List
是

（如果有必要的话，我在Kotlin工作，尽管在我看来，许多支持泛型的语言的术语应该是相同的。）

在Java中

  • 列表
    是一个
  • 列表
    是一个
  • 列表
    是一个
所有支持参数的类型都是泛型类型

编码时，提供类型参数以创建参数化类型

如果不提供类型参数，则生成一个原始类型。C++中的

< P>，<代码> STD:：vector < /代码>是<代码> STD:：向量< /代码>，和<代码> STD:：数组< /C> > < <强>部分特化< <强> >：代码：<数组/<代码> < /P> 然而，这些都是模板。正如jaco0646所提到的，使用泛型的语言（如Java和Rust）通常称它们为参数化的

Haskell中最接近的等价物是TypeClass，它（有时）将参数化泛型代码的等价物称为实例。（在面向对象语言中，实例引用类的对象，但Haskell没有类，因此不存在歧义。）