C++ - 用于 <int, pair<char,char>> 形式的变体的流/cout

问题描述

我已经尝试了在流式传输变体内容时可以找到的所有片段，但在我的特定用例中似乎没有任何效果：

给定形式 std::variant<int,std::pair<char,char>> myVar 的变体，如何在不明确知道 myVar 包含什么的情况下流式传输 myVar 的内容。

例如：

#include <iostream>
#include <variant>

typedef std::variant<int,char>> myVar;

template <typename T>
std::ostream& operator<<(std::ostream& os,std::pair<T,T> &p) {
    os << "(" << p.first << "," << p.second << ")";
    return os;
} // This is so we can stream a pair...

/*
...black box to stream variant here...
*/

std::pair<char,char> testPair = {'X','a'};
int testInt = 5;
myVar testVariant = testInt;

std::cout << testVariant << "\n" // Should print 5.

testVariant = testPair;

std::cout << testVariant << "\n" // Should print (X,a).

我用于流式传输变体的任何片段，例如

template<typename T,typename... Ts>
std::ostream& operator<<(std::ostream& os,const std::variant<T,Ts...>& v)
{
    std::visit([&os](auto&& arg) {
        os << arg;
    },v);
    return os;
}

在这种情况下它失败并返回以下错误消息：

"Invalid operands to binary expression ('std::ostream' (aka 'basic_ostream<char>') and 'const std::__1::pair<char,char>')" 错误 --- 无论我尝试什么，这都是我得到的！

我无法弄清楚这段代码有什么问题。请有人帮我找出并解决这里的问题吗？

像 boost 这样的第三方库是绝对不行的。

解决方法

您的代码（几乎）没问题，但不是常量正确的。流输出运算符应该接受该值作为 const 引用。你的不是。

虽然模板类型不匹配的错误消息可能难以阅读，但它们通常会告诉您问题所在。在这种情况下，您会看到它正在尝试匹配 const 类型，而候选对象是非常量。

因此，正确的解决方法是将第二个参数设为 const：

template <typename T>
std::ostream& operator<<(std::ostream& os,const std::pair<T,T> &p) //...

这应该是显而易见的，因为实际变体的 operator<< 是 const。这意味着不可能从它包含的任何内容中获得非常量引用。

这是完整的工作程序，包含修复程序以及您遗漏的一些分号。

#include <iostream>
#include <variant>

typedef std::variant<int,std::pair<char,char>> myVar;

template <typename T>
std::ostream& operator<<(std::ostream& os,T> &p)
{
    os << "(" << p.first << "," << p.second << ")";
    return os;
}

template<typename T,typename... Ts>
std::ostream& operator<<(std::ostream& os,const std::variant<T,Ts...>& v)
{
    std::visit([&os](auto&& arg) { os << arg; },v);
    return os;
}

int main()
{
    std::pair<char,char> testPair = {'X','a'};
    int testInt = 5;
    myVar testVariant = testInt;
    std::cout << testVariant << "\n";
    testVariant = testPair;
    std::cout << testVariant << "\n";
}

输出：

5
(X,a)