骚操作：c++如何用goto便捷地写人工栈？

在如今所有NOI系列赛事已经开全栈的时势下，人工栈已经离我们很远很远。

所以这博客就是我弄着玩的。

首先我们要清楚的是c++的goto写法：

loop：;
…
goto loop;

在运行到goto时，就会跳到对应的标记，标记在goto的前后都可以。

然而你试着试着却发现编译错误了，

原因是loop和goto之间不能有新加变量（递归也是新加变量）的操作，你可以想象你的代码里不能int k两次。

那我们到底该怎么改呢，举个例子？

遍历树的：

void dg(int x) {
	siz[x] = 1;
	for(int i = fi[x]; i; i = nt[i]) {
		int y = to[i];
		if(y == fa[x]) continue;
		fa[y] = x;
		dg(y);
		siz[x] += siz[to[i]];
	}
}

1.把递归里所有用到变量都在开头定义。

void dg(int x) {
	int i, y;
	siz[x] = 1;
	for(i = fi[x]; i; i = nt[i]) {
		y = to[i];
		if(y == fa[x]) continue;
		fa[y] = x;
		dg(y);
		siz[x] += siz[to[i]];
	}
}

2.新命名这些变量，包括dg里的参数，存到数组里，多开一个type表示当前程序应该从哪里开始。

int z0, ty[N], zx[N], zi[N], zy[N];

3.用while循环实现递归过程。

while循环开始加载所有变量，然后开始goto。

在每次递归前都把当前所有用到的变量记下来，当前位置记好，下一层的开好，跳回开头，递归后设一个标记，以便之后跳过来。

int z0, ty[N], zx[N], zi[N], zy[N];
void dg(int x) {
	ty[++ z0] = 0, zx[z0] = x;
	while(z0) {
		loop0 :;
		int x = zx[z0], i = zi[z0], y = zy[z0];
		if(ty[z0] == 1) goto loop1;
		siz[x] = 1;
		for(i = fi[x]; i; i = nt[i]) {
			y = to[i];
			if(y == fa[x]) continue;
			fa[y] = x;

			zx[z0] = x, zi[z0] = i, zy[z0] = y, ty[z0] = 1;
			ty[++ z0] = 0, zx[z0] = y;
			goto loop0;
			//dg(y);
			loop1 :;

			siz[x] += siz[to[i]];
		}
		z0 --;
	}
}

这样改的好处是并不用做特别多的修改，且不容易改错，是一种简单的人工栈写法。