每天学习亿点点day 18: 顺序点是啥？副作用是啥？以及关于类里有些函数不实现会怎样？

1. 副作用(side effect)

表达式有两个作用，一个是产生值，同时可能产生副作用，这个副作用指的是改变某个或某些变量的值.

  如:

    1:20         //这个表达式的值是20；它没有副作用，因为它没有改变任何变量的值。

    2:x=5       // 这个表达式的值是5；它有一个副作用，因为它改变了变量x的值。

    3:x=y++     // 这个表达示有两个副作用，因为改变了两个变量的值。

    4:x=x++     // 这个表达式也有两个副作用，因为变量x的值发生了两次改变。

表达式求值规则的核心在于 顺序点

顺序点的意思是在一系列步骤中的一个“结算”的点，语言要求这一时刻的求值和副作用全部完成，才能进入下面的部分。在C/C++中只有以下几种存在顺序点:

   1)分号;

   2)未重载的逗号运算符的左操作数赋值之后(即','处)

   3)未重载的'||'运算符的左操作数赋值之后(即'||'处);

   4)未重载的'&&'运算符的左操作数赋值之后(即"&&"处);

   5)三元运算符'? : '的左操作数赋值之后(即'?'处);

   6)在函数所有参数赋值之后但在函数第一条语句执行之前;

   7)在函数返回值已拷贝给调用者之后但在该函数之外的代码执行之前;

   8)每个基类和成员初始化之后;

   9)在每一个完整的变量声明处有一个顺序点，例如int i, j;中逗号和分号处分别有一个顺序点;

  10)for循环控制条件中的两个分号处各有一个顺序点。

我们假定程序里有代码片段“...a[i]++ ... a[j] ...”，假定当时i与j的值恰好相等（a[i] 和a[j] 正好引用同一数组元素）；假定a[i]++ 确实在a[j] 之前计算；再假定其间没有其他修改a[i] 的动作。在这些假定下，a[i]++ 对 a[i] 的修改能反映到 a[j] 的求值中吗？注意：由于 i 与 j 相等的问题无法静态判定，在目标代码里，这两个数组元素访问（对内存的访问）必然通过两段独立代码完成。现代计算机的计算都在寄存器里做，问题现在变成：在取 a[j] 值的代码执行之前，a[i] 更新的值是否已经被（从寄存器）保存到内存？程序语言通常都规定了执行中变量修改的最晚实现时刻（称为顺序点、序点或执行点）。程序执行中存在一系列顺序点（时刻），语言保证一旦执行到达一个顺序点，在此之前发生的所有修改（副作用）都必须实现（必须反应到随后对同一存储位置的访问中），在此之后的所有修改都还没有发生。在顺序点之间则没有任何保证。说人话就是顺序点之后所有修改必然保存在该在的位置！

在两个顺序点之间，子表达式求值和副作用的顺序是不同步的。如果代码的结果与求值和副作用发生顺序相关，称这样的代码有不确定的行为(unspecified behavior).而且,假如期间对一个内建类型执行一次以上的写操作,则是未定义行为. 

如：

   x=x++;

   该表达式只有一个顺序点，在该顺序点之前有2个副作用，一个是自增，一个赋值，这两个副作用发生的顺序是未定义的，即自增运算和赋值运算哪一个先执行是没有被定义的(注意这个顺序跟运算符的优先级是无关的，注意理解运算符优先级的含义)，这个执行次序交由编译器厂商去自行决定，因此对于不同的编译器可能会得出不同的结果。

 

尽量保证，在两个相邻顺序点之间同一个变量不可以被修改两次以上或者同时有读取和修改，否则，就会产生未定义的行为。

2. 类中有函数不实现

1）该类未有任何调用，则不影响任何编译链接

2）当类实例化时，纯虚函数和虚函数无法实例化，原因分别为编译时和链接时报错，这跟vtable相关；一般函数和静态函数可以实例化

3）当类实例化并调用对应的方法时，这个时候肯定必须实现方法了，要不程序怎样调用对应函数指针