使用 'typename' 关键字将非类型视为依赖上下文中的类型

Question

我在AVL树类中收到此错误，如我代码的这一部分的标题中所述：

template <class T>
std::unique_ptr<AVL<T>::TreeNode> AVL<T>::rightRotate(std::unique_ptr<TreeNode>& y) {
std::unique_ptr<TreeNode> x = std::move(y->left);
std::unique_ptr<TreeNode> T2 = std::move(x->right);
// Perform rotation
x->right = std::move(y);
x->right->left = std::move(T2);
// Update heights
/ x->right->height = std::max(height(x->right->left), height(x->right->right)) + 1;
x->height = std::max(height(x->left), height(x->right)) + 1;
return std::move(x);
}

最初我以为我可以在课堂上声明它，即std::unique_ptr<TreeNode> rightRotate(std::unique_ptr<TreeNode>& y);

有人知道问题是什么吗？另外，我不确定我是否应该发布更多我的类代码，试图保持最小。

Answer 1

由于类型AVL<T>取决于模板参数T，如果要引用其成员类型之一，则需要typename。因此，您必须键入std::unique_ptr<typename AVL<T>::TreeNode>而不是std::unique_ptr<AVL<T>::TreeNode>。

回避此问题的一种方法是使用尾随返回类型：

template <class T>
auto AVL<T>::rightRotate(std::unique_ptr<TreeNode>& y) -> std::unique_ptr<TreeNode> { /* ... */ }

使用尾随返回类型会强制在AVL<T>范围内查找返回类型中的TreeNode，就像在参数类型中一样。