cplus语法小便签

目录

1. 断言assert原型

2. 静态断言static_assert

3. constexpr

4.DISALLOW_COPY_AND_ASSIGN

5. 非类型模板参数

6. 参考资料

---

1. 断言assert原型

void assert(int expression); assert宏的原型定义在<assert.h>中，其作用是先计算表达式expression的值为假(即为0),那么它就先向stderr打印一条出错信息，然后通过条用abort来终止程序； 使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。

2. 静态断言static_assert

static_assert关键字，用来做编译期间的断言，因此叫做静态断言。 语法: static_assert(常量表达式，提示字符串)。 参数描述: 如果第一个参数常量表达式的值为false，会产生一条编译错误，错误位置就是该static_assert语句所在行，第二个参数就是错误提示字符串。 作用： 使用static_assert，我们可以在编译期间发现更多的错误，用编译器来强制保证一些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。

static_assert可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。编译器在遇到一个static_assert语句时，通常立刻将其第一个参数作为常量表达式进行演算，但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。

3. constexpr

constexpr可以用来修饰变量、函数、构造函数。一旦以上任何元素被constexpr修饰，那么等于说是告诉编译器 “请大胆地将我看成编译时就能得出常量值的表达式去优化我”。

4.DISALLOW_COPY_AND_ASSIGN

有时候，进行类设计时，会发现某个类的对象是独一无二的，没有完全相同的对象，也就是对该类对象做副本没有任何意义。 因此，需要限制编译器自动生动的拷贝构造函数和赋值函数，DISALLOW_COPY_AND_ASSIGN 可以起到这个作用。

5. 非类型模板参数

非类型模板参数，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

template<class T,size_t N = 10>
class Mystack
{
public:
    //...
private:
    T _a[N];
    size_t _top;
};

int main()
{
    Mystack<int,100> st1; //100
    Mystack<int,200> st2; //200
    Mystack<int> st3; //可以给缺省参数：从右向左确，且连续
    return 0;
}

6. 参考资料

1. 《C++ primer》第五版

2. 【C++】模板进阶 —— 非类型模板参数 | 特化 | 模板的分离编译_小边小边不秃头的博客-CSDN博客_非类型模板参数