我想学习stl中的红黑树的代码。我在文件 bits/stl_tree.h 中找到了一个名为 _Rb_tree_increment 的函数
它写道：
143 _GLIBCXX_PURE _Rb_tree_node_base*
144 _Rb_tree_increment(_Rb_tree_node_base* __x) throw ();
但是我找不到这个函数的定义。有人可以帮忙吗？
非常感谢。
【问题讨论】：
就像@Mike Seymour 说的，我在库的源路径上找到了定义，更准确地说是在gcc-4.8.1/libstdc++-v3/src/c++98/tree.cc：
static _Rb_tree_node_base*
local_Rb_tree_increment(_Rb_tree_node_base* __x) throw ()
{
if (__x->_M_right != 0)
{
__x = __x->_M_right;
while (__x->_M_left != 0)
__x = __x->_M_left;
}
else
{
_Rb_tree_node_base* __y = __x->_M_parent;
while (__x == __y->_M_right)
{
__x = __y;
__y = __y->_M_parent;
}
if (__x->_M_right != __y)
__x = __y;
}
return __x;
}
_Rb_tree_node_base*
_Rb_tree_increment(_Rb_tree_node_base* __x) throw ()
{
return local_Rb_tree_increment(__x);
}
const _Rb_tree_node_base*
_Rb_tree_increment(const _Rb_tree_node_base* __x) throw ()
{
return local_Rb_tree_increment(const_cast<_Rb_tree_node_base*>(__x));
}
【讨论】：
if 声明：__x->_M_right 怎么可能等于__y（即它的祖父母）？
x 可能会“争夺”到根，但 __y = __y->_M_parent。如果x 是根，你怎么能检查__x == __y->_M_right？这意味着根的父级不是nullptr？在我看来，根的父母是它的左孩子（也许，我不确定）
if (... __x->_M_parent->_M_parent == __x)。所以是的，对于根，元素的祖父母可以是该元素本身。这可能是为了维护指向树的第一个和最后一个元素的特殊指针，这样begin()、end 和std::prev(end) 都是高效的，不需要筛选树来找到第一个或最后一个元素，分别。
_Rb_tree_insert_and_rebalance()，可以看出__header._M_parent实际上是指根节点，而__header._M_left和__header._M_right指的是最左边的节点（=begin()）和最右边的节点（=std::prev(end())）分别。 __header() 节点本身代表 end() 迭代器。您已经看到的特殊条件可能存在，因此 operator++ 和 operator-- 实际上不会超过开头/结尾。
该定义取决于您拥有的标准库。不同的编译器供应商通过他们的编译器提供标准库的不同实现。看来您找到了一个非模板函数。这应该在某些 cpp 中定义，它将与编译器一起在 lib 文件中提供，因此您无法直接访问代码，因为它不会随您的编译器一起提供 - 这根本没有必要。
如果您的编译器是专有编译器，例如来自 Microsoft 或 Borland，这就是你所能得到的。但是，如果您有 gcc，那么您很幸运：gcc 是开源的，您可以在线找到标准库的 gcc 实现的源代码。
【讨论】：
它将在库的源代码中，您可能没有。
看起来您正在查看 GNU 库的标头，因此here 将是开始寻找源代码的好地方。
【讨论】：