将 STL 容器内容与初始化列表进行比较答案

【问题标题】：Compare STL container contents to an initialiser list将 STL 容器内容与初始化列表进行比较
【发布时间】：2016-04-08 11:18:52
【问题描述】：

我想做类似的事情

std::vector<int> foobar()
{
    // Do some calculations and return a vector
}

std::vector<int> a = foobar();
ASSERT(a == {1, 2, 3});

这可能吗？

【问题讨论】：

尝试断言(a == std::vector({1, 2, 3}));
不，我想给出一个简化的例子，但我想我简化得太多了。
举个不太简单的例子）也许还有其他解决方案
为什么我被否决了？

标签： c++ c++11 stl

【解决方案1】：

很遗憾，您不能重载 operator== 以接受 std::initializer_list 作为第二个参数（这是语言规则）。

但您可以定义任何其他函数来获取对 initializer_list 的 const 引用：

#include <iostream>
#include <algorithm>
#include <vector>

template<class Container1, typename Element = typename Container1::value_type>
bool equivalent(const Container1& c1, const std::initializer_list<Element>& c2)
{
    auto ipair = std::mismatch(begin(c1),
                               end(c1),
                               begin(c2),
                               end(c2));
    return ipair.first == end(c1);
}


int main() {
    std::vector<int> x { 0, 1, 2 };
    std::cout << "same? : " << equivalent(x, { 0 , 1 , 2 }) << std::endl;
}

预期结果：

same? : 1

【讨论】：

很遗憾你不能为 initializer_list 重载运算符，你知道这是为什么吗？
我想不出一个好的理由。也许仅仅是因为std::initializer_list 是一个“特殊”类，它有一个设计目标——促进从文字中构造容器的构造函数？我们需要询问与该标准有关的人（如果确实有的话）。
我发现this question：似乎解析初始化器列表，因为运算符的 LHS 太难了，因此完全不允许运算符重载。

【解决方案2】：

是的：

ASSERT(a == std::vector<int>{1,2,3});

【讨论】：

我希望有一种方法可以不用std::vector<int>。
@dshepherd ：那你如何识别容器？如果a 是 1,2,3 的向量或包含 1,2,3 的 unordered_map，则 assert 语句的输出应该有所不同。
如果ASSERT是宏，记得加其他括号：ASSERT((a == std::vector<int>{1, 2, 3}));，否则编译不出来。
@vincentp 如果这是真的，那么ASSERT 的实现是错误的。正确编写的宏不应要求您使用特殊语法来调用它们。
@therainmaker 我不希望它允许与无序地图进行比较，但它可以与向量、数组和集合进行比较。

【解决方案3】：

您必须明确指定右手操作数的类型。例如

std::vector<int> v = { 1, 2, 3 };
assert( v == std::vector<int>( { 1, 2, 3 } ) );

因为operator == 是一个模板函数，编译器无法将第二个操作数推导出为std::vector<int> 类型

【讨论】：

【解决方案4】：

我所知道的最自然和/或“最漂亮”的工作实现，假设你想做的事情是不可能的（正如这个网站上的人多次说过的那样），是typedef你的vector输入如下：

typedef std::vector<int> vec;

ASSERT(a == vec({1, 2, 3}));

...vec 可以随意命名。

如果有人知道更自然的事情，请告诉我们。

【讨论】：