这是一篇关于理解 Rust 代码*pointer_of_some_kind = blah;的博客文章。

主要观点：

• 理解编程语言代码可类比理解人类语言，通过逐步分析来理解代码含义。
• 编程语言分析包括词法分析（lexical analysis）、语法分析（syntactic analysis）和语义分析（semantic analysis）。

关键信息和重要细节：

• 词法分析：将代码拆分为词法单元（lexemes），再转化为令牌（tokens），如将You can't judge a book by its cover.拆分为多个Word和Punctuation类型的令牌。

• 语法分析：根据语法规则将令牌转化为更丰富的数据结构，如在英语中判断句子是否符合语法规则，在计算机语言中可能生成抽象语法树（AST）。对于 Rust 代码，要区分语句（statements）和表达式（expressions）。

  • 语句：Rust 有多种语句，如声明语句（declaration statements）和表达式语句（expression statements）。声明语句包括mod、struct、fn等和let语句等。let语句的基本形式为let Variable = Expression;。表达式语句较简单，如ExpressionWithoutBlock ; | ExpressionWithBlock ;?。
  • 表达式：Rust 有很多表达式类型，如操作表达式（Operation Expression）和赋值表达式（Assignment Expression）等。*pointer_of_some_kind = blah;是一个赋值表达式，左边是一个表达式，右边是一个值。
• 语义分析：确定代码的含义，如在英语中判断句子是否有意义，在计算机语言中进行类型检查等。Rust 中将赋值表达式中的左右两边分别称为“place”（左值，类似 C 中的 lvalue）和“value”（右值，类似 C 中的 rvalue）。
• 解引用（Deref）：Rust 的Deref trait 可重写*运算符。通过*x = 'b';的例子解释了*运算符的语义，当x是DerefMutExample类型时，*x会根据x的可变或不可变引用类型进行相应的解引用操作。

通过这些步骤和概念，能够更好地理解 Rust 代码的含义和编译器的工作原理。