参数多态 编辑
参数多态在程序设计语言与类型论中是指声明与定义函数、复合类型、变量时不指定其具体的类型，而把这部分类型作为参数使用，使得该定义对各种具体类型都适用。参数化多态使得语言更具表达力，同时保持了完全的静态类型安全。 这被称为泛化函数、泛化数据类型、泛型变量，形成了泛型编程的基础。
9
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
泛型程序设计是程序设计语言的一种风格或编程范型。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C♯、F、Swift 和 Visual Basic .NET 称之为泛型；ML语言、Scala 和 Haskell 称之为参数多态；C++ 和 D语言称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型。
在计算机科学中，类型类，是支持特设多态的类型系统构造。这是通过向参数多态类型的类型变量增加约束完成的。这种约束典型的涉及到一个类型类T和一个类型变量a，并意味着a所能实例化的类型，其成员必须支持关联于T的重载运算。
在编程语言和类型论中，可选类型是一种表示可选值的参数多态，也称作可能类型。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。
在编程语言和类型论中，可选类型是一种表示可选值的参数多态，也称作可能类型。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。