这是我想使用“使用”的情况吗？

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
{ ... }

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

Answer 2

Ehm...基类类型定义在派生类中可用，没有任何恶作剧，只需使用node_t（尽管_t is a bad suffix，因为所有以它结尾的名称都是POSIX标准保留的）。但是我想知道，如果您想从 insert 返回这样的节点，为什么要使用 protected / private ？应该如何使用它，因为类层次结构之外的任何人都不能使用node_t？