переопределение typedef

Меня это удивило, потому что я совершенно уверен, что повторное объявление одного и того же typedef в той же области допустимо в C++, но, по-видимому, это недопустимо в C до стандарта 2011 года.

Во-первых, имена typedef не имеют связи:

ИСО/МЭК 9899:1999 + ТК3 6.2.6/6:

Следующие идентификаторы не имеют связи: идентификатор, объявленный чем-либо, кроме объекта или функции [...]

и 6,7/3:

Если идентификатор не имеет связи, должно быть не более одного объявления идентификатора (в описателе или спецификаторе типа) с той же областью действия и в одном и том же пространстве имен, за исключением тегов, как указано в 6.7.2.3.

Поэтому вам необходимо убедиться, что каждое объявление typedef появляется только один раз в области файла в каждой единице перевода.

Стандарт C 2011 года позволяет повторно объявлять имена typedef. 6.7 3 говорит:

… имя typedef может быть переопределено для обозначения того же типа, что и в настоящее время, при условии, что этот тип не является изменяемым типом;…

Одна часть идиомы отсутствует. Предварительные объявления не зависят от определений, поэтому они должны находиться в отдельном заголовочном файле.

// a_fwd.h

#ifndef A_FWD_H
#define A_FWD_H

typedef struct A_ A;

#endif

// a.h

#ifndef A_H
#define A_H

#include "a_fwd.h"

struct A_ {
};

#endif

Теперь всегда безопасно включать любые заголовки в любом порядке.

Незаконно иметь два определения чего-либо. Typedef — это определение, а не просто объявление, поэтому один компилятор был довольно слабым, чтобы допустить избыточность.

Просто из соображений стиля я бы поставил typedef после структуры. то есть:

struct B_ {
    int c;
};
typedef struct B_ B;

Таким образом, вы говорите: «вот B_, и теперь я хочу называть его B». Может быть наоборот что-то в компиляторе дурит.

Компилятор Ubuntu слишком мягок; вы не можете ввести одно и то же дважды. В стиле, на который вы ссылаетесь, порядок включений важен и обычно упоминается как комментарий в заголовочном файле или в документации. В этом случае у вас будет:

//A.h
typedef struct A A;
struct A {
    double a;
    B* b;
};

// B.h
typedef struct B B;
struct B {
    int c;
};

// C.h
void function_do_something(A*, B*);

// C.c
#include "B.h"
#include "A.h"
#include "C.h"

void function_do_something(A* a, B* b){ ... }

Вы можете заметить, что в случае циклических зависимостей это будет запутанно.

Вы переопределяете A и B, записывая один и тот же оператор в несколько заголовочных файлов. Одним из решений было бы удалить typedef из A и B из A.h и B.h и использовать ваш C.h как есть.

Как уже говорили другие, вы не можете переопределять типы в C. Эта ошибка в основном указывает на то, что могут быть зацикленные включения или другой логический недостаток. Чтобы избежать этого, рекомендуется блокировать включаемые файлы, т.е.

#ifndef __HEADER_H__
#define __HEADER_H__

// Your code goes here

#endif

Таким образом, ненужные включения будут пропущены этой блокировкой.
В вашем примере вам нужно будет включить B в A и A в C. Включение B в C не будет иметь никакого эффекта и удовлетворит компилятор.

Вы несколько раз определяете одно и то же.

Вы можете распределить его по нескольким файлам заголовков, просто нужно убедиться, что есть некоторый B, видимый до того, как будет определена структура _A.

Этот код работает:

#include <stdio.h>

typedef struct _B B;
typedef struct _A A;

struct _A {
    double a;
    B *b;
};

struct _B {
    int c;
};

void function_do_something(A* a, B* b)
{
    printf("a->a (%f) b->c (%d)\n", a->a, b->c);
}

int main()
{
   A a;
   B b;

  a.a = 3.4;
  b.c = 34;

  function_do_something(&a, &b);

  return 0;
}

Выход:

> ./x
a->a (3.400000) b->c (34)

EDIT: обновлено для C

РЕДАКТИРОВАТЬ 2: распространить на несколько заголовочных файлов

b.h:

#ifndef B_H
#define B_H

struct _B {
    int c;
};

#endif

a.h:

#ifndef A_H
#define A_H

typedef struct _B B;

struct _A {
    double a;
    B *b;
};

typedef struct _A A;

#endif

основной.с:

#include <stdio.h>

#include "a.h"
#include "b.h"

void function_do_something(A* a, B* b)
{
    printf("a->a (%f) b->c (%d)\n", a->a, b->c);
}

int main()
{
   A a;
   B b;

  a.a = 3.4;
  b.c = 34; 

  function_do_something(&a, &b);

  return 0;
}