3. Types and expressions🔗

One typing rule and one evaluation rule per construction of Expr. The typing rules live in Typing.expr and the evaluation rules in Eval.expr, each in the comment of the case that implements it.

Where C++17 leaves the evaluation order unspecified, Core C++ evaluates left to right. The second half of the chapter holds the composite and recursive types, objects and pointers, whose expressions denote locations.

1. 3.1. Literals
2. 3.2. Variable
3. 3.3. Unary operators
4. 3.4. Binary operators
5. 3.5. Conditional
6. 3.6. Objects and pointers