c++模块化的简要说明

c++包含了很多单独的开发部分：函数、自定义类型、类继承、模版
c++中有一个概念：单独编译(将声明和定义分别放在.h和.cpp文件中)，严格的将，单独编译不是c++语言的讨论问题，而是“为了更好的使用c++”的讨论
为了更大的模块化，在逻辑上通过c++语言特征来实现；在物理上通过更有效的独立编译方式来实现。

命名空间可以有效地防止命名冲突
在大型的程序组件编程时(eg：库)，namespace是一个有效的组织方式

错误处理
这是一个非常大且复杂的主题，并不局限于语言或者工具
c++提供了少量的特征来处理这个问题：主要是类型系统本身
c++提供给了内置类型和标准库提供的很多类型，外加很多算法，减少了我们出错的几率，增加了编译器捕获错误的几率

异常 exceptions
大部分引起的异常都是因为资源没有初始化
如果认为一个函数不会引起异常，可以用noexcept关键来修饰，但是如果这个函数超出我们的计划，她也会抛出一个异常，我们可以调用std库中的terminate函数立马结束整个程序。

invariants 不变式
使一个对象有效，称为不变式。整个类的职责就是维护不变式。eg：如果一个vector有6个元素，而实际上有7个，这个就是bug。类的接口必须体现出不变式，如果这个接口不能体现不变式，就应该把这个接口放在类外面。就像我们取vector的值时，传入的索引应该非负，这些都应该在接口中体现出来，体现不变式，如果接口没有体现不变式，那就会出现bug。
不变式也可以理解为类中各数据之间的联系
任何使用了数据 但没有维护不变式的接口 都应该放在支持库 而不是放在这个类里
这种设计思想是c++之父推荐的 也是java推荐的

不变式是类设计的核心

再说不变式：
对类来说，“假定某件事为真”称为类的不变式。

static assertions 静态断言
异常是在运行时报告错误，静态断言是在编译时报告错误信息。
static_assert可以用在任意的常量表达式中
用法：static_assert(A,S) 如果A为false，则将S作为编译错误信息打印出来

最后一句：关于捕捉错误信息，编译时用static_assert,运行时用exception