问题描述
我刚刚看到了一些这样的C ++代码.它使用条件来决定是通过std::vector
向前还是向后走.编译器没有抱怨,但是我认为size_t
是未签名的.这很危险吗?
I just saw some C++ code like this. It was using a condition to decide whether to walk forward or backward through a std::vector
. The compiler doesn't complain, but I thought size_t
was unsigned. Is this dangerous?
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;
}
推荐答案
使用无符号整数(并且size_t
是无符号)的定义很明确,并且具有环绕效果:该行为由标准保证,而不是与带符号的整数,这是标准所不能保证的.
It's well defined to use unsigned integers (and size_t
is unsigned) this way, with wraparound: that behavior is guaranteed by the standard, as opposed to with signed integers, where it's not guaranteed by the standard.
但是它不必要地聪明.
作为一般规则,为避免因将促销内容隐式包装为无符号而引起的问题,请对位级内容使用无符号整数,对数字使用有符号整数.在需要与size_t
相对应的有符号整数的地方,您可以找到ptrdiff_t
.定义一个带有签名结果的n_items
函数,例如
As a general rule, to avoid problems due to implicit wrapping promotions to unsigned, use unsigned integers for bit-level stuff, use signed integers for numbers. Where you need a signed integer corresponding to size_t
there's ptrdiff_t
for you. Define an n_items
function with signed result, e.g.
using Size = ptrdiff_t;
template< class Container >
auto n_items( Container const& c )
-> Size
{ return end( c ) - begin( c ); }
您就可以开始使用了,编译器不再发出任何愚蠢的警告.
and you're set to go, no more sillywarnings from the compiler.
不是给定的代码太聪明
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;
}
这篇关于在size_t中使用负整数是否安全?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!