參數多型编程概念 / 維基百科,自由的 encyclopedia 參數多型在程式語言與類型論中是指聲明與定義函數、複合類型、變數時不指定其具體的類型,而把這部分類型作為參數使用,使得該定義對各種具體類型都適用。參數化多型使得語言更具表達力,同時保持了完全的靜態類型安全。[1] 這被稱為泛化函數、泛化資料類型、泛型變數,形成了泛型編程的基礎。
參數多型在程式語言與類型論中是指聲明與定義函數、複合類型、變數時不指定其具體的類型,而把這部分類型作為參數使用,使得該定義對各種具體類型都適用。參數化多型使得語言更具表達力,同時保持了完全的靜態類型安全。[1] 這被稱為泛化函數、泛化資料類型、泛型變數,形成了泛型編程的基礎。