23

我正在研究所谓的 Hotspot 开源项目，并查看实现我发现 struct 中的一个讨厌的嵌套联合看起来像这样：

typedef struct RC_model_t_st
{
    union
    {
        struct block_model_t_st *block;
        struct grid_model_t_st *grid;
    };
    /* block model or grid model    */
    int type;
    thermal_config_t *config;
}RC_model_t;

据我所知，在 C/C++ 中，联合是不可行的。那么有人如何使用以这种方式声明的联合以及出于什么目的？

谢谢！

4

6 回答 6

36

这是一个匿名工会。在 C++ 中，根据 [class.union] 第 5 段：

为了名字查找的目的，在匿名联合定义之后，匿名联合的成员被认为是在声明匿名联合的范围内定义的

这意味着您可以像访问其成员一样访问其成员RC_model_t_st。

于 2012-11-29T11:36:32.257 回答
10

在不确定且未尝试的情况下：

工会本身是不可访问的，但它的成员是可访问的。

因此，您应该能够参考obj.block和obj.grid

于 2012-11-29T11:30:58.307 回答
9

为了详细说明 Angew 引用有关匿名联合和结构的标准提供的答案，我想提供一个 C 源代码示例，该示例生成的输出显示如何在 astruct和 aunion组成的struct组件中分配值union。

Angew引用的标准是：

出于名称查找的目的，在匿名联合定义之后，匿名联合的成员被认为是在声明匿名联合的范围内定义的。

由命名和匿名结构和联合组成的源代码struct如下所示。这是使用 Visual Studio 2005 并#pragma (pack, 1)用于对齐char边界上的所有内容，以便没有内存漏洞。还定义了一个简单的 C 预处理器宏，以使输出更清晰且更易于编码。

typedef unsigned char UCHAR;

// use of Microsoft Visual Studio pragma to force char alignment for the struct.
#pragma pack(push, 1)
const struct {
    union {
        const UCHAR myArray[];  // this array shares memory with struct following
        struct {
            const UCHAR iOne;
            const UCHAR iTwo;
            const UCHAR iThree;
        };  // anonymous struct accessed by specifying Things.
    };      // anonymous union accessed by specifying Things.
//  const UCHAR myArray[];   // will cause error - "error C2020: 'myArray' : 'struct' member redefinition"
    union {
        const UCHAR myArray[];  // this array shares memory with struct following
        struct {
            const UCHAR iOne;
            const UCHAR iTwo;
            const UCHAR iThree;
        } s;    // named struct accessed by specifying Things.u.s
    } u;        // named union accessed by specifying Things.u
} Things = {1, 2, 4, 8, 9, 10, 22, 23, 24, 25};
#pragma pack(pop)

// a little helper macro to make the output easier to code.
#define PRINTF_VAL(x) printf ("%s %d \n", #x, x)

int itSelf (UCHAR iMask)
{
    int iMatch = -1;

    int jj = 0;
    jj = Things.myArray[0]; PRINTF_VAL(Things.myArray[0]);
    jj = Things.myArray[1]; PRINTF_VAL(Things.myArray[1]);
    jj = Things.myArray[2]; PRINTF_VAL(Things.myArray[2]);
    jj = Things.myArray[3]; PRINTF_VAL(Things.myArray[3]);
    jj = Things.myArray[4]; PRINTF_VAL(Things.myArray[4]);
    jj = Things.iOne; PRINTF_VAL(Things.iOne);
    jj = Things.iTwo; PRINTF_VAL(Things.iTwo);
    jj = Things.iThree; PRINTF_VAL(Things.iThree);

    jj = Things.u.myArray[0]; PRINTF_VAL(Things.u.myArray[0]);
    jj = Things.u.myArray[1]; PRINTF_VAL(Things.u.myArray[1]);
    jj = Things.u.myArray[2]; PRINTF_VAL(Things.u.myArray[2]);
    jj = Things.u.myArray[3]; PRINTF_VAL(Things.u.myArray[3]);
    jj = Things.u.myArray[4]; PRINTF_VAL(Things.u.myArray[4]);
    jj = Things.u.s.iOne; PRINTF_VAL(Things.u.s.iOne);
    jj = Things.u.s.iTwo; PRINTF_VAL(Things.u.s.iTwo);
    jj = Things.u.s.iThree; PRINTF_VAL(Things.u.s.iThree);

    return iMatch + 1;
}

此函数生成的输出如下所示：

Things.myArray[0] 1
Things.myArray[1] 2
Things.myArray[2] 4
Things.myArray[3] 8
Things.myArray[4] 9
Things.iOne 1
Things.iTwo 2
Things.iThree 4
Things.u.myArray[0] 8
Things.u.myArray[1] 9
Things.u.myArray[2] 10
Things.u.myArray[3] 22
Things.u.myArray[4] 23
Things.u.s.iOne 8
Things.u.s.iTwo 9
Things.u.s.iThree 10

输出显示了 main 的各个组件之间的重叠，这struct是Things由使用联合引起的。您还可以查看匿名struct和union的组件与命名struct和的组件是如何被引用的union。

const UCHAR myArray[];也只是为了好玩，我尝试在匿名union包含之后添加一个数组定义，const UCHAR myArray[];看看会发生什么。编译器报错error C2020: 'myArray' : 'struct' member redefinition. struct添加在上面的定义中被注释掉Things。然而，由于第二次使用const UCHAR myArray[];是在一个命名union的编译中，因为第二次使用是通过指定联合的名称来访问的。

于 2016-02-14T05:09:05.177 回答
6

此处的代码 ( https://gist.github.com/klange/4042963 ) 显示了如何访问 struct 中的匿名联合。您只需访问嵌套联合的成员，就好像它们是结构的成员一样。

typedef struct {
    union {
        char * company;
        char * school;
        char * project;
    };
    union {
        char * location;
        char * url;
    };
    union {
        char * title;
        char * program;
    };

    time_t started;
    time_t left;

    char * description[];
} thing_t;

typedef thing_t job_t;

job_t yelp = {
    .company  = "Yelp, Inc.",
    .location = "San Francisco, CA",
    .title    = "Software Engineer, i18n",
    .started  = 1339977600,
    .left     = CURRENT,
    .description = {
        "Developed several internal tools and libraries",
        "Provided critical input and design work for Yelp's launch in Japan",
        NULL
    }
};
于 2015-03-17T09:19:53.357 回答
3

在匿名联合中声明的名称可以直接使用，就像非成员变量一样。这样做的一个很好的理由是节省内存。

#include <iostream>

int main(int argc, char **argv) {
   union {
      double first;
      double second;
   };

   first = 10.001;
   second = 3.141592;
   std::cout << first << " " << second << std::endl;

   first = 10.002;
   std::cout << first << " " << second << std::endl;
}
于 2012-11-29T11:47:39.873 回答
-2

首先我想说一个联合，是不同类型变量的集合，就像一个结构。但是，使用联合，您一次只能将信息存储在一个字段中。

工会基本上用于节省内存，它的大小等于工会的最大成员。

要访问联合的数据字段，请使用点运算符 (.)，就像您对结构使用的一样，@Atmocreations 对此进行了解释。当一个值被分配给一个成员时，其他成员会被淘汰，因为它们共享相同的内存。

作为工会可能有用的一个例子是

union time    
        {
        long time_in_sec;
        double time_in_mili_sec;
        }mytime;

.... 上面的联合可用于存储当前时间（以秒为单位）以将时间精确到一秒。或者它可以用来保持精确到毫秒的时间。据推测，有时您会想要其中一个，但不是两者兼而有之。这个声明应该看起来很熟悉。它与结构定义相同，但使用关键字 union 而不是 struct。

更多信息http://msdn.microsoft.com/en-us/library/5dxy4b7b(v=vs.80).aspx

于 2012-11-29T11:50:03.797 回答