std :: map覆盖错误的密钥

时间:2018-04-10 03:32:27

标签: c++ algorithm dictionary breadth-first-search

所以我正在编写一个使用BFS算法解决迷宫的代码。因为我必须显示路径,所以我使用地图来存储父节点。不幸的是,当父节点应该保持不变时会被覆盖。这是代码

//Data structure to store the coordinates for easy access
class Point
{
public:
    int x;
    int y;
    // For using map
    bool operator<(const Point& p) const {
        return this->x < p.x && this->y < p.y;
    }
    bool operator==(const Point& p)const {
        return this->x == p.x && this->y == p.y;
    }
};


// A function to be used in algo
// Return: Bool whether the value is in range
bool isValid(int row, int col)
{
    return (row >= 0) && (row < ROW) &&
        (col >= 0) && (col < COL);
}

// Off sets for the neighbours
int rowOffsets[] = { -1, 0, 0, 1 };
int colOffsets[] = { 0, -1, 1, 0 };


// The main BFS Algorithm
vector<Point> BFS(int mat[ROW][COL], Point source, Point destination)
{

    bool visited[ROW][COL]; // An array to check whether the node is visited
    memset(visited, false, sizeof(visited)); // Set all the values to false

                                             // Mark the source as visited
    visited[source.x][source.y] = true;

    // Change the ! and * to movable spaces
    for (int i = 0; i < ROW; ++i)
        for (int j = 0; j < COL; ++j)
            if (mat[i][j] == 99 || mat[i][j] == -01)
                mat[i][j] = 0;

    // Create the queue
    queue<Point> q;

    // The parent map. Second denotes the parent for the first.
    map<Point, Point> parent;

    q.push(source);  // Enqueue source cell

    // Let's Start!
    bool success = false;
    while (!q.empty())
    {
        Point current = q.front();


        // Reached the destination?
        if (current.x == destination.x && current.y == destination.y) {
            success = true;
            break; // Continue to the next stuff
        }
        // Deque it
        q.pop();
        // Continue BFS with other nodes
        for (int i = 0; i < 4; i++)
        {
            int row = current.x + rowOffsets[i];
            int col = current.y + colOffsets[i];

            // if adjacent cell is valid, has path and not visited yet, enqueue it.
            if (isValid(row, col) && !mat[row][col] && !visited[row][col])
            {
                // mark cell as visited and enqueue it
                visited[row][col] = true;
                Point Adjcell = { row, col };
                parent[Adjcell] = current; // Certify the parent
                q.push(Adjcell);
            }
        }
    }

    // Trace back
    if (!success)
        return {};
    Point node = parent[destination]; // The first path

    vector<Point> path;
    while (node.x != source.x || node.y != source.y) {
        path.push_back(node);
        node = parent[node];
    }
    return path;
}

当我使用我构建的迷宫运行此BFS算法时,地图显示了一些非常奇怪的行为。这是一个例子:

The original 这是原始地图。显然,从代码和调试器中,应该有一个adjCell(2,1)的条目,其中parent为(1,1)对吗?但不是:

Unchanged 什么都没发生。这完全被忽略了。好吧,让我们说系统一次拖着我:(至少现在应该有(1,3)新的条目,(1,2)作为父母。但是没有:

Overwritten 值被覆盖了!这怎么可能?不应该有新的价值吗?怎么来(1,2)&amp; (1,3)是一样的吗?

最后,这是一个奇怪的观察:如果我在Point

中更改此代码
bool operator<(const Point& p) const {
    return this->x < p.x && this->y < p.y;
}

bool operator<(const Point& p) const {
    return this->x < p.x;
}

最后父级的大小从7变为13.我最好的猜测是在map类中插入有问题。由于操作员&lt;对它来说是“关键”,我可能会遗漏一些东西。但我没有任何确定的线索。真的很感激任何帮助。

1 个答案:

答案 0 :(得分:8)

operator<函数实现不正确。它不符合严格弱键排序的标准。

使用

bool operator<(const Point& p) const {
    return std::tie(this->x, this->y) < std::tie(p.x, p.y);
}

如果您想手动编写正确的实现代码,请使用:

bool operator<(const Point& p) const {
    if ( this->x != p.x )
    {
       return (this->x < p.x);
    }
    return (this->y < p.y);
}