在編程語言和類型論中，多態（英語：polymorphism）指為不同數據類型的實體提供統壹的接口。?多態類型（英語：polymorphic type）可以將自身所支持的操作套用到其它類型的值上。
在編程語言和類型論中，多態（英語：polymorphism）指為不同數據類型的實體提供統壹的接口。多態類型（英語：polymorphic type）可以將自身所支持的操作套用到其它類型的值上。
計算機程序運行時，相同的消息可能會送給多個不同的類別之對象，而系統可依據對象所屬類別，引發對應類別的方法，而有不同的行為。簡單來說，所謂多態意指相同的消息給予不同的對象會引發不同的動作。
多態也可定義為“壹種將不同的特殊行為和單個泛化記號相關聯的能力”。多態可分為變量多態與函數多態。變量多態是指：基類型的變量（對於C++是引用或指針）可以被賦值基類型對象，也可以被賦值派生類型的對象。
函數多態是指，相同的函數調用界面（函數名與實參表），傳送給壹個對象變量，可以有不同的行為，這視該對象變量所指向的對象類型而定。因此，變量多態是函數多態的基礎。