ios - 类型推断(自动类型检测)如何快速工作？

Question

var str = "string"

LLVM如何检测变量是字符串？

Answer 1

编译器按步骤完成工作，类型推断是此过程中的一个步骤。

第一步:词法分析

通常，作为第一步，编译器会进行词法分析，其中它将输入文件字节拆分为数字和字符串等单元(注意:字符串的含义与您所指的还不同) ) 并丢弃空格和注释。

比如将例子中的输入流拆分为var, str, =, " , 字符串, ”。

第二步:语法分析

第二步是语法分析或解析，其中编译器构造并验证abstract syntax tree基于语言的语法。

在这种情况下，它会构造一个抽象语法树，表示一个变量声明语句(参见语言引用中的Declaration statements):

var variable_name = expression

其中表达式是一个字符串文字:

var variable_name = string_literal

第三步:语义分析(带类型推断)

第三步是语义分析，类型推断发生在这一步。在这种情况下，类型推断推断字符串文字的类型是 String 并且因为没有关于变量 str 的其他信息，它会推断 str 必须是 String，因为变量声明右侧的表达式是 String 类型。

这一步之后还有更多的步骤。作为后续步骤，编译器通常会生成中间代码，然后优化中间代码，最后生成汇编代码。之后，编译器之外的工具链通常至少有一个链接阶段来生成最终的可执行文件。