不完整类型是尚未指定其成员的结构或联合类型，尚未指定其维度的数组类型，或void类型（无法完成void类型）。这种类型可能无法实例化（其大小未知），也不能访问其成员（它们也是未知的）; 但是，可以使用派生的指针类型（但不能解除引用）。
不完全类型的引用或指针是合法的。
It is legal to define references or Pointers to incomplete types.
静态类型语言通常是显式类型的，但也不完全是；而动态类型语言几乎都是隐式类型的。
Statically typed languages are usually, but not exclusively, type explicit; dynamically typed languages are almost always type-inferred.
静态类型的语言既可以有强类型，也可以有弱类型；而动态类型系统通常是强类型的，但也不完全是。
Statically typed languages can have strong or weak typing; dynamically typed systems are usually, though not exclusively, strongly typed.
应用推荐