ava允许对个别泛型的类型参数进行约束，包括以下两种形式（假设codice_2是泛型的类型参数，codice_12是一般zh-hans:类; zh-hant:类别;、泛类，或是泛型的类型参数）：
C++的泛型（模板）.C++泛型的参数可以代表zh-hans:类; zh-hant:类别;或个别zh-hans:对象; zh-hant:物件;。在一般意义上，C++ 缺乏对泛型的类型参数进行直接约束的手段，但可利用 SFINAE（模板代换失败非错误，指在模板实例化