c++ - 在 size_t 中使用负整数是否安全？

Question

我刚刚看到一些像这样的 C++ 代码。它使用一个条件来决定是通过 std::vector 向前走还是向后走。编译器没有提示，但我认为 size_t 是未签名的。这很危险吗？

vector<int> v { 1,2,3,4,5 };    
bool rev = true;

size_t start, end, di;
if (rev) {
    start = v.size()-1;
    end = -1;
    di = -1;
}
else {
    start = 0;
    end = v.size();
    di = 1;
}

for (auto i=start; i!=end; i+=di) {
    cout << v[i] << endl;
}

Answer 1

以这种方式使用无符号整数(并且 size_t 是无符号的)是明确定义的，带有环绕:该行为由标准保证，而不是有符号整数，它不由标准。

然而，它是不必要的聪明。

作为一般规则，为了避免由于隐式包装提升为无符号而引起的问题，对位级的东西使用无符号整数，对数字使用有符号整数。在您需要对应于 size_t 的有符号整数的地方，有适合您的 ptrdiff_t。定义一个带有签名结果的 n_items 函数，例如

using Size = ptrdiff_t;

template< class Container >
auto n_items( Container const& c )
    -> Size
{ return end( c ) - begin( c ); }

您就可以开始了，编译器不会再发出愚蠢的警告了。

---

而不是过于聪明的给定代码

vector<int> v { 1,2,3,4,5 };    
bool rev = true;

size_t start, end, di;
if (rev) {
    start = v.size()-1;
    end = -1;
    di = -1;
}
else {
    start = 0;
    end = v.size();
    di = 1;
}

for (auto i=start; i!=end; i+=di) {
    cout << v[i] << endl;

做例如

const vector<int> v { 1,2,3,4,5 };    
const bool reverse = true;  // whatever

for( int i = 0; i < n_items( v );  ++i )
{
    const int j = (reverse? n_items( v ) - i - 1 : i);
    cout << v[j] << endl;
}