我在编程语言类型系统的上下文中听说过“通用类型”这个术语，有人知道这是什么意思吗？是不是与像字符串这样的对象有关，其中“foo”的两个实例相同，即使 (“foo”==“foo”) 可能为假？
最佳答案
快速维基百科搜索出现:Top Type :“类型论中的顶级类型，通常缩写为顶部或向下标记符号 (⊤) 是通用类型——该类型包含感兴趣的类型系统中的所有可能对象。”换句话说，它是“Object”类，它(直接或间接地)是所有其他类的父类(super class)。正如该页面所指出的，C++ 在 OO 语言中是不寻常的，因为它没有通用类型。
关于programming-languages - 什么是通用类型？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2009053/