C - sizeof（）靜態字符數組內的數組 - 不可能？

Question

我需要存儲每個數組元素—兩個項目char兩個數組，其中可能包含空字節—，然後仍然能夠使用sizeof()來獲得它們的長度。由於這些值在執行過程中不會改變，我認爲GCC應該能夠處理這個問題。

下面的代碼：

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

struct name_data { 
    char *name; 
    char *data; 
} name_bins [] = { 
    { "John", "\xAA\xAA\x00\xAA" }, 
    { "Mark", "\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05" }, 
}; 

char bin_test[] = "\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05"; 

int main() { 
    printf("sizeof(bin_test) = %lu\n", sizeof(bin_test)); 
    printf("sizeof(name_bins[1].data) = %lu\n", sizeof(name_bins[1].data)); 
    exit(0); 
} 

此代碼的輸出是：

sizeof(bin_test) = 11 
sizeof(name_bins[1].data) = 8 

然而，bin_test相當於name_bins[1].data在內容—雖然類型定義是不同— bin_test是char[]和names_bins[1].data是char*。

有沒有辦法用char[] s來定義name_bins數組？ 有沒有辦法強制GCC將此值識別爲靜態常量，並返回實際內容大小與sizeof() —，它已經在編譯時計算出來了？

Answer 1

你可以幾乎做你想要的，通過將data的大小作爲單獨的條目存儲：

struct name_data { 
    char *name; 
    char *data; 
    size_t data_size; 
} name_bins[] = { 
    { 
     "John", 
     "\xAA\xAA\x00\xAA", 
     sizeof("\xAA\xAA\x00\xAA") 
    }, { 
     "Mark", 
     "\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05", 
     sizeof("\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05") 
    } 
}; 

然後：

printf("sizeof(bin_test) = %lu\n", sizeof(bin_test)); 
printf("sizeof(name_bins[1].data) = %lu\n", (unsigned long)name_bins[1].data_size); 

然後，你只需要確保你的name_bins初始化是正確的。你可以在混合折騰宏，以避免重複，雖然自己：

#define BIN(x,y) { (x), (y), sizeof(y) } 

struct name_data { 
    char *name; 
    char *data; 
    size_t data_size; 
} name_bins [] = { 
    BIN("John", "\xAA\xAA\x00\xAA"), 
    BIN("Mark", "\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05") 
}; 

Answer 2

不，這是不可能的。 struct的大小是恆定的（sizeof任何對象name_data總是相同的）。如果可能的話，可以有兩個相同類型的對象，大小不同。

Answer 3

如果您想了解一下您要求編譯器在此處做什麼，您可能會意識到您所要求的內容並不現實。

爲了讓編譯器弄清楚，sizeof(name_bins[1].data)是11，那就要確保導致的含sizeof代碼行每一個可能的路徑具有完全相同的狀態，當它涉及到name_bins[1].data對象。

在你給出的簡單例子中，你可能會希望編譯器能夠以某種方式解決這個問題。但是如果你的應用程序變得更復雜呢？編譯器如何知道name_bins[1].data仍然包含"\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05"？

編輯：從意見的後續行動，你可以創建一個新類型，同時擁有數據和尺寸：

typedef struct ConstByteString { 
    const unsigned char* data; 
    size_t length; 
} ConstByteString; 

，然後使用：

struct name_data { 
    const char* name; 
    ConstByteString data; 
} name_bins [] = { 
    { "John", { "\xAA\xAA\x00\xAA", sizeof("\xAA\xAA\x00\xAA") } }, 
    { "Mark", { "\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05", sizeof("\xFF\x0A\x00\x33\x01\x01\x03\x04\x04\x05") } }, 
};