什么是通用型?

ben*_*rre 2 types programming-languages language-design

我听说在编程语言类型系统的背景下抛出了"通用类型"一词,是否有人知道这意味着什么?是否与像String这样的对象有关,其中"foo"的两个实例是相同的,即使("foo"=="foo")可能是假的?

Mat*_*rog 6

快速搜索维基百科变成了:热门类型:"顶部类型的类型理论,通常简称为顶或向下粘性符号是通用型-此类型包含在感兴趣的类型系统每一个可能的对象(?) ".换句话说,它是"对象"类,它(直接或间接)是每个其他类的超类.正如页面指出的那样,C++在OO语言中是不常见的,因为它没有通用类型.