這是「類型狡猾」明確嗎？

Question

我在想，是從一個指向一個不完整類型的未定義行爲的指針嗎？

struct _obj; 
typedef _obj obj; 

typedef struct{ 
    int val; 
} obj_int; 

void print_stuff(obj* o){ 
    printf("%d\n", ((*obj_int)(o)) -> val); 
} 

Answer 1

通常。

標準6.3.2.3/7：

一個指向對象或不完整的類型可被轉換成一個指針到一個不同的 對象或不完整的類型。如果生成的指針未針對 指向類型正確對齊，則行爲未定義。否則，當再次轉換時， 結果應與原始指針相等。當一個指向對象的指針被 轉換爲指向字符類型的指針時，結果指向該對象的最低尋址字節 。結果的連續增量，直到對象的大小，產生對象的剩餘字節的指針 。

因此，如果o指向其第一個成員爲int的任何結構對象，那就沒問題。如果它指向從malloc獲得的內存的開始，其中已經寫入int的表示，則表示沒有問題。但是，如果它指向char[sizeof(int)]或某些此類事物，則可能有對齊問題。

Answer 2

您提供的信息不足以回答您的問題。 如果你施放一個obj_int*到obj*，然後傳遞到print_stuff，然後你的代碼，因爲你讓一個指針轉換到另一個指針類型和背照C標準是合法的。但是，如果以其他任何方式獲得print_stuff的參數，則表明您的行爲未定義。