我试图理解是否存在一种在处理指针时检查C中特定地址处的变量类型的实现。

假设我们有以下代码:

Car car1; // variable of type Car in memory at address 0x100
Fruit fruit1; // variable of type Fruit at address 0x104
Car *pCar1; // pointer of type Car at address 0x108

pCar1 = &car1; // The type of the pointer matches the type of the variable, nothing special


现在,我尝试进行手动地址处理,但没有任何错误。但是,由于类型不匹配,程序在运行时崩溃。

pCar1 = (Car *) 0x104; // Note I am deliberately offering a Fruit address and it works without build errors


如何防止这种情况发生?有没有使这种愚蠢的故障保护机制或技术?

最佳答案

pCar1 = (Car *) 0x104;



不允许您在这里做什么。您不能强制转换绝对地址(在您的情况下,它指的是其他类型)并期望它能正常工作。为此,必须在运行时确保地址包含正确的变量类型。

在这种情况下,强制转换只会阻止编译警告,因为它告诉编译器“看,我知道我在做什么,相信我,此地址有一个Car”。当然,当您的程序运行并且希望在没有地址的地址找到Car时,将导致未定义的行为。


  有没有使这种愚蠢的故障保护机制或技术?


绝对不。 C非常远离“愚蠢的证明”。但是,如果您以“更好的方式”编写代码,则编译器会警告您:

pCar1 = &fruit1; // Results in a compiler warning.



  如何防止这种情况发生?


只是不要这样做。不要为变量分配随机地址或不同类型的地址。您可以分配给0x104的唯一内容是另一个pCar1变量的地址(例如Car)或可以存储pCar1 = &car1变量的存储位置的地址(例如适当的Car)。



因此,最后:


  指针地址类型检查如何工作?


C中没有“地址类型检查”之类的东西。只有编译器可以警告您某些变量类型错误的东西,如果您有机会的话。显式投射消除了该机会。

10-08 17:23
查看更多