/* 같은 철자 x 를 네 이름 공간에 동시에 둔다 — 표준 §6.2.3.
   합법이고 컴파일된다. 읽기 좋은가는 별개의 문제다. */
#include <stdio.h>

/* ② 태그 이름 공간 — struct/union/enum 뒤에 오는 이름 */
struct x {
    int x;        /* ③ 멤버 이름 공간 — struct x 만의 마당 */
    int y;
};

/* 다른 구조체의 멤버는 또 다른 마당이라 같은 철자를 다시 써도 된다 */
struct point { int x; int y; };

/* ④ 보통 식별자 — 변수·함수·typedef 이름·열거 상수가 모두 여기에 산다.
      태그 x 와 철자가 같지만 다른 이름 공간이라 공존한다. */
typedef struct x x;

static int show(x v, struct point p)
{
    /* ① 레이블 이름 공간 — goto 의 표적. 이것도 x 라 지을 수 있다 */
    if (v.x < 0) goto x;

    printf("struct x  : x=%d y=%d\n", v.x, v.y);
    printf("struct point: x=%d y=%d\n", p.x, p.y);
    return 0;

x:  /* 레이블 x */
    puts("negative, so we came to label x");
    return 1;
}

int main(void)
{
    /* 네 이름 공간에 x 가 하나씩 있는 상태에서 전부 쓴다 */
    x       a = { .x = 10, .y = 20 };   /* typedef 이름 x */
    struct x b = { .x = -1, .y = 0 };   /* 태그 x */
    struct point p = { .x = 3, .y = 4 };

    puts("[the same spelling x lives in four name spaces at once]");
    puts("  ① label x   ② tag struct x   ③ member x   ④ typedef name x");
    puts("");

    (void)show(a, p);
    (void)show(b, p);

    /* 이름을 찾는 자리(문법적 문맥)가 이름 공간을 고른다.
       struct 뒤 → 태그, . 뒤 → 멤버, goto 뒤 → 레이블, 그 밖 → 보통 식별자. */
    printf("\nsizeof(x) = %zu, sizeof(struct x) = %zu  (the same type)\n",
           sizeof(x), sizeof(struct x));
    return 0;
}

/* 태그와 typedef 가 갈리는 자리, 그리고 열거 상수가 '보통 식별자'라서
   생기는 충돌. */
#include <stdio.h>

/* 태그 이름 공간과 보통 식별자 이름 공간이 달라서
   "같은 철자"로 태그와 typedef 이름을 둘 다 만들 수 있다 */
typedef struct node {
    int          value;
    struct node *next;      /* 태그가 있어야 자기 자신을 가리킬 수 있다 */
} node;

/* 열거 상수는 태그가 아니라 *보통 식별자* 다.
   그래서 아래 red 는 int 변수 red 와 같은 마당에 산다 — 충돌한다. */
enum color { red, green, blue };

/* 이렇게 쓰면 컴파일 오류다(주석으로만 보인다):
       int red;        // error: 'red' redeclared as different kind of symbol
   그래서 실무는 열거 상수에 접두어를 붙인다. */
enum status { STATUS_OK, STATUS_BUSY, STATUS_FAIL };

/* 반대로 태그는 보통 식별자와 절대 충돌하지 않는다.
   단, struct/union/enum 은 태그 마당을 *셋이서 함께 쓴다* — 그래서
       struct status { int code; };
   는 위의 enum status 와 충돌한다("defined as wrong kind of tag").
   태그 마당은 넷 중 하나이지, 키워드마다 하나가 아니다. */
struct handle { int code; };     /* 다른 철자를 쓴다 */

/* 반면 보통 식별자 마당은 태그와 완전히 별개다 — 같은 철자를 써도 된다 */
static int status = 42;          /* enum status 태그와 공존한다 */

static const char *name_of(enum color c)
{
    switch (c) {
    case red:   return "red";
    case green: return "green";
    case blue:  return "blue";
    }
    return "?";
}

int main(void)
{
    node b = { .value = 2, .next = nullptr };
    node a = { .value = 1, .next = &b };

    puts("[tags and typedef names are different name spaces, so the spelling can be shared]");
    for (node *p = &a; p; p = p->next)
        printf("  node %d\n", p->value);

    puts("\n[enumeration constants are ordinary identifiers - the same space as variables]");
    printf("  enum color: %s %s %s\n", name_of(red), name_of(green), name_of(blue));
    puts("  which is why int red; is a compile error - hence the habit of prefixes (STATUS_OK)");

    puts("\n[struct, union and enum share one tag space - there is only one]");
    struct handle h = { .code = 7 };
    enum   status e = STATUS_BUSY;
    printf("  struct handle.code = %d, enum status = %d\n", h.code, (int)e);
    puts("  you cannot declare struct status - enum status already took that tag");

    puts("\n[but ordinary identifiers live in a different space from tags]");
    printf("  the variable status = %d lives beside the tag status\n", status);
    return 0;
}