如何在C中的联合中使用指针？

Question

我想初始化这个结构：

typedef struct
{
    int num;
    union 
    {
        const char** ppStrList;
        const char* pStr;
    };
    union
    {
        int num1;
        int num2;
    };
} tMyStruct;

如果在声明变量时尝试初始化此结构，则会出现错误：

const char *gpStr = "str";

const char *gpStrList[2] =
{
    {"str1"},
    {"str2"}
};

tMyStruct myStruct[2] = 
{
    {0,{gpStrList},{3}},
    {1,{gpStr},{4}}
};

变量gpStr不能用于初始化结构

但是它可以在函数内部初始化而没有问题：

int main(int argc, char *argv[])
{
    myStruct[0].num = 0;
    myStruct[0].ppStrList = gpStrList;
    myStruct[0].num1 = 3;

    myStruct[1].num = 0;
    myStruct[1].pStr = gpStr;
    myStruct[1].num2 = 3;
}

为什么在声明结构时无法对其进行初始化？

我认为工会有一种特殊的行为，因为如果我不使用工会，这个问题就不存在。 例如：

typedef struct
{
    int num;
    union /* Union to contain ppStrList and pStr pointers */
    {
        const char** ppStrList;
        const char* pStr;
    };
    union
    {
        int num1;
        int num2;
    };
} tMyStruct1;


typedef struct
{
    int num;
    /* I don´t use an union */
    const char** ppStrList;
    const char* pStr;

    union
    {
        int num1;
        int num2;
    };
} tMyStruct2;

const char gStr[] = "str";

const char *gpStrList[2] = 
{
    {"str1"},
    {"str2"}
};

tMyStruct1 myStruct1[2] = /* Structure with union inside */
{

    {0,{gpStrList},{3}},
    {1,{gStr},{4}}  /* <--- Error here if I use gStr address with union */
};

tMyStruct2 myStruct2[2] = /* Structure without union inside */
{
    {0,gpStrList,NULL,{3}},
    {1,NULL,gStr,{4}} /* <--- No poblem here if I use gStr address */
};

Answer 1

在文件范围内初始化的变量（无论是否为static ）和在块范围内以static持续时间初始化的变量只能使用常量进行初始化。 自动变量（必要时在块范围内）可以用表达式初始化。

同样，在初始化联合时，除非使用指定的初始化程序，否则初始化程序必须与第一个成员匹配。 使用C99或更高版本，您可以编写：

typedef struct
{
    int num;
    union 
    {
        const char** ppStrList;
        const char* pStr;
    };
    union
    {
        int num1;
        int num2;
    };
} tMyStruct;

const char gpStr[] = "str";

const char *gpStrList[2] =
{
    "str1",
    "str2"
};

tMyStruct myStruct[2] = 
{
    { .num = 0, { .ppStrList = gpStrList }, { .num1 = 3 } },
    { .num = 1, { .pStr      = gpStr     }, { .num2 = 4 } },
};

注意gpStr的调整类型。 您不必对所有元素都使用指定的初始化程序，但是一致性建议您可能应该使用。 还要注意，两个不同名称的int成员的并集是毫无意义的。 联合的不同元素通常应具有不同的类型。

Answer 2

不科学的答案：

我认为您只能使用常量进行初始化。 在第一个实例中，您正在使用变量进行初始化（即在程序运行之前分配一个值）； 根据定义，在程序运行之前，变量没有“可访问”的值。 在第二个示例中，“初始化”实际上是带有变量的“赋值”，没关系。 我认为您拥有工会这一事实与之无关。

最简单的例子：

#include <stdio.h>
int one = 1;
int two = one;
int main(void) {
  printf("one is %d; two is %d\n", one, two);
}

当我尝试编译时，我得到

consts.c:3: error: initializer element is not constant

我希望这可以使事情澄清。

Answer 3

问题是，除非使用显式指示符，否则您只能初始化联合的FIRST元素。 因此，以下工作原理：

tMyStruct myStruct[2] =
{
    {0,{gpStrList},{3}},
    {1,{.pStr = "str"},{4}}
};