二进制补码形式的64位负整数

Question

我正在阅读GNU PDF库的源代码,特别是它们对64位整数的实现.他们将64位整数定义为两个32位整数的结构 - 高阶int是有符号的,低阶int是无符号的.这是头文件中的相关代码:

/*Definition of internal structure of the pdf_i64_t type*/
struct pdf_i64_s
{
  pdf_i32_t   high;
  pdf_u32_t low;
};

typedef struct pdf_i64_s pdf_i64_t;

根据架构手册,负数以二进制补码形式表示.我对此功能有疑问:

[来自pdf-types.c的代码]

void pdf_i64_assign_quick (pdf_i64_t *bignum,
                      const pdf_i32_t value,
                  pdf_status_t *p_status)
{
  ASSIGN_SAFE(p_status, PDF_OK);

  if (bignum != NULL)
    {
      if (value < 0)
        {
          bignum->high = 0xFFFFFFFF;
        }
      else
        {
          bignum->high = 0;
        }
      bignum->low = value;
    }
  else
    {
      ASSIGN_SAFE(p_status, PDF_ERROR);
    }
}

根据我的阅读,要获得数字的二进制补码,您需要反转所有位并将结果加1.但是在上面的函数中,对于值<0,它们只是将高阶位设置为0xFFFFFFFF,而根本不改变低阶位.不应该将'value'的位反转,然后加1？有人可以解释一下吗？

谢谢.

Answer 1

你会注意到value是已签署的32位整数-如果它是消极的,它已经被适当地反转.所有需要做的就是符号扩展.