[英]Passing type parameter to self-referential pointer
template <class T>
class Node {
private:
T m_value;
//Node* m_ptr; //(1)
//Node<T>* m_ptr; //(2)
};
有人可以解释上述两个陈述(1)和(2)之间的区别吗? 这两个语句似乎都在编译,但我似乎无法找到ISO C ++对它们所说的内容。
它们是相同的,因为您在模板中声明了指针,因此当您创建Node
的实例时,编译器知道T
是什么。 如果可以推导出模板的类型,则不必指定模板的类型,例如,从参数类型,或者在这种情况下,指针所属的模板实例。
template <class T>
class Node {
public:
T m_value;
Node* m_ptr; //(1)
//Node<T>* m_ptr; //(2)
};
int main()
{
Node<float> test;
test.m_ptr = new Node<float>{}; // valid
test.m_ptr = new Node<bool>{}; // invalid - triggers compiler error
auto val = test.m_ptr->m_value; // val will be of float type
}
根据C ++标准(14.6.1本地声明的名称)
3类模板或类模板特化的inject-class-name 可以用作模板名称或类型名称,只要它在范围内。 [例如:
template <class T> struct Base {
Base* p;
};
template <class T> struct Derived: public Base<T> {
typename Derived::Base* p; // meaning Derived::Base<T>
};
template<class T, template<class> class U = T::template Base> struct Third { };
Third<Base<int> > t; // OK: default argument uses injected-class-name as a template
- 结束例子]
因此这些数据成员声明
Node* m_ptr; //(1)
Node<T>* m_ptr; //(2)
是等价的,因为注入的类名称Node
用在类定义的范围内。
他们是一样的”
我认为这就是它发生的事情
节点* m_ptr_n
编译器使类型与类类型匹配。
如果是
Node <T> * m_ptr
它创建的是一个指向类巫婆模板与“T”类型匹配的指针。
如果要获取指向float实例的int实例,可以将两种类型都传递给模板。
template <class T1, class T2, class T3>
class Node {
public:
T1 m_value;
// Node* m_ptr_n; //(1)
Node<T2, T3>* m_ptr; //(2)
};
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.