类成员容器迭代器在成员函数 std::find 中不兼容，但为什么不兼容呢？

Question

我遇到了一些我似乎无法理解的行为。假设我有一个定义如下的类（一个简单的示例）：

class some_class
{
   public:
        some_class()
        {
            x_["0"] = "0";
            x_["1"] = "1";

            y_[0] = x_.find("0");
            y_[1] = x_.find("1");
        }

        int some_function(int i)
        {
            if(std::find(y_.begin(), y_.end(), x_.find("1")) != y_.end())
            {
                std::cout << "Found!" << std::endl;

                return 1001;
            }

            return -1001;
        }

   private:
       std::unordered_map<string, string> x_;
       std::array<unordered_map<string, string>::iterator, 2> y_;
};

代码在调试模式下使用 Visual Studio 2012 RC 编译（其他模式未测试），但在调用 some_function 期间程序失败并显示以下断言消息

... microsoft visual studio 11.0\vc\include\list 行：289

表达式：列表迭代器不兼容...

调用代码是这样的

auto vector<int> as;
as.push_back(1);   

auto vector<int> bs;   
auto some = some_class();

std::transform(as.begin(), as.end(), std::inserter(bs, bs.begin()), [=](int i) { return  some.some_function(i); });

问题：

这种安排会有什么问题？如果我在 some_function 中声明 x_ 和 y_ 而不是作为成员变量，我可以让代码运行良好。该类在 std::transform 之类的情况下被调用/使用，如果这种情况应该考虑的话。

^{顺便说一句，下面的声明似乎会被编译器拒绝，是否应该被拒绝？}

std::unordered_map<string, string> x_;
std::array<decltype(x_.begin()), 2> y_;

错误信息是

错误 C2228: '.begin' 的左边必须有类/结构/联合

Answer 1

你的情况。

#include <unordered_map>
#include <array>
#include <iostream>
#include <string>

class some_class
{
   public:
        some_class()
        {
            x_["0"] = "0";
            x_["1"] = "1";

            y_[0] = x_.find("0");
            y_[1] = x_.find("1");
        }

        int some_function()
        {
            if(std::find(y_.begin(), y_.end(), x_.find("1")) != y_.end())
            {
                std::cout << "Found!" << std::endl;

                return 1001;
            }

            return -1001;
        }

   private:
       std::unordered_map<std::string, std::string> x_;
       std::array<std::unordered_map<std::string, std::string>::iterator, 2> y_;
};

void function(some_class cl)
{
    cl.some_function();
}

int main()
{
    some_class c;
    function(c);
}

您的iterators 指向另一个map 的元素，后者存储在copy-ctor 之后的this 中，并且在find 中有比较。

    bool operator==(const _Myiter& _Right) const
        {   // test for iterator equality
 #if _ITERATOR_DEBUG_LEVEL == 2
        if (this->_Getcont() == 0
            || this->_Getcont() != _Right._Getcont())
            {   // report error
            _DEBUG_ERROR("list iterators incompatible");
            _SCL_SECURE_INVALID_ARGUMENT;
            }

对于 decltype -

std::unordered_map<string, string> x_;
std::array<decltype(x_.begin()), 2> y_;

class-block 不正确，因为没有对象。如果x_ 将是static，这将有效。