标签： data-structures
我对异构和同类列表和数组有点困惑。在OOP上下文中，如果我定义基类及其派生类，为什么基类数组是同构的，如果我也可以存储派生类？它的原理与C中的空指针（即https://gist.github.com/rawcoder/9720851）相同。每一篇文献都说，同质结构是同一类型的（语义上的），所以你能再向我解释一下吗？