编译器使用类的行为

behavior of the compiler using classes

本文关键字：编译器      更新时间：2023-10-16
#include <list>
using std::list;
class foo { ...
class bar : public foo { ...
static void print_all(list<foo*> &L) { ...
list<foo*> LF;
list<bar*> LB;
...
print_all(LF); // works fine
print_all(LB); // static semantic error

我想我知道为什么编译器不允许第二次调用。谁能举一个编译器接受这种调用可能发生的坏事的例子？

当然！ 如果print_all这样做怎么办：

L.push_back(new Foo);

现在，您的 Bar 指针列表有一个指向不是 Bar 的 Foo 对象的指针。 如果你随后尝试调用 Bar 中不存在的 Foo 类中的方法，你将得到某种严重的运行时问题，因为该方法在 Foo 对象中不存在。

希望这有帮助！

代码中发生了两件不同的事情，有不同的解释。第一个问题是模板的不同实例化是不相关的，即使实例化类型是相关的。在这种特殊情况下，std::list<foo*>与std::list<bar*>没有关系，即使foo是bar的基数。这是语言设计的一部分，什么也做不了。

第二个问题，不是编译器所抱怨的，是通常不能通过引用将derived容器用作base的容器。这是@templatetypedef提出的问题 - 但同样，这不是代码中的问题，它将在不同的示例中：

void f( base** p );
int main() {
   derived *d;
   f( &d );          // error
}

在这种情况下，问题是，正如@templatetypedef指出的那样，使用 derived 的指针/容器代替以非常量方式base的指针/容器容易出错，因为您可以将非derived类型存储在指针/容器上。

相关文章：