编译性语言编译的一次过程。
预处理：包扩展、条件编译、宏展开。
编译：词法分析、语法分析、语义分析、中间代码生成、平台无关优化、目标代码生成、平台相关优化。
汇编：汇编语言的宏展开、与机器指令的替换
链接：地址替换等

C++11中一个提案付出了巨大的劳动但未进入标准，那就是概念，concept。这是一种指定和检查模版实参要求的特性。如果能成为标准，在11中能够和并发性支持竞争最重要的特性。

局部变量的地址一般认为需要运行时才可以知道，它是一个运行时才能够绑定的信息。然而当我们去除掉语言支持递归的能力之后，我们可以为子程序中的局部变量指定静态的地址。在Fortran90的版本之前也正是这么做的，为什么这么做？因为IBM704操作Stack的代价过于昂贵，这使得递归的好处难以被使用Fratran的程序员享受到，也因此将局部变量的地址得以写死。

类型的含义：
至少存在着三种考虑类型的方式，它们彼此之间是不同的。这三种方式分别是：指称的（denotational）、构造的（constructive）、基于抽象的（abstraction-based）。
指称的观点认为一个类型就是一组值。一个值具有某个类型，意味着它属于这组值所构成的集合中；一个对象具有某个类型，意味着这个对象的值保证属于这组值所构成的集合。
构造的观点认为一个类型，或者是一小组的内部类型中的一个，或者是通过一个或几个类型通过某种类型构造符创建出来的复合类型。这些类型构造符常见的有record（struct）、variant record（union）、 array、set、point、list、file等。
基于抽象的观点认为一个类型是一个接口，通过一组定义良好的操作组成，这些操作的语义是相互协调的。
一般情况下，我们认知中的类型是上述观点的混合。

小插曲：
int test();
当我们不期望使用它返回的结果时，可以用如下形式调用：
(void)test();
其中void转换是可选的，当写成"test();“的形式时，转换被隐式地进行。

Fortran使用列优先变量的原因也是IBM704计算机的数据独特性，真就罪大恶极了。

指针：
程序员们（甚至一些教科书作者）常常将指针等同于地址，但这实际上是一个误解。指针是一个高级概念，就是对于对象的引用（一个变量，它的值是其它对象的引用）；地址是一个低级的概念，是内存单元的位置。指针常常通过地址实现，但不总是这样。在具有分段存储器体系结构的机器上，指针可以由一个段标识和一个段内偏移量组成。在那些企图捕捉所有悬空引用的语言中，指针可能包含一个地址和一个访问关键字。

pointers
It is common for programmers (and even textbook writers) to equate pointers with addresses,but this is a mistake.Apointer is a high-level concept: a reference toan object.Anaddress is a low-level concept: the location ofaword inmemory. Pointers are often implemented as addresses, but not always. Ona machinewith a segmented memory architecture, a pointer may consist ofa segment id and an offset within the segment. In a language that attempts to catch uses of dangling references, a pointer may contain both an address and an access key.

先记录一下,以后整理:
通过词法构建的名字规则/作用域规则,围绕数据建立的名字规则/作用域规则

fiasco.OC（L4的一个变种）通过预处理机制将一个cpp文件分为两部分：
INTERFACE：接口部分，这部分将被处理为可被其它文件引用的头文件。
IMPLEMENTATION: 实现部分，其中函数将会用PRIVATE或者PUBLIC来决定是否暴露。
可以借助C++20的module来重述，不再借助自定义的预处理机制。