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

你可能感兴趣的