为什么必须对循环变量进行并行签名?

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

引用 Why aren't unsigned OpenMP index variables allowed? :

根据 OpenMP 2.0 C/C++ API 规范(PDF),章节 2.4.1,这是for循环的限制之一。没有给出理由 但我怀疑这只是为了 简化代码 编译程序必须做,因为 有特殊的代码来确保 范围没有超出最大值 类型的值。

OpenMP3.0显然允许 也有无符号类型,但我没有看到 它在行动中。

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

这背后有一个可能的原因。这个 same article 说

• b, ub, incr 是循环不变的有符号整数表达式和
• exit_cond 形式: iv <= ub 或 iv < ub 或 iv >= ub 或 iv > ub (何处) iv 是您询问的迭代变量)

自从 外锥 条件涉及一个比较,并与签名进行比较 ub 变量循环变量 Ⅳ 必须签名以避免签名/未签名比较可能出现的问题。

回答你的第一个问题 gcc . 不,看起来 海湾合作委员会 容易接受 unsigned 或 size_t 循环变量

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

至少我的(64位Ubuntu上的GCC4.4)没有抱怨 和 做正确的事。