解引用类型指针会打破严格别名规则[-Wstrict-aliasing]

Question

我真的很困惑。

uint8_t hash[20]; 
uint32_t u; 

// Setting hash to some value here... 

u = *(uint32_t*) hash; 

这*(uint32_t*) hash将导致警告：

Dereferencing type-punned pointer will break strict-aliasing rules [-Wstrict-aliasing]。

我认为这是错误的类型转换，但我不确定，因为我不清楚如何*(type*) var类型转换的方式实际工作。它似乎指向内部带有星号的物体。我很困惑，这就是迫使我问一个关于这个问题的事情。 特别是我想知道type*与*(type*)的区别。这可能有很多帮助摆脱这个警告。 在此先感谢。

Answer 1

你不允许解释对象低谷，你做一个不兼容的指针：

*(uint32_t*) hash; 

否则会引起对齐，字节顺序和违反严格别名，这将导致不可预知的问题。

会发生什么情况是，您将数组散列的前四个字节解释为无符号的32位整数。

uint32_t* p = (uint32_t*)hash ; //cast must be there, pointer p is not valid 
uint32_t u = *p ; //dereference the pointer, this is undefined behaviour 

如果你的字节数组编码小尾数32位无符号整数，这是提取的便携，字节顺序无关的方式：

#include <stdint.h> 
#include <limits.h> 

uint8_t h[] = { 3 , 2 , 1 , 0 } ; //1*3 + 256*2 + 65536*1 + 16777216 * 0 
uint32_t a = 0 ; 

for(size_t i = 0 ; i < sizeof(a) ; i++) 
{ 
    a = a | ( h[i] << (CHAR_BIT*i)) ; 
} 

printf("%u" , a) ; //66051