编译器警告

Question

假设我有这个(C++或C)代码:

vector<int> my_vector;
for (int i = 0; i < my_vector.size(); i++) {
    my_vector[i] = 0;
}

我不在乎它是否做得对.重要的部分是for循环声明.编译器为此提供了有符号/无符号的不匹配,因为size()返回unsigned int而不是signed符号.i改为无签名有多重要？我将循环计数器声称为习惯中的int,但如果这是一个潜在的错误,我会强迫自己摆脱这种习惯.

Answer 1

从技术上讲,i应该是一个vector<int>::size_type.你应该养成typedef在代码中使用s 的习惯:

typedef vector<int> VectorType;
VectorType my_vector;
for (VectorType::size_type i = 0; i < my_vector.size(); i++) {
    my_vector[i] = 0;
}

现在,如果我们将其更改为a deque,我们只更改一行.即使它是一个古怪的size_type的自定义容器,你会得到温暖,模糊的感觉,一切都会好的.这非常值得.即使只使用未签名/签名,使用签名/未签名转换也会有一些棘手的推广问题,这些问题不可避免地会让您感到困惑.

Answer 2

我会说这非常重要 - 您应该将警告编译为错误,并努力修复所有警告.如果你在代码中留下这样的问题,就很容易养成忽视警告的习惯,或者让像这样的误报淹没了表明真正问题的警告.

在这种情况下,对于这个特定的错误,它可能不是什么大问题 - 在32位平台上,在无符号将包装成负的有符号值之前,你必须在向量中有超过20亿个条目.要获得这样的向量会耗尽所有内存,因此可能无法进入有符号/无符号不匹配的状态.

Answer 3

在矢量大小超过的不太可能的情况下,这可能是重要的INT_MAX.如果向量的大小大于可以在signed中表示的最大值int,那么您的循环将永远不会终止.