因为变量count是静态的，它只声明一次，之后就不会被赋值为0，这就是为什么这个函数不会进入无限递归，也是为什么当你第二次调用这个函数时，* 它不会初始化计数器 *。
如果你做了这样的事

squareWall(size);
squareWall(size);

第一次调用成功，但是第二次，由于count仍然等于size，所以函数立即返回。
但是在这个例子中

squareWall(size);
squareWall(size - 1);

第一次调用仍然成功，但是第二次调用将不返回到保护子句，因为count == size，s == size - 1，在那之后，你的函数将永远不会返回，所以它以无限递归结束，这在某个点上导致SEGFAULT。
在递归函数中使用静态变量通常不是一个好的做法，因为它往往会导致这样的情况。一个解决方案是将count声明为一个具有默认值的参数：

void squareWall(int s, int count = 0)
{
  if (count == s)
    return;

  string t;
  for (int i = 0; i < s; i++)
  {
    t = t + "* ";
  }
  
  cout << t << "\n";
  return squareWall(s, count + 1);
}