Достижение именованной структуры в безымянном объединении в C

Согласно этому ответу, решение для gcc состоит в том, чтобы скомпилировать его с помощью -fms-extensions.

Вот пример. Протестировано с Visual C++ и MSYS2 gcc 10.2. В этой версии gcc подразумевается -fms-extensions, и я получаю сообщение об ошибке, как указано в комментариях, если вместо этого компилирую с -fno-ms-extensions.

#include <stdio.h>

union ab {
    struct {
        int a;
    } a_st;
    struct {
        int b;
    } b_st;
};

typedef struct d {
    union ab;
    struct {
        int c;
    } c_st;
    
} d_st;

int main(void) {
    d_st x;
    printf("%zu\n", sizeof(d_st));
    x.a_st.a = 1;
    x.b_st.b = 2;
    x.c_st.c = 3;
    printf("a_st = %d\n", x.a_st.a);
    printf("b_st = %d\n", x.b_st.b);
    printf("c_st = %d\n", x.c_st.c);
    return 0;
}

В качестве расширения компилятор MSVC (см. Специальные анонимные структуры Microsoft ) и компилятор gcc с -fms-extensions (см. безымянные поля документов gcc) поддерживают синтаксис безымянных структур. При использовании этого расширения код компилируется и получает доступ к неназванным членам структуры, как если бы они были членами содержащей структуры.

Если вы используете это расширение, код скомпилируется, и доступ будет в порядке, вы только что сделали опечатку c_st, должно быть d_st.

#include <stdio.h>
union ab {
    struct {
        int a;
    } a_st;
    struct {
        int b;
    } b_st;
};
typedef struct d {
    union ab;
} d_st;
int main(void) {
    d_st c;
    printf("%d\n", c.a_st.a);
}

Без использования этого расширения код не будет компилироваться, как описано ниже.

это обязательно зло или я что-то здесь пропустил?

Я бы сказал, что это просто зло. Проблема в следующей части:

struct c {
   union ab;
};

Это все равно, что написать:

struct c {
};

Вы можете поставить любой тип и следовать за ним с помощью ;, например:

struct d {
   int; float; unsigned long long; FILE *; some_other_type;
};

union ab это просто тип. some_type ; ничего не объявляет, ничего не происходит. Грамматика языка просто позволяет вам написать просто тип как выражение без идентификатора (т.е. он используется в объявлении функции, например void func(char*, int)), но ничего не происходит, и такое выражение не имеет смысла. Ваш struct c просто пуст, в нем нет участников, это неопределенное поведение.

пытаясь напрямую «достучаться» до элементов объединения:

Вы не можете получить к ним доступ, потому что они не существуют. Внутри нет элементов struct c - он пустой.

Вы можете дублировать код (возможно, с помощью макроса):

struct c {
    union {            // anonymous union
        struct {
            int a;
        } a_st;
        struct {
            int b;
        } b_st;
    };
};

и доступ через:

struct c C;
printf("%d\n", C.a_st.a);