c++ - 这是我想使用 "using"的情况吗？

Question

我不熟悉 C++0x。我大约 6 个月前才开始自己学习 C++，但我掌握得相当好(对于初学者来说)。

我有一个模板类:

template <typename T>
class Node
{
   ...
}

然后，我有这个:

template <typename T>
class BinaryTree
{
    protected:
       typedef Node<T>* node_t;
    ...
}

在这里，二叉树类用作“基类”，可以通过二叉树的特化进行扩展。 (AVL 树、红黑等，)节点 typedef 受到保护，因为这个想法是特化将能够使用它......他们可以，但它看起来很糟糕。

例如，在我的 BiTree 类(我对最通用的二叉树的创意名称，基本上是 BST)中，我们有这个:

template <typename T>
class BiTree : public BinaryTree<T>
{
   private:
      typedef typename BinaryTree<T>::node_t node_t; // Yuck
   ...
}

更糟糕的是，我是那些喜欢在类之外指定函数的人之一，所以当我想说 node_t 是返回类型时......好吧，看看......

template <typename T>
typename BiTree<T>::node_t
BiTree<T>::insert(BiTree<T>::node_t& node, T data)
{
   ...
}

有没有办法只使用 node_t？这就是从基类继承 typedef 的全部要点。这是 C++0x 中的 using 关键字的用途吗？我将如何将其应用于这种情况？谢谢。

编辑:我想知道它是否有用的原因是因为这个问题:C++ template typedef

Answer 1

您问题的答案是否定的，它不适用。 using在上下文中，您的意思是用于重命名模板化类型，同时保留其模板化性质。您有一个特定的模板实例，因此它不合适。

但是，您的部分担忧似乎只是 BiTree<T>:: 过多。在你的函数定义中。对我来说似乎还不错；你习惯于看到这样的结构。但如果您愿意，可以减少它。

你从什么开始:

template <typename T> 
typename BiTree<T>::node_t BiTree<T>::insert(BiTree<T>::node_t& node, T data) 
{ ... } 

首先，一旦您为函数命名，您就已经在类“内部”了 BiTree<T> ，因此编译器会在其中查找您的参数类型。

template <typename T> 
typename BiTree<T>::node_t BiTree<T>::insert(node_t& node, T data) 
{ ... } 

C++0x 的另一个新特性是能够等到声明函数的参数之后再声明函数的结果。它旨在用于结果类型取决于参数类型的情况，但出于与上述相同的原因，它在这里也很有用。编译器将考虑 BiTree<T> 内的类型分析时:

template<typename T>
auto BiTree<T>::insert(node_t& node, T data) -> node_t
{ ... }

几乎没有重复。从技术上讲，您可以更进一步:

template<typename T>
auto BiTree<T>::insert(node_t& node, T data) 
     -> std::remove_reference<decltype(node)>::type
{ ... }

现在，您甚至不需要重复参数类型，但要获得正确的返回类型显然更加困难 [正如我最初弄错的事实所证明的那样;-)]。