这个避免有符号/无符号比较的 C 转换是否有意义？

Question

我正在审查一个 C++ 项目，并有效地看到以下内容：

std::vector<SomeType> objects;

//then later
int size = (int)objects.size();
for( int i = 0; i < size; ++i ) {
    process( objects[i] );
}

这是我所看到的。 std::vector::size() 返回 size_t，其大小可以与 int 的大小无关。即使 sizeof(int) == sizeof(size_t) int 有符号，也不能容纳 size_t 的所有可能值。因此上面的代码只能处理很长向量的下半部分并且包含一个错误。正确的方法是使用 size_t 作为 size 变量和循环索引。

那我很好奇作者为什么要写这个？

我唯一的猜测是，首先他省略了 (int) 转换，编译器发出了类似 Visual C++ C4018 警告：

warning C4018: '<' : signed/unsigned mismatch

因此作者认为避免编译器警告的最佳方法是将 size_t 强制转换为int 从而使编译器关闭。

C 演员阵容还有其他可能的合理原因吗？

Answer 1

不，这可能就是原因。另外，向量可能永远不会太长，以至于有截断大小的风险（应用程序开发人员会知道这一点）。

而且......也许在程序的某些部分，他实际上将“size”与其他 int 类型的东西进行了比较，因此将 size 设置为“size_t”类型将在一个地方修复它，但在其他地方破坏它。

Answer 2

我想说的是，在 C 和 C++ 中大量使用 C 强制转换只是为了让编译器关闭，而很少或根本没有努力去尝试理解它告诉你的内容。悲伤，但却是事实。

Answer 3

明显的答案是使用：

size_t size = objects.size();
for( size_t i = 0; i < size; ++i ) {
    process( objects[i] );
}

或者迂腐地正确：

typedef std::vector<SomeType>::size_type s_t;
s_t size = objects.size();
for (s_t i=0; i<size; ++i)
    process(objects[i]);

OTOH，除非您确定需要自己编写循环，否则通常最好使用算法：

std::foreach(objects.begin(), objects.end(), process);

Answer 4

unsigned int size = (int)objects.size();
for( unsigned int i = 0; i < size; ++i ) {
    process( objects[i] );
}