为什么在将整数分配给指针时使用强制转换更好？

Question

假设我有这个代码：

  char *pointer;
  unsigned int a;
  pointer = a;

对我来说这不会产生任何问题，但我会收到以下警告：

assignment makes pointer from integer without a cast

为什么使用强制转换更好？ 我使用的是 32 位机器。

编辑： 通过“这不会产生任何问题”，我是说它编译并指针存储变量a的值。

编辑： 而变量a 实际上会存储一个地址。

Answer 1

最好不要尝试将整数值分配给指针。在这种分配有意义的极少数情况下，演员表不仅更好，而且是必需的。

指针和整数是不同的类型。在某些情况下，混合它们是有意义的；在这种情况下，您需要进行强制转换，因为整数和指针之间没有隐式转换（0 的特殊情况除外，被视为空指针常量）。

char *pointer;
int a;         /* or unsigned int a, it's the same either way */
pointer = a;

此分配是非法的（更准确地说，是违反约束）。一个符合标准的 C 编译器至少必须警告它。许多编译器在打印警告后会生成执行隐式转换的代码，但这不是语言所要求的，你不应该依赖它。我个人的看法是，这样做的编译器对你没有任何好处。

pointer = (char*)a;

这是合法的；演员表告诉编译器生成从int 到char* 的转换。但这种转换的结果是实现定义的，很可能不会产生有意义的结果——即使char* 和int 恰好大小相同。

（在您问题中的代码中，a 尚未初始化。我认为您未向我们展示的真实代码中并非如此。）

你真正想要完成什么？

Answer 2

因为在 C 中：

pointer = a;  // not valid in C: a is an int object
              // pointer an object of pointer type

该语句无效，您需要显式转换（强制转换）将a 值转换为指针类型。

pointer = (char *) a;  // valid assignmnent

有些编译器对你很友好，会将int 值隐式转换为指针类型（并添加警告！），但它们不是必须这样做的，编译器可以拒绝编译你的程序。

Answer 3

% cat int-cast.c

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    printf("sizeof char *: %zu\n", sizeof (char *));
    printf("sizeof int: %zu\n", sizeof (int));
}

那么如果编译为 32 位或 64 位，则类型的大小不同

% cc -m32 int-cast.c && ./a.out sizeof char *: 4 sizeof int: 4 % cc -m64 int-cast.c && ./a.out sizeof char *: 8 sizeof int: 4

正如 Keith Thompson 明确指出的那样，即使保证它们的大小相同，仍然需要强制转换，并且结果最多只能由实现定义。

Answer 4

在 C 中，指针不仅是内存中的地址，还是类型：

pointer = memory size + type

理解这一点的最佳方法是考虑指针算术，以防止执行某些算术运算。例如，您可以这样做：

int i;
int * ptr, ptr2;

ptr = &i;  // Assign the address of an int to an int pointer
ptr2 = ptr + 2; // Shift the pointer of two int size further
i = ptr - ptr2; // Compute the number of slots between ptr and ptr2

但是，你不能这样做：

int i;
char c;
int * ptr;
char * ptr2;

ptr = &c; // The types are not matching, the compiler will complain 
ptr = 2 * ptr; // This is not allowed by pointer arithmetic
ptr = ptr + ptr; // This is not allowed by pointer arithmetic

等等……

但是，您必须始终记住的是，指针不仅仅是一个内存地址。它是内存地址和类型的组合。