一男的研究日志

C++ 标准明确定义：1.3.11 static type [defns.static.type]the type of an expression (3.9), which type results from analysis of the program without considering execution semantics. The static type of an exp

作为 C++ 语言标准语法部分的核心内容，C++ 语法规范使用 C++ 语法表示法表达。C++ 语法表示法需要我们深入的理解。C++ 标准规定：1.6 Syntax notation [syntax]In the syntax notation used in this International Standard, syntactic categories are indicated b

C++ 存储模型是 C++ 程序实现的物理基础，C++ 对象模型是 C++ 语义实现的逻辑基础。C++ 标准指出：1.7 The C++ memory model [intro.memory]The fundamental storage unit in the C++ memory model is the byte. A byte is at least large enough to

C++ 编译器作为 C++ 标准的实现，依据 C++ 标准的可诊断规则和库定义。C++ 标准指出：1.4 Implementation compliance [intro.compliance]The set of diagnosable rules consist of all syntactic and semantic rules in this Internationa Stand

数学概念上来讲，现代计算机就是“万能图灵机”的一个具体实现。从哲学上来说，以二进制逻辑运算为基础的计算机，其行为必然是确定的。“对于一个确定的输入，其输出是完全确定的。”哲学家和科幻小说作家们统一的观点是：无论如何，如果不为计算机的基础计算模型引入不确定性，人工智能（AI）不可能真正实现。但是，向一切其他问题一样，当我们换个角度考虑“计算机行为的确定性问题”的时候，会得出不同的结论。通常当我们

C++ 标准定义了一些通常会遇到的概念。1.3.2 diagnositc message [defns.diagnostic]a message belonging to an implementation-defined subset of the implementations output messages.“诊断消息”是由 C++ 实现定义的实现（编译器）输出消息的子集。1.

其实，C++ 标准对于具体编译器实现的限制还是比较宽松的。C++ 标准在其语义逻辑基础上定义一个“抽象机器”，这个抽象机器保证对 C++ 程序的语义逻辑作出相应的操作。C++ 编译器实现只要在其实现环境上保证其产生的执行程序的行为“看起来好像”与这个抽象机器的行为一致就可以了。这一节指出了实现与虚拟机器的关系，怎么判定一个实现和标准是否符合，副作用和顺序点的概念。1.9 Program exe