Question

B.Stroustrup在他的新书＆＃34; TCPL＆＃34;的第16.2.13节成员类型中给出了以下示例。第4版：

#include <iostream>

template<typename T>
class Tree{
    using value_type = T;                   // member alias
    enum Policy { rb, splay, treeps };      // member enum
    class Node{                             // member class
        Node* right;
        Node* left;
        value_type value;
    public:
        void f(Tree*);
    };
    Node* top;
public:
    void g(Node*);
};

template<typename T>
void Tree<T>::Node::f(Tree* p)
{
  //top = right;                            // error: no object of type tree specified
    p->top = right;                         // OK
    value_type v = left->value;             // OK: value_type is not associated with an object
}

template<typename T>
void Tree<T>::g(Tree::Node* p)
{
  //value_type val = right->value;          // error: no object of type Tree::Node
    value_type v = p->right->value;         // error: Node::right is private
    p->f(this);                             // OK
}    

int main()
{
}

根据Stroustrup的表达式value_type v = p->right->value;是错误的，但是代码在clang和g ++中编译。

Answer 1

您的模板需要在出现错误之前进行实例化。一种方法是创建一个对象并在其上调用g（live example）：

Tree<int>().g(nullptr);

对下面解释的矛盾有何解释？

1 个答案: