C++重载运算符解析

Question

g++ 4.4.5

我有一个类扩展了 std::ofstream 类以添加一些功能。

 MyStream& MyStream::operator<<(const bool& val) {
  if(this->pos == 8) {
    this->pos = 0;
    ofstream::operator<<(this->curbyte); //call the parent method
  }
  curbyte = curbyte + (val << pos++);
  return *(this);
}

它基本上允许您将各个位写入为布尔值，然后它将使用父 << 写入每组 8 个位。方法。我必须在这里使用此调用语法，因为我正在调用基本方法，但在我使用此类的实际主方法中，我尝试调用以下行：

bout << (unsigned char) 255u;

我想调用 <<方法已经为 ofstream 和 unsigned char 定义，但它给了我一个很长的模糊重载错误，列出了已经为 ofstream (char, unsigned char,signed char) 和我自己的 bool 方法定义的所有与 char 相关的候选者，即使我显式转换为 char。不过，我确实设法让它与以下内容一起工作：

bout.operator<<((unsigned char) 255u);

这必须与 g++ 如何进行隐式转换有关（我的猜测是，在第一种情况下，在我的用户定义的转换之后，还有一个可能的转换，这使得它变得含糊不清）函数调用语法避免）。有谁确切知道为什么会发生这种情况，或者是否有更好的语法可以避免该错误？

Answer 1

std::ostream 中定义为成员函数的运算符<< 不是虚拟。您的运算符<<隐藏此函数的所有基类版本，因此它们对于重载解析不可见。然而，定义为自由函数的运算符<<是可见的。

采用 char、unsigned char 和 signed char 的运算符<<都是自由函数。

这意味着在大约<< (unsigned char) 255u 您的成员函数和采用 unsigned char 的自由函数对于重载解析都是可见的。

要调用采用 unsigned char 的自由函数，您的类实例必须绑定到对基类的引用，这算作“转换”，但右侧不需要转换。要调用成员函数，unsigned char 必须转换为 bool - 再次“转换”，但左侧不需要转换。这些转换序列都不比另一个更好，因此调用是不明确的。

Answer 2

对于刚接触 iostream 的人来说，这是一个常见的错误，即派生新的流类型，因为您想以不同的方式输出数据。

您也不能添加自己的操作，即不能扩展 iomanip。

以不同格式输出数据的正确方法是对要输出的数据进行包装：

ostream& os << my_formatter(t);

对于不同类型的 t.

然后，您可以将 my_formatter 作为仅返回 t 的模板函数，除非它已被专门化。您还可以给它多个参数。 （它将返回一个包含对基础数据的引用的类，并且将重载运算符<<）。