变量类型总是定义在变量前面吗?如何理解typedef定义的类型？

变量类型总是定义在变量前面吗?

非也。尽管C系语言遵循的基本原则是定义变量，类型在前面，名称在后面，但这并不是绝对。Go和Rust是这方面的先锋。

• C/ObjC/C++/C#/Java 类型在标识符前。

• Go/Rust/Swift/仓颉 标识符在类型前。

• Python/JS/Shell 不需要指定类型。

• VB稍显特殊，它的声明形式是：Dim xxx As yyy_type, 勉强算类型在变量后面。VB 9.0开始支持隐式本地变量，可省略类型交给编译器推导。
  Dim myNumber = 10

类型在前或在后有什么不同?

• 从直面效果，仅仅是位置颠倒了，例如Go语言var a, b int = 1, 2, Rust语言let a: u32 = 100, 并没有影响编译器理解。

• 从另外一个角度，对于一条声明/初始化语句的几个部分，变量、类型和声明/初始化，变量是不可缺少的，类型或者初始化是可省略的。以Go为例，可以省略类型var a = 100，或者省略初始化var b int.

如何理解typedef定义的类型？

大部分编程语言都支持由程序员自定义新类型，除了结构体、共同体明显的新类型，还有typedef由已有类型复制"新"类型，事实上，它就是原来的类型。用它的好处是可以统一内部类型定义。

• 可防止编译器对同一个类型有不同定义
  比如为了统一32bit类型为U32, 可以定义typedef int U32, 有的编译器long是32位时可定义成typdef long U32.

• 和Shell的alias类似，程序员可以选择自己更喜欢的类型名，而不是古板遵循语言标准，也许还可以节省Coding字符数。

编译器内部typedef的处理

• 编译器可能会建立typedef类型列表，对应已有的类型，在处理上会按照原本类型来看，并没有什么特别。

---

若文章对您有帮助，欢迎关注。助您在编程路上越走越好！

微风不燥，阳光正好，你就像风一样经过这里，愿你停留的片刻温暖舒心。

我是程序员小迷（致力于C、C++、Java、Kotlin、Android、iOS、Shell、JavaScript、TypeScript、Python等编程技术的技巧经验分享），若作品对您有帮助，请关注、分享、点赞、收藏、在看、喜欢，您的支持是我们为您提供帮助的最大动力。