如何测试 size_t -1 是否未定义，其中 size_t 为 0?

Question

这个问题涉及在邻接矩阵上运行的深度优先搜索的边缘.
给定邻接矩阵：

{1,0,0,1},
{1,1,0,0},
{0,0,0,1},
{1,1,1,1}

我有一个完美工作的DFS，如下所示：

typedef std::vector<std::vector<short>> matrix;
void myClass::dfs(short row, short column, std::shared_ptr<matrix> m_visited, const matrix &sky) {

if (m_visited->at(row).at(column) == 1) {
return;
}
m_visited->at(row).at(column) = 1; //Mark the node as visited
if(row+1 <= sky.size()-1 && sky.at(row+1).at(column) == 1) { //Look horizontally forward
dfs(row+1, column, m_visited, sky);
}
if(row-1 >= 0 && sky.at(row-1).at(column) == 1) { //Look horizontally backward
dfs(row-1, column, m_visited, sky);
}
if(column+1 <= sky.at(0).size()-1 && sky.at(row).at(column+1) == 1) { //Look vertically down
dfs(row, column+1, m_visited, sky);
}
if(column-1 >= 0 && sky.at(row).at(column-1) == 1) { //Look vertically up
dfs(row, column-1, m_visited, sky);
}
}

现在，我被赋予了替换>std::vector<std::vector<short>> matrix
with
std::unordered_set<std::vector<size_t>> matrix的明确任务

我的问题：
size_t是无符号的，所以例如当row = 0(其中行的类型为size_t(，row -1是未定义的，并且(row -1 > 0)在我的编译器上计算为true。

如何使用size_t测试row -1是否仍在邻接矩阵的边界内？

Answer 1

这是简单的数学：row - 1 > 0 <=> row > 1和column - 1 > 0 <=> column > 1。您可以替换

if(row-1 >= 0 && sky.at(row-1).at(column) == 1)

跟

if(row >= 1 && sky.at(row-1).at(column) == 1)

和

if(column-1 >= 0 && sky.at(row).at(column-1) == 1)

跟

if(column >= 1 && sky.at(row).at(column-1) == 1)

您还应该考虑更换

if(row+1 <= sky.size()-1 && sky.at(row+1).at(column) == 1)

跟

if(sky.size() >= 2 && row <= sky.size()-2 && sky.at(row+1).at(column) == 1)

和

if(column+1 <= sky.at(0).size()-1 && sky.at(row).at(column+1) == 1)

跟

if(sky.at(row).size() >= 2 && column <= sky.at(row).size()-2 && sky.at(row).at(column+1) == 1)

以避免各种环绕。