编译器和运行时系统可以用各种机制来分配和管理程序不同部分的存储。

在C语言中，指针是用来存储一个变量的地址的变量。无论这个指针指向一个整数、一个结构体或者其他任何程序对象，它的值都是某个存储块的第一个字节的虚拟地址。

C编译器通过将每个指针与类型信息相关联来实现对指针值类型的识别。这样做的目的是为了根据指针值的类型生成不同的机器级代码，以便访问存储在指针所指向位置处的值。通过将指针与类型信息相关联，编译器可以根据指针所指向的数据类型来正确地处理指针的解引用、指针的算术操作等。

举例来说，假设我们有一个指向整数的指针：

int *ptr;

编译器会将这个指针与整数类型相关联。这样在编译阶段，当我们对指针进行解引用时，编译器会根据指针的类型生成相应的机器级代码来访问指针所指向的整数值。

int x = 10;
int *ptr = &x;
int y = *ptr; // 解引用指针并获取其所指向的整数值

在上面的例子中，编译器会生成机器级代码来访问ptr指向的整数值，并将其赋值给变量y。这样的关联能够确保编译器在生成机器级代码时正确地处理指针的类型，以便正确地访问内存中的数据。

尽管C编译器维护着指针的类型信息，但生成的实际机器级程序并不包含关于数据类型的信息。在编译后的程序中，每个程序对象都可以简单地被视为一个字节块，而整个程序本身就是一个字节序列。这是因为机器级代码是直接操作内存的，不需要关注数据类型信息。

因此，C语言中的指针提供了灵活性和高效性，但也需要程序员自己来确保对指针的使用是正确和安全的。