var str = "string"
How does the LLVM detect the variable is a string?
Asked
Active
Viewed 820 times
7
-
I'm just guessing,but because it is in quotes. – Toby Allen Feb 28 '15 at 08:58
-
Swift automatically deducts the data type – Leo Dabus Feb 28 '15 at 08:58
-
3Curious to know how does it work. – riyaz Feb 28 '15 at 08:59
-
3type inference is a part of the compiler and that's a very broad subject – marosoaie Feb 28 '15 at 09:06
-
2@marosoaie there is no documentation or an explanation for it? – riyaz Feb 28 '15 at 09:15
-
2@riyaz https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Types.html#//apple_ref/doc/uid/TP40014097-CH31-ID457 – Sam Fischer Feb 28 '15 at 09:35
-
2@ryiaz this thread has some interesting references: http://stackoverflow.com/questions/415532/implementing-type-inference – marosoaie Feb 28 '15 at 09:36
1 Answers
6
The compiler does its job in steps and type inference is one step in this process.
Step 1: Lexical analysis
Typically, as a first step, the compiler does a lexical analysis in which it splits input file bytes to units like numbers and strings (note: not yet string in the same meaning that you are referring) and throws away whitespace and comments.
For example, it splits the input stream in the example to var, str, =, ", string, ".
Step 2: Syntax analysis
The second step is a syntax analysis or parsing, in which compiler constructs and verifies an abstract syntax tree based on the grammar of the language.
In this case it would construct an abstract syntax tree representing a variable declaration statement (see Declaration statements in the language reference) of the form:
var variable_name = expression
in which expression is a string literal:
var variable_name = string_literal
Step 3: Semantic analysis (with type inference)
The third step is semantic analysis and type inference happens in this step. In this case, type inference infers that the type of string literal is String and because there is no other information about the variable str, it will infer that str must be a String, because the expression, the right hand side of the variable declaration, is of type String.
There are more steps after this step. As next steps, the compiler typically generates intermediate code, then optimizes the intermediate code, and finally generates assembly code. After that the tool chain outside of the compiler usually has at least a linking phase that produces the final executable.
Teemu Kurppa
- 4,779
- 2
- 32
- 38