“字符串流”论证顺序麻烦

Question

我在 stringstream 方面遇到了一个奇怪的问题。

#include "stdafx.h"
#include "iostream"
#include "sstream"

using namespace std;

struct Test
{
    float f;
};

wstringstream& operator <<( wstringstream& sstream , const Test& test )
{
    sstream << test.f;
    return sstream;
}

int _tmain(int argc, _TCHAR* argv[])
{
    Test a;
    a.f = 1.2f;

    wstringstream ss;
    ss << L"text" << a << endl; // error C2679!
    ss << a << L"text" << endl; // it works well..

    getchar();
    return 0;
}

问题就在这里：

ss << L"text" << a << endl; // error C2679!
ss << a << L"text" << endl; // it works well..

这两个语句之间的唯一区别是参数顺序。为什么第一个语句失败而第二个语句有效？

Answer 1

不要将您的运算符<<限制为只能与wstringstream一起使用，编写它以便它可以与任何宽流一起使用：

std::wostream& operator <<(std::wostream& sstream, Test const& test)
{
    return sstream << test.f;
}

或与任何流（宽或窄）一起使用：

template<typename CharT, typename TraitsT>
std::basic_ostream<CharT, TraitsT>&
operator <<(std::basic_ostream<CharT, TraitsT>& sstream, Test const& test)
{
    return sstream << test.f;
}

Answer 2

简短回答

问题是 ss << L"text" 为您提供一个 std::wostream，而不是 std::wstringstream。

您仅为 std::wstringstream 创建了一个 operator<<，因此下一个操作（您尝试在 a 上执行的操作）失败了。

长答案

当您编写类似的内容时，

ss << L"text" << a << endl;

您不会调用具有四个参数的函数。

事实上，您正在链接多个操作：

((ss << L"text") << a) << endl;

这是有效的，因为每个 operator<< 操作都会返回对原始流对象的引用，以便您可以继续以这种方式链接更多操作。

但是，由于 iostream 形成继承层次结构，并且 operator<< 适用于任何输出流，因此对 wstringstream 操作的返回类型比 wstringstream 稍微不太具体。

事实上，ss << L"text" 计算结果为 wostream&（wostream 是 wstringstream 的基类之一）。该引用仍然引用相同的原始流对象...但它具有基类类型。

因此，涉及 a 的第二个操作具有以下活动操作数：

• a wostream& （在左侧）
• a Test （在右侧）

< strong>但是你没有wostream&运算符<<(wostream&, Test const&)。您只创建了一个 wstringstream&运算符<<(wstringstream& sstream, Test const& test)，因此没有匹配项。

因此，事实上，在为宽 iostream 创建 operator<< 时，您应该使其适用于所有 wostream（显然没有将其限制为 wstringstreams 的原因：

wostream& operator<<(wostream& sstream, Test const& test)
{
    sstream << test.f;
    return sstream;
}

更进一步，为什么要限制自己使用宽流？为什么不也有普通的呢？

template<typename CharT, typename TraitsT>
std::basic_ostream<CharT, TraitsT>&
operator<<(std::basic_ostream<CharT, TraitsT>& sstream, Test const& test)
{
    sstream << test.f;
    return sstream;
}

现在，您将能够正确地将 Test 类的对象流式传输到 wostream、ostream 及其所有后代。