1 
#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

我想我知道为什么编译器不允许第二次调用。如果编译器接受这种调用，任何人都可以举一个可能发生的坏事的例子吗？

4

2 回答 2

3

当然！如果 print_all 这样做会怎样：

L.push_back(new Foo);

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

希望这可以帮助！

于 2012-06-18T03:26:33.433 回答
2

代码中有两件不同的事情，有不同的解释。第一个问题是模板的不同实例化是不相关的，即使实例化类型是相关的。在这种特殊情况下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

于 2012-06-18T03:40:28.407 回答