多型 (计算机科学)和编译期

快捷方式: 差异，相似，杰卡德相似系数，参考。

多型 (计算机科学)和编译期之间的区别

多型 (计算机科学) vs. 编译期

在编程语言和类型论中，多型（polymorphism）指为不同数据类型的实体提供统一的接口。 多态类型（polymorphic type）可以将自身所支持的操作套用到其它类型的值上。: "Polymorphic types are types whose operations are applicable to values of more than one type." 计算机程序執行時，相同的訊息可能會送給多個不同的類別之物件，而系統可依據物件所屬類別，引發對應類別的方法，而有不同的行為。簡單來說，所謂多型意指相同的訊息給予不同的物件會引發不同的動作。 多态也可定义为“一种将不同的特殊行为和单个泛化记号相关联的能力”。 多态可分为变量多态与函数多态。变量多态是指：基类型的变量（对于C++是引用或指针）可以被赋值基类型对象，也可以被赋值派生类型的对象。函数多态是指，相同的函数调用界面（函数名与实参表），传送给一个对象变量，可以有不同的行为，这视该对象变量所指向的对象类型而定。因此，变量多态是函数多态的基础。 多态还可分为：. 编译期（compile time）是指程序设计中，编译器在编译源代码时的行为。包括语法分析、语义分析、类型检查（type check）、模板实例化、等。 程序设计语言通常指出源程序必须满足的编译期要求。 程序的一些性质在编译期可推导，如数组越界、无死锁、分时时间片等。 有些程序设计语言在链接期或运行期才执行一部分编译。如即时编译（Just-in-time compilation）。.

執行期

執行時期（Run time）在電腦科學中代表一個電腦程式從開始執行到終止執行的運作、執行的時期。與執行時期相對的其他時期包括：設计時期（design time）、編譯時期（compile time）、鏈結時期（link time）、與載入時期（load time）。 而執行環境是一種為正在執行的程序或程式提供軟體服務的虛擬機械環境。它有可能是由作業系統自行提供，或由執行此程式的母程式提供。 通常由作業系統負責處理程式的載入：利用載入器（loader）讀入程式碼，接著進行基本的記憶體配置，並視需要聯結此程式指定的所有動態链接庫。有些程式語言會由此語言提供的運行環境處理上述工作。 程式碼的某些問題，只能在執行期間進行偵錯動作（或較有效率），例如邏輯錯誤或陣列邊際檢查等便屬此類。因此不管撰寫與測試得多麼精細，有些錯誤必須在實際上線並處理真實資料的情況下才能找出。因此，程式使用者也許會遇到諸如執行時期錯誤之類的訊息。.

執行期和多型 (计算机科学) · 執行期和编译期 · 查看更多 »

泛型

泛型程序设计（generic programming）是程序设计语言的一种风格或范式。泛型允许程序员在强类型程序设计语言中编写代码时使用一些以后才指定的类型，在实例化时作为参数指明这些类型。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。Ada、Delphi、Eiffel、Java、C#、F#、Swift 和 Visual Basic.NET 称之为泛型（generics）；ML、Scala 和 Haskell 称之为参数多态（parametric polymorphism）；C++ 和 D称之为模板。具有广泛影响的1994年版的《Design Patterns》一书称之为参数化类型（parameterized type）。.

多型 (计算机科学)和泛型 · 泛型和编译期 · 查看更多 »