问题

我有一个名为Row的结构体：

```c
typedef struct
{
    uint32_t id;
    char username[COLUMN_USERNAME_SIZE];
    char email[COLUMN_EMAIL_SIZE];

} Row;

此外，我还定义了一个宏：

#define size_of_attribute(Struct, Attribute) sizeof(((Struct *)0)->Attribute)

// 每个属性的大小
const uint32_t ID_SIZE = size_of_attribute(Row, id);
const uint32_t USERNAME_SIZE = size_of_attribute(Row, username);
const uint32_t EMAIL_SIZE = size_of_attribute(Row, email);

为什么在定义size_of_attribute宏时要使用空指针来获取结构体Row中每种数据类型的大小？是否有其他表达上述宏的方式？

<details>
<summary>英文:</summary>

I have a struct named Row :

typedef struct
{
uint32_t id;
char username[COLUMN_USERNAME_SIZE];
char email[COLUMN_EMAIL_SIZE];

} Row;

Also, I have defined a Macro :

#define size_of_attribute(Struct, Attribute) sizeof(((Struct *)0)->Attribute)

// size of each attributes
const uint32_t ID_SIZE = size_of_attribute(Row, id);
const uint32_t USERNAME_SIZE = size_of_attribute(Row, username);
const uint32_t EMAIL_SIZE = size_of_attribute(Row, email);

Why are we using a null pointer while defining the size_of_attribute Macro to get the size of each data
type in the struct Row? Is there any other way to express the above Macro?

</details>


# 答案1
**得分**: 3

为什么在定义 `size_of_attribute` 宏以获取结构体 `Row` 中每种数据类型的大小时要使用空指针？

因为：
* 您没有（或不需要）`Row` 的实例
* 在 `sizeof 表达式` 中，表达式不会被评估。它处于“未评估的上下文”中。解引用一个 `NULL` 指针会导致未定义的行为，但由于这个表达式没有被评估，因此实际上没有解引用 `NULL` 指针，所以是安全的。

还有其他表达上述宏的方式吗？

您可以使用类似的结构，假装实际上创建了一个 `Struct`：
```c
#define size_of_attribute(Struct, Attribute) (sizeof (Struct){}.Attribute)

同样，由于sizeof后面的表达式没有被评估，它实际上并不会创建一个 Struct。

#define size_of_attribute(Struct, Attribute) (sizeof (Struct){}.Attribute)