用正确的整数类型替换数组访问变量

Question

我有使用int访问数组的习惯（尤其是在for循环中）；然而，我最近发现我可能“做错了”，我的x86系统一直对我隐瞒真相。事实证明，当sizeof（size_t）==sizeof（int）时，int很好，但当用于sizeof（size_t）的系统时

下面是一个缩短的示例

int vector_get(int *v,int i){ return v[i]; }

    > movslq    %esi, %rsi
    > movl  (%rdi,%rsi,4), %eax
    > ret

int vector_get(int *v,size_t i){ return v[i]; }

    > movl  (%rdi,%rsi,4), %eax
    > ret

好的，我已经修复了自己（现在使用size\u t和ptrdiff\u t），现在我如何（希望不是手动）在代码中找到这些实例，以便修复它们？

最近我注意到一些补丁，包括从int到size\u t的变化。

我把在每个实例上插入的额外指令放在一起，以显示“做错一切”的结果。

注意：long、long、un符号long、un符号long、size_t和ptrdiff_t不需要额外的mov*操作（基本上任何东西

编辑：

我想我可能有一个可行的存根来修补gcc，但我不知道如何在其源代码周围完成存根并添加适当的Wflag位，像往常一样，编程最困难的部分是命名东西-Wunalinged索引？

gcc/c/c-typeck。c

if (!swapped)
    warn_array_subscript_with_type_char (index);
> 
> if ( sizeof(index) < sizeof(size_t) ) 
>   warning_at (loc, OPT_Wunaligned_index,
>       "array index is smaller than size_t");

/* Apply default promotions *after* noticing character types.  */
index = default_conversion (index);

gcc/c-系列/c.opt _____________________________________________

trigraphs
C ObjC C++ ObjC++
-trigraphs  Support ISO C trigraphs
> 
> Wunaligned-index
> C ObjC C++ ObjC++
> Warn about array indices smaller than size_t

undef
C ObjC C++ ObjC++ Var(flag_undef)
Do not predefine system-specific and GCC-specific macros

gcc/c-family/c-opts。c

case OPT_Wtrigraphs:
  cpp_opts->warn_trigraphs = value;
  break;
>
> case OPT_Wunaligned_index:
>   cpp_opts->warn_unaligned_index = value;
>

case OPT_Wundef:
  cpp_opts->warn_undef = value;
  break;




Answer 1

movslq指令符号将长（即4字节量）扩展为四（即8字节量）。这是因为int是有符号的，因此偏移量，即-1，作为长。如果你只是零扩展（即没有movslq），这将是0x00000000ffffffff，也就是4294967295，这可能不是你想要的。因此，编译器符号扩展索引以产生0xffff ，也称为-1。

其他类型不需要额外操作的原因是，尽管其中一些被签名，它们仍然是相同的8字节大小。而且，由于两个的补码，0xffff...可以解释为-1或18446744073709551615，64位和仍然相同。

但是请注意，这种“自动零扩展”并不适用于1字节和2字节的数量——这些数量必须手动零扩展。

Answer 2

匿名用户

clang和gcc有-Wchar下标，但这只会帮助检测char下标类型。

您可以考虑修改clang或gcc（在您的基础结构上更容易构建的），以扩展由Wchar下标检测到的类型。如果这是一次性修复，那么这可能是最简单的方法。

否则，您需要找到一个抱怨非size\u t/ptrdiff\u t订阅的linter；我不知道有谁有这个选择。