如何在结构中使用C11关键字_Generic？

Question

相关

• Syntax and Sample Usage of _Generic in C11
• _Generic works with typedef structs or only with primitive types?
• How do you use _Generic with structs that are typedef-ed in C?

大家好！

我正在编写一个宏来区分输入结构的类型。我使用的是MinGW GCC在Windows下的WinLibs：https://winlibs.com/

这里有一个例子：Syntax and Sample Usage of _Generic in C11工作得很好，而且我还能编写相同的宏(Ex)。a)

// Example A (Single Value):

#include <stdio.h>
#include <stdint.h>

//
typedef int32_t     i32;
typedef uint32_t    u32;
typedef int64_t     i64;
typedef uint64_t    u64;

// any single value
#define deb_single(val)                                     \
    printf("[%s]: ", #val);                                 \
    _Generic( (val),                                        \
        default : puts("UNKNOWN_TYPE"),                     \
        i32     : printf("[%d]"   ,   (i32)val),            \
        u32     : printf("[%u]"   ,   (u32)val),            \
        i64     : printf("[%lld]" ,   (i64)val),            \
        u64     : printf("[%llu]" ,   (u64)val)             \
    );                                                      \
    printf("Func [%s], line [%d]\n", __func__, __LINE__);

i32 main()
{
    i32 A = 111;
    u32 B = 222;
    i64 C = 333;
    u64 D = 444;

    deb_single(A);
    deb_single(B);
    deb_single(C);
    deb_single(D);

    return 0;
}

// Result_of Example A:

[A]: [111]Func [main], line [35]
[B]: [222]Func [main], line [36]
[C]: [333]Func [main], line [37]
[D]: [444]Func [main], line [38]

// Endof Example A.

现在，几乎相同的方法(使用type of )适用于两个相同类型值的结构(Ex )。b)

// Example B (Struct of two same-type values):

#include <stdio.h>
#include <stdint.h>

//
typedef int32_t     i32;
typedef uint32_t    u32;
typedef float       r32;
typedef double      r64; // only for printf cast

typedef struct _tag_v2i { i32 x; i32 y; } v2i;
typedef struct _tag_v2u { u32 x; u32 y; } v2u;
typedef struct _tag_v2f { r32 x; r32 y; } v2f;

// 
#define deb_struct(str)                                                     \
    printf("[%s] @ line [%d]: ", #str, __LINE__);                           \
    _Generic( (typeof(str)){0},                                             \
        default : puts("UNKNOWN_TYPE"),                                     \
        struct _tag_v2i : printf("[%d][%d]\n", (i32)str.x, (i32)str.y),     \
        struct _tag_v2u : printf("[%u][%u]\n", (u32)str.x, (u32)str.y),     \
        struct _tag_v2f : printf("[%.2f][%.2f]\n", (r64)str.x, (r64)str.y)  \
    );

i32 main()
{
    v2i vA = {111,999};
    v2u vB = {222,888};
    v2f vC = {1.5f, 5.25f};

    deb_struct(vA);
    deb_struct(vB);
    deb_struct(vC);

    return 0;
}

// Result_of Example B:

[vA] @ line [30]: [111][999]
[vB] @ line [31]: [222][888]
[vC] @ line [32]: [1.50][5.25]

// Endof Example B.

然而，我很难将单个值和结构(Ex )混合在一起。c)

// Example C [/*ERRORS*/]:

#include <stdio.h>
#include <stdint.h>

//
typedef int32_t i32;
typedef struct _tag_v2i { i32 x; i32 y; } v2i;

// 
#define deb_struct(str)                                                     \
    printf("[%s] @ line [%d]: ", #str, __LINE__);                           \
    _Generic( (typeof(str)){0},                                             \
        default : puts("UNKNOWN_TYPE"),                                     \
        i32             : printf("[%d]"      , (i32)str),                   \
        struct _tag_v2i : printf("[%d][%d]\n", (i32)str.x, (i32)str.y)      \
    );

i32 main()
{
    i32 sA = 555;
    v2i vA = {111,999};

    deb_struct(sA);
    deb_struct(vA);

    return 0;
}

// Result_of Example C:

error: request for member 'x' in something not a structure or union
   14 |         struct _tag_v2i : printf("[%d][%d]\n", (i32)str.x, (i32)str.y),     \

error: request for member 'y' in something not a structure or union
   14 |         struct _tag_v2i : printf("[%d][%d]\n", (i32)str.x, (i32)str.y),     \

error: aggregate value used where an integer was expected
   23 |     deb_struct(vA);

// Endof Example C.

因此，我的问题是：如何使宏接受作为输入单值和结构(Ex )。C)?

谢谢!

Answer 1

这样做的原因是，_Generic的所有情况都将用宏展开。为了避免这种情况，需要将特定类型的部分移到_Generic表达式之外。如果我们将printf调用替换为对自定义函数的调用--然后将参数放在_Generic之外的这些函数中，我们就可以实现这一点。

为了不需要通过值传递structs等，可以让这些自定义函数接受指针。

Misc代码审查与此问题没有直接关系：

typeof.

• Don't

• 使用来自stdint.h的类型而不是自己的非标准类型。

• 使用inttypes.h打印它们，然后不需要在printf中进行强制转换。

• 不需要(目前)在非标准的中写入分号，当它不是字符串时，在中命名为str。H 218f 219

清除代码：

#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>

typedef struct
{ 
  int32_t x; 
  int32_t y;
} v2i;

static void print_int32_t (const int32_t* obj)
{
    printf("[%"PRIi32"]\n", *obj);
}

static void print_v2i (const v2i* obj)
{
    printf("[%"PRIi32"][%"PRIi32"]\n", obj->x, obj->y);
}

#define deb_struct(obj)                            \
    printf("[%s] @ line [%d]: ", #obj, __LINE__);  \
    _Generic((obj),                                \
        int32_t: print_int32_t,                    \
        v2i:     print_v2i                         \
    ) (&(obj))

int main (void)
{
    int32_t sA = 555;
    v2i vA = {111,999};
    deb_struct(sA);
    deb_struct(vA);
}

现在，print_int32_t和print_v2i是函数指示符，将以(&(obj))部件作为参数进行调用。因此，如果我们将一个int32_t传递给_Generic，那么它将选择函数print_int32_t并将其称为print_int32_t(&sA)。

输出：

[sA] @ line [32]: [555]
[vA] @ line [33]: [111][999]