“具有 << 运算符”类型的参数

Question

我需要在输出流上绘制我的对象，通常是cout。 但我也希望用户能够输入任何具有<< 运算符的流（例如QTextStream），因此不必每次都输入cout。 定义此类参数的最简单方法是什么？

所以这就是我想要的，可以编译的东西：

virtual void draw(GeneralOutStream out = std::cout)
{
    out <<  m_name << std::endl;
}

我知道我可以使用模板，（这就是我正在做的 atm。） 但我希望有一个不需要模板的解决方案。 但是，模板解决方案工作正常，所以基本上我只是好奇。

Answer 1

我能想到四种方法。

首先，将std::ostream 作为您的GeneralOutStream，并假设每个人都继承它。也许写一些东西来包装QTextStream，使其成为std::ostream。

其次，编写一个template 方法，接受GeneralOutStream&& out 并对其进行操作。这需要在您的标头中公开您的实现。我会推荐这个。非常强烈，但这确实意味着virtual 最终变得毫无用处。

第三，编写一个类型擦除GeneralOutStream，使用template 构造函数公开您希望在类中与之交互的一般输出流的部分，该构造函数将传入的泛型类型存储在pImpl 和@987654331 中@ 方法，然后在对象的实现中使用该类型。这具有运行时开销并且编写起来非常棘手，并且类似于 std::function 的模式——除了 GeneralOutStream 必须处理能够编写大量类型的能力！

如果我要编写#3，GeneralOutStream 将是一个template，它采用GeneralOutStream 应该处理的一系列类型，然后进行一些元编程以将这些重载准确地暴露给<<。这变得非常棘手，因为您需要手动复制重载决议。

第四，创建一个您想要支持的“GeneralOutStream”类型的枚举。使用双分派技术通过virtual 方法调用传递对这些类型实例的引用，在另一端解绑它们并调用您的实现template 方法，要求实现类处理整个枚举。这个实现比#3 稍微简单一些，限制了可以传递给draw 方法的类型，但允许在实现class 中完全访问该类型。

Answer 2

您想要任何流（派生自std::ostream）或具有<< 运算符的任何 对象的解决方案？

在第一种情况下，您可以传递对流对象的引用：

virtual void draw(std::ostream& out = cout) {
    out << m_name << std::endl;
}

传递副本不会编译。

在第二种情况下，主要问题是接口，因为看起来您想将该函数定义为虚拟成员。如果不是这种情况，并且您仍然想要 any 对象的解决方案（不是必需的标准 ostream，但任何定义了运算符 << 的对象），您将不得不使用模板。