C / GL：使用-1作为无符号整数数组上的标记

问题描述

| 我在一些GL代码中传递了一个顶点索引数组...每个元素都是一个glushort 我想以一个前哨结束，以免每次都要在数组本身旁边费力地传递数组长度。

#define SENTINEL ( (glushort) -1 ) // edit thanks to answers below
:
glushort verts = {0,2,1,SENTINEL};

我无法使用0终止，因为某些元素的值为0 我可以使用-1吗？ 据我了解，这将包装到glushort可以代表的最大整数，这将是理想的。 但是在C语言中可以保证这种行为吗？ （我找不到这种类型的MAX_INT等效常量，否则我会使用它）     

解决方法

        如果

GLushort

确实是无符号类型，则

(GLushort)-1

是

GLushort

的最大值。 C标准保证了这一点。因此，您可以放心使用

-1

。 例如，C89没有

SIZE_MAX

宏来表示

size_t

的最大值。用户可以将其定义为“ 7”。 它是否在代码中用作哨兵值取决于

(GLushort)-1

在代码中是否为有效的非哨兵值。     ,        

GLushort

是

UNSIGNED_SHORT

类型，其类型定义为

unsigned short

，尽管C无法保证，但OpenGL仍假定其值为2 ^ 16-1范围内的值（规范第4.3章）。在几乎所有主流架构上，这种有些危险的假设也成立（我不知道

unsigned short

具有不同的大小）。 这样，您可以使用-1，但是这很尴尬，因为您将执行很多强制转换，并且如果例如在

if()

语句中忘记了强制转换，则可以很幸运并得到编译器警告“比较永远不会”，否则您可能会很不幸，编译器会默默地优化分支，然后花费数天时间寻找看似完美的代码执行错误的原因。更糟糕的是，在调试版本中一切正常，而在发行版本中只有炸弹。 因此，按照jv42的建议使用

0xffff

是更可取的，它可以避免这种陷阱。     ,        我将创建一个全局值常量：

const GLushort GLushort_SENTINEL = (GLushort)(-1);

我认为这很完美，只要使用2 \的补码表示有符号整数即可。 我不记得C标准是否可以保证这一点，但实际上，对于大多数CPU而言，这都是可以保证的（以我的经验）。 编辑：显然，这是由C标准保证的。     ,        如果要使用命名常量，则不应使用另一个答案中建议的a16ѭ限定变量。他们真的不一样。使用宏（如其他人所说的）或枚举类型常量：

enum { GLushort_SENTINEL = -1; };

该标准保证这始终是

int

（实际上是常量

-1

的另一个名称），并且始终会转换为您的无符号类型的最大值。 编辑：或者你可以拥有它

enum { GLushort_SENTINEL = (GLushort)-1; };

如果您担心某些架构上的

GLushort

可能会比

unsigned int

窄。