C 中模数（数学函数）的等价物？

Question

我有一段代码，其中显示一条警告：

我正在对有符号数字和无符号数字进行比较。
像 int <= CONSTANT/sizeof(expression) 之类的东西

纠正这个问题的最佳方法是什么？我相信取有符号数的模然后进行比较，对吧？我的意思是我在表达式上除以 sizeof 运算符后得到无符号数。所以另一种方法可能是让这个 rhs 签名

如果是的话，c 中有一个函数可以让我这样做吗？我进行了快速搜索，他们说 % 表示模数，这显然不是我要找的。

这是实际的警告

警告：有符号和无符号整数表达式之间的比较

，这是实际的代码行

函数A(......, int num, ....) {

assert( num <= MAX_SIZE/sizeof(int));//其中 MAX_SIZE 为 #define MAX_SIZE 1000

}

Answer 1

如果您知道正确的操作数是 <= INT_MAX，则可以将其强制转换为 int。

int bla;

...

if (bla < (int) sizeof expr) {
    ...
}

但是，如果您可以将对象 bla 的类型更改为 size_t （这是 sizeof 生成的值的类型），那就更好了比铸造。

Answer 2

只需将一侧投射到另一侧即可。如果将其转换为无符号数，则必须确保有符号数不是负数 - 否则 -1 -1 -1 -1 -1 -1 100 将不会得到所需的结果，因为 (unsigned)(-1) == UINT_MAX -，或者如果将其转换为有符号，则无符号数不会溢出。在这些情况下，添加额外的条件来治疗它们。

对于上述特殊情况，我将使用

assert(num <= (int)(MAX_SIZE/sizeof(int)));
// num <= MAX_SIZE/(int)sizeof(int) if I'm in a mean mood

if num 可能为负数并且

assert((unsigned)num <= MAX_SIZE/sizeof(int));

if num 保证为非负数。

Answer 3

正如我所看到的，您的 int num 允许采用任何负值和正值，最大为 MAX_SIZE/sizeof(int) 。否则，您肯定会将 num 声明为无符号整数...

通过此附加条件扩展您的断言语句对您的情况有帮助吗？

assert( num < 0 || /* make the signed check */
  (unsigned int)num <= MAX_SIZE/sizeof(int) /* the unsigned remainder */
  );