12-8 副作用与纯函数

1. 副作用

        函数副作用：指当调用函数时，除了返回函数值之外，还对主调用函数产生附加的影响。例如修改全局变量（函数外的变量）或修改参数。

        表达式副作用：在表达式求值过程中，需要获取变量的值，但并不改变这些变量的值，这样的表达式称为无副作用的表达式。一个表达式在求值过程中，对使用的变量不但引用，对它们的值还加以改变，这样的表达式称为有副作用的表达式。例如 count++，表达式获取的是 count 值，但在获取过程中对 count 变量的值进行了加 1 操作，故此表达式是有副作用的表达式。

        纯函数：输入输出数据流全是显式的。 显式的意思是，函数与外界交换数据只有一个唯一渠道——参数和返回值。函数从函数外部接受的所有输入信息都通过参数传递到该函数内部。函数输出到函数外部的所有信息都通过返回值传递到该函数外部。

        此外，还有非纯函数，引用透明，详细可见链接：https://www.cnblogs.com/snandy/archive/2011/08/14/2137898.html。

2. 缩小副作用范围，解决线程安全问题

        从表达式副作用角度考虑 12-3 小节的 count++ 问题，若 count++ 副作用修改的 count 变量不是其他线程的变量，则不存在线程安全问题。故将 count 定义为局部变量，而并非全局变量。代码如下所示：

#include <stdio.h>
#include <tinycthread.h>

int Counter(void *arg){
  int local_count = 0;
  for (int i = 0; i < 1000000; ++i) {
    local_count++;
  }

  return local_count;
}

void TestCounterByThread(){
  thrd_t t_1;
  thrd_t t_2;

  // create two threads to run the Counter function
  thrd_create(&t_1, Counter, NULL);
  thrd_create(&t_2, Counter, NULL);

  int count = 0;
  int result;

  // free up resources
  thrd_join(t_1, &result);
  count += result;
  thrd_join(t_2, &result);
  count += result;
  
  printf("count: %d", count);  // count: 2000000
}

        这种方法的解决思路与 _Thead_local，tss_t 类似，即从根本上杜绝线程安全问题的发生。线程之间不再享有共享资源，每个线程不操作其他线程的变量，仅操作线程内部的变量。

        以 count++ 问题为例，该问题的需求是启用两个线程，将主线程的 count 变量加 20w 次。可以设置锁等操作，将两个线程并发执行，修改主线程变量最终得到 20w。也可以在每个线程内部加 10w 次，将两个线程的结果进行合并，进而将主线程 count 变量进行 20w 次的相加。核心仍为，不操作主线程的变量，仅操作线程内部的变量。