让我们从最基本的开始，慢慢来。

下面是一个结构定义的例子:

struct point
  {
    int x, y;
  };

这里的名称点是可选的。

结构可以在定义期间声明，也可以在定义之后声明。

在定义期间声明

struct point
  {
    int x, y;
  } first_point, second_point;

在定义之后声明

struct point
  {
    int x, y;
  };
struct point first_point, second_point;

现在，仔细注意上面的最后一种情况;如果您决定稍后在代码中创建该类型，则需要编写struct point来声明该类型的结构。

输入类型。如果您打算在稍后使用相同的蓝图在程序中创建新的Structure (Structure是自定义数据类型)，那么在定义过程中使用typedef可能是一个好主意，因为您可以节省一些输入。

typedef struct point
  {
    int x, y;
  } Points;

Points first_point, second_point;

在命名自定义类型时要注意一点

没有什么可以阻止您在自定义类型名称的末尾使用_t后缀，但POSIX标准保留使用后缀_t来表示标准库类型名称。

使用typedef可以避免每次声明该类型的变量时都要写struct:

struct elem
{
 int i;
 char k;
};
elem user; // compile error!
struct elem user; // this is correct

正如Greg Hewgill所说，类型定义意味着你不再需要到处写struct。这不仅节省了击键，还可以使代码更简洁，因为它提供了更多的抽象。

之类的

typedef struct {
  int x, y;
} Point;

Point point_new(int x, int y)
{
  Point a;
  a.x = x;
  a.y = y;
  return a;
}

当你不需要到处看到“struct”关键字时，它看起来更像是在你的语言中真的有一个名为“Point”的类型。在typedef之后，我猜就是这个情况。

还要注意，虽然您的示例(和我的示例)省略了对结构体本身的命名，但当您希望提供不透明类型时，实际上对它进行命名也是有用的。然后你会在头文件中有这样的代码，例如:

typedef struct Point Point;

Point * point_new(int x, int y);

然后在实现文件中提供结构定义:

struct Point
{
  int x, y;
};

Point * point_new(int x, int y)
{
  Point *p;
  if((p = malloc(sizeof *p)) != NULL)
  {
    p->x = x;
    p->y = y;
  }
  return p;
}

在后一种情况下，您不能按值返回Point，因为它的定义对头文件的用户隐藏了。例如，这是GTK+中广泛使用的一种技术。

注意，在一些高度重视的C项目中，使用typedef来隐藏struct被认为是一个坏主意，Linux内核可能是最著名的这样的项目。关于Linus的愤怒言论，请参阅Linux内核编码风格文档的第5章。:)我的观点是，这个问题中的“应该”也许并不是一成不变的。

您(可选地)给结构的名称称为标记名称，正如前面所指出的，它本身并不是一个类型。要获得该类型，需要使用结构体前缀。

除了GTK+，我不确定tagname是否像struct类型的typedef一样常用，所以在c++中，这是可以识别的，你可以省略struct关键字，并使用tagname作为类型名:

struct MyStruct
{
  int i;
};

// The following is legal in C++:
MyStruct obj;
obj.i = 7;

Typedef不会提供一组相互依赖的数据结构。你不能用typdef做到这一点:

struct bar;
struct foo;

struct foo {
    struct bar *b;
};

struct bar {
    struct foo *f;
};

当然你还可以加上:

typedef struct foo foo_t;
typedef struct bar bar_t;

这到底有什么意义?

我认为typedef甚至不可能实现前向声明。使用struct, enum和union允许在依赖关系(知道)是双向的情况下转发声明。

风格: 在c++中使用typedef是很有意义的。在处理需要多个和/或变量参数的模板时，它几乎是必要的。typedef有助于保持命名的直直性。

在C编程语言中并非如此。typedef的使用通常没有任何目的，只会混淆数据结构的使用。由于只有{struct (6)， enum (4)， union(5)}个按键被用于声明一个数据类型，因此结构的别名几乎没有任何用处。数据类型是联合还是结构?使用简单的非类型定义声明可以让您立即知道它是什么类型。

请注意Linux是如何在编写时严格避免typedef带来的这种无意义的别名的。结果是一个极简主义和干净的风格。