2 
template <typename T>
void list<T>::copyAll(const list &l)
{
    if(l.isEmpty()) //if the list-to-copy is empty, we're done
    {
        first = last = NULL;
    }
    else
    {
        node *toFollow = l->yhjfrtydfg;
        node *whatever = l.asfqwejfq3fqh23f8hq23r1h23017823r087q1hef;

        while(toFollow != NULL)
        {
            T *newO = new T(*(toFollow->o));
            T here = *newO;
            insertBack(&here);
            toFollow = toFollow->next;
        }
    }
}

这个程序编译（与程序的其余部分），即使这两行node *toFollow = l->yhjfrtydfg;显然node *whatever = l.asfqwejfq3fqh23f8hq23r1h23017823r087q1hef;是疯狂的输入。这很奇怪，因为任何其他错误都被捕获。有什么帮助吗？

4

3 回答 3

6

“从属名称”（在模板中使用的名称，其含义取决于模板参数）仅在模板实例化时解析，而不是在定义时解析。如果你不实例化模板，那么它可以包含你喜欢的任何疯狂的名字，只要它在语法上是正确的。

如果实例化您的程序将无法编译：

list<int> l;
l.copyAll(l); // ERROR
于 2012-12-03T11:38:00.283 回答
6

依赖于模板参数的名称仅在模板实例化后才会解析。在任何情况下都只解析非依赖名称。

C++ 创造了这种“两阶段查找”，其中阶段 1 是第一次解析的时间，阶段 2 是实例化时间。

例如：

template <typename T>
void frob() {
    foo = 5; // non-dependent, name must exist at this point
    T bar;
    bar.frobnicate = 7; // dependent, name is looked up upon instantiation

    bar->is->a.funny(T::hing); // dependent, likewise looked up later
}
于 2012-12-03T11:40:52.610 回答
2

不存在的成员是您最不担心的 - 编译器不会抱怨，因为某些 T 可能确实有这些成员。您感到困惑的根本原因是编译器只会像其他任何标识符一样看到一个标识符-只是您认为没有人会使用它，而且显然没有类型 T 拥有它们，这会使输入“疯狂”。这一点也不疯狂。它只是一个标识符。

        T newO = new T(*(toFollow->o));
        insertBack(&newO);
        toFollow = toFollow->next;

完全彻底地破碎了。首先，您动态分配一个 T，然后尝试从中构造一个堆栈分配的 T？没有 T 有这种行为。然后你保留一个指向堆栈分配对象的指针。

于 2012-12-03T11:41:41.787 回答