为什么循环变量必须在并行 for 中进行签名？

Question

我刚刚通过在线教程和资源学习 OpenMP。我想使用并行 for 循环对矩阵求平方（将其与其自身相乘）。在 IBM 编译器文档，我发现“迭代变量必须是有符号整数”的要求。 GCC 的实现也是如此吗？ OpenMP 标准中有规定吗？如果是这样，这个要求有理由吗？

（这并不重要，因为预期的尺寸远小于 INT_MAX，但它确实花费了我一些转换。）

Answer 1

引用 为什么不允许使用未签名的 OpenMP 索引变量？：

根据OpenMP 2.0 C/C++
API 规范 (pdf)，部分
2.4.1，这是for循环的限制之一。没有给出理由
为了它，但我怀疑这只是为了
简化代码的假设
编译器必须做出，因为
有特殊的代码来确保
范围不超过最大值
类型的值。

OpenMP 3.0 显然允许
无符号类型也有，但我没见过
它还在行动。

简而言之，它是标准的一部分，下一版本将允许无符号整数。

Answer 2

这背后可能有一个原因。 同一篇文章说

• b, ub, incr 是循环不变的有符号整数表达式，
• exit_cond 的形式为：iv <= ub< /code> 或 iv < ub 或 iv >= ub 或 iv >= ub （其中 iv 是您询问的迭代变量）

，因为 exit_cond 条件涉及比较，并且比较是针对有符号的 ub< /code> 变量循环变量 iv 必须进行签名以避免有符号/无符号比较可能出现的问题。

Answer 3

根据 OpenMP 3.0 规范： http://www.openmp.org/mp-documents/spec30 .pdf，变量可以是有符号或无符号整数类型，请参见2.5.1 循环构造。问题是给定的 OpenMP 实现是否符合这个最新规范。

Answer 4

回答您关于gcc的第一个问题。不，看起来gcc很容易接受unsigned或size_t循环变量，

#pragma omp parallel for
for (size_t i = 0; i < N; ++i) {
  /* do it */
}

至少像我的（64位ubuntu上的gcc v 4.4）一样不要抱怨，并做正确的事。