关于 C++ 的堆栈实现的一个快速问题标准库

Question

该行是什么：

template<typename _Tp1, typename _Seq1>
friend bool
operator==(const stack<_Tp1, _Seq1>&, const stack<_Tp1, _Seq1>&);

在 http://gcc. gnu.org/onlinedocs/libstdc++/libstdc++-html-USERS-4.4/a01367.html

做什么？

为什么 _Tp1 在争论列表中重复两次？ 谢谢，

Answer 1

这就像问为什么 in:

int strcmp( const char * a, const char * b );

const char * 重复两次 - 有两件事需要比较。 _Tp1 模板参数是存储在堆栈中的内容的类型 - 进行比较的两个堆栈必须存储相同的类型。

请注意，阅读标准库源代码不是学习 C++ 的好方法 - 您需要一本好书，例如 这个。

Answer 2

它声明了两个stacksa 友元函数之间的相等运算符类，这是访问私有成员所必需的。

const stack<_Tp1, _Seq1> 出现两次，因为有 2 个参数。

当然，它可以写成，

bool operator==(const stack<_Tp1, _Seq1>& y) const { return c == y.c; }

但 C++ 标准 (§[stack.ops] (23.3.5.3.4)) 似乎要求此运算符是一个自由函数。