迭代从 N 到 0（含）的所有值以获得无符号值

Question

我有这段代码适用于常规有符号整数，我正在尝试编写一个与 size_t 一起使用的等效版本（就像现在开始和计数是整数，我需要它们是 size_t）：

int count,start;
for (start = (count-2)/2; start >=0; start--)
{
     someFunction( x, start, count); // x is to illustrate function has other parameters
}

我觉得这样代码对于一个非常简单的解决方案来说足够简单，但我画了一个空白。

Answer 1

你可以这样重写它：

start = count/2;
while (start > 0){
    start--;
    someFunction( x, start, count);
}

否则，我能想到的唯一其他选择是在有符号和无符号之间进行一些非标准兼容的转换...或者用 ~(size_t)0 做一些事情...

以下是一些不符合标准的替代方案：

for (start = (count-2)/2; (ssize_t)start >= 0; start--)
{
     someFunction( x, start, count);
}

for (start = (count-2)/2; start != ~(size_t)0; start--)
{
     someFunction( x, start, count);
}

Answer 2

size_t cnt, start;
for (start = cnt/2; start-- > 0; ) { ... }

• if cnt=0 : start 将从零开始，循环代码将永远不会执行；循环结束后，start 将为 (size_t)-1
• if cnt=1 ：相同
• if cnt >=2 ：循环代码将至少执行一次；在第一次迭代中，start 将为 (cnt/2)-1；最后一次迭代的开始值为 0；循环开始后将是 (size_t)-1

编辑如果OP确实想为 cnt=1 循环一次，则需要一个三元组：

for (start = (cnt==1) ? 1 : cnt/2; start-- > 0; ) { ... }

Answer 3

只使用减一的值怎么样？

size_t start_plus_one;
for (start_plus_one = (count-2)/2+1; start_plus_one >=1; start_plus_one--)
{
     someFunction( x, start_plus_one-1, count); // x is to illustrate function has other parameters
}

Answer 4

您可以修复原始代码中的结束条件。 -1/2 在 C99 中保证为 0，这使得循环体执行一次，因此如果仍然需要，您可能需要特别对待 count == 1类型未签名后的行为。

size_t count = something;
if (count > 1) {
    for (size_t start = (count-2)/2; start != SIZE_MAX; --start) {
        someFunction(x, start, count);
    }
}

这是可行的，因为我们知道 start 的初始值不可能是 SIZE_MAX，因为除以 2 后不存在 size_t 的值SIZE_MAX。

对于更一般的循环，可能需要从 SIZE_MAX 开始，一直到 0（含），显然我们不能在循环体之前执行退出检查，因为我们希望循环体执行一次对于 size_t 的每个值，因此没有可以退出的值。为了允许这种情况：

size_t count = SIZE_MAX, start = SIZE_MAX;
do {
    someFunction(x, start, count);
} while (start-- != 0);

在所有情况下，SIZE_MAX 都可以替换为 -1，它更通用，因为它会转换为每个无符号类型的最大值，但是导致令人困惑的问题。