版权申明：本文为博主窗户(Colin Cai)原创，欢迎转帖。如要转贴，必须注明原文网址 http://www.cnblogs.com/Colin-Cai/p/7087128.html 作者：窗户 QQ：6679072 E-mail：6679072@qq.com
看到自己很多年前写的一篇帖子，觉得有些意义，转录过来，稍加修改。
awk是一种脚本语言，语法接近C语言，我比较喜欢用，gawk甚至可以支持tcp/ip,用起来非常方便。
awk也支持递归，只是awk不支持局部变量，所有的变量都是全局的，于是写递归有些麻烦。本文说白了，也只是借awk说一种编程的思路罢了。
原文如下：
awk支持函数，也支持递归。但awk并不支持局部变量，于是看上去递归函数很不好实现，因为在某一级调用函数的时候，里面的变量在该级调用还没有退出前就可能会被别的调用给修改掉，于是得到的结果会与期望并不一致。
我们考虑C语言，它的局部变量放在硬件支持的栈（一般用栈指针）内。于是我们就去思考，为什么是栈呢？我们来考虑一个具体的函数调用顺序：
f1调用f2;
f2调用f3;
f3返回；
f2调用f4;
f4调用f5;
f5返回；
f4返回；
f2返回；
f1返回；
按照这个循序，我们来思考每个函数开辟的栈空间：
f1的栈空间开辟(f1进栈）
f2的栈空间开辟(f2进栈）
f3的栈空间开辟(f3进栈）
f3的栈空间消亡(f3出栈）
f4的栈空间开辟(f4进栈）
f5的栈空间开辟(f5进栈）
f5的栈空间消亡(f5出栈）
f4的栈空间消亡(f4出栈）
f2的栈空间消亡(f2出栈）
f1的栈空间消亡(f1出栈）
原来跟我们数据结构里的栈的先进后出是一回事情，所以叫栈。
而当前的我们取的变量的地址都是相对于栈指针来说的，这是相对，而不是像全局变量的那种绝对。
于是我们可以受到启发，可以扩展这里的栈指针和地址的概念，awk的递归函数就可以出来了。
以下是用递归来算一个数组中的最大值（每递归一级就把数组分为两段，每段求最大值），只是举一个例子，可以扩展到任意应用。
#!/bin/awk -f
func test1(a,start,len)
{
if(len<=1)
return a[start];
x = test1(a,start,int(len/2));
y = test1(a,start+int(len/2),len-int(len/2));
return (x>y)?x:y;
}
func test2(a,start,len)
{
if(len<=1)
return a[start];
testlen++;
testa[testlen] = test2(a,start,int(len/2));
testlen++;
testa[testlen] = test2(a,start+int(len/2),len-int(len/2));
testlen-=2;
return (testa[testlen+1]>testa[testlen+2])?testa[testlen+1]:testa[testlen+2];
}
func test3(a,start,len)
{
if(len<=1) {
return a[start];
}
V = V";"test3(a,start,int(len/2));
V = V";"test3(a,start+int(len/2),len-int(len/2));
xx = V;
sub(/.*;/,"",xx);
sub(/;[^;]+$/,"",V);
yy = V;
sub(/.*;/,"",yy);
sub(/;[^;]+$/,"",V);
return int(xx)>int(yy)?int(xx):int(yy);
}
NR==1{
way=$1;
print $1
}
NR==2{
max=$1;
for(i=2;i<=NF;i++)
if($i > max)
max = $i;
print max;
for(i=1;i<=NF;i++)
a[i] = $i;
if(way == 2)
print test2(a,1,NF);
else if(way == 3)
print test3(a,1,NF);
else
print test1(a,1,NF);
exit(0);
}
这里面实现了三个递归函数，第一个是测试全局变量的污染，它是得不到正确的答案的
第二个是用数组来模拟变量栈，testlen就是所谓的“栈顶指针”
第三个是用字符串来模拟变量栈，字符串末尾就是“栈顶指针”，每个“局部变量”之间是用分号隔开
用随机数据测试一下这个应用：
linux-0gt0:/tmp/test # for((i=0;i<10;i++));do { echo $(($RANDOM % 3 + 1)); let count=$RANDOM%100+50; for((j=0;j<count;j++));do echo -n $(($RANDOM % 10000)) " "; done ; echo ; }|./1.awk ;done | sed -nr 'N;N;p;/
(.*)
1$/{s/.*/right
/p;d;}; /^[23]/s/(.).*/1 SO STRANGE!!!!!!!!!!!!!!!!!!!!!/p; s/.*/wrong
/p'
2
9981
9981
right
3
9391
9391
right
1
9919
5257
wrong
2
9860
9860
right
3
9967
9967
right
3
9940
9940
right
3
9828
9828
right
2
9752
9752
right
3
9996
9996
right
2
9930
9930
right
当然，栈的数目自然也可以不只维系一个，test2和test3维系的是一个栈。
现在来实现test4和test5，两个函数是test2和test3的变体，各自维系两个栈。
#!/bin/awk -f
#func test1(a,start,len)
#{
# if(len<=1)
# return a[start];
# x = test1(a,start,int(len/2));
# y = test1(a,start+int(len/2),len-int(len/2));
# return (x>y)?x:y;
#}
func test2(a,start,len)
{
if(len<=1)
return a[start];
testlen++;
testa[testlen] = test2(a,start,int(len/2));
testlen++;
testa[testlen] = test2(a,start+int(len/2),len-int(len/2));
testlen-=2;
return (testa[testlen+1]>testa[testlen+2])?testa[testlen+1]:testa[testlen+2];
}
func test3(a,start,len)
{
if(len<=1) {
return a[start];
}
V = V";"test3(a,start,int(len/2));
V = V";"test3(a,start+int(len/2),len-int(len/2));
xx = V;
sub(/.*;/,"",xx);
sub(/;[^;]+$/,"",V);
yy = V;
sub(/.*;/,"",yy);
sub(/;[^;]+$/,"",V);
return int(xx)>int(yy)?int(xx):int(yy);
}
func test4(a,start,len)
{
if(len<=1)
return a[start];
testlenx++;
testleny++;
testax[testlenx] = test4(a,start,int(len/2));
testay[testleny] = test4(a,start+int(len/2),len-int(len/2));
testlenx-=1;
testleny-=1;
return (testax[testlenx+1]>testay[testleny+1])?testax[testlenx+1]:testay[testleny+1];
}
func test5(a,start,len)
{
if(len<=1) {
return a[start];
}
V1 = V1";"test5(a,start,int(len/2));
V2 = V2";"test5(a,start+int(len/2),len-int(len/2));
xx = V1;
sub(/.*;/,"",xx);
sub(/;[^;]+$/,"",V1);
yy = V2;
sub(/.*;/,"",yy);
sub(/;[^;]+$/,"",V2);
return int(xx)>int(yy)?int(xx):int(yy);
}
NR==1{
way=$1;
print $1
}
NR==2{
max=$1;
for(i=2;i<=NF;i++)
if($i > max)
max = $i;
print max;
for(i=1;i<=NF;i++)
a[i] = $i;
if(way == 2)
print test2(a,1,NF);
else if(way == 3)
print test3(a,1,NF);
else if(way == 4)
print test4(a,1,NF);
else if(way == 5)
print test5(a,1,NF);
exit(0);
}
测试一下，
linux-0gt0:/tmp/test # for((i=0;i<10;i++));do { echo $(($RANDOM % 2 + 4)); let count=$RANDOM%100+50; for((j=0;j<count;j++));do echo -n $(($RANDOM % 10000)) " "; done ; echo ; }|./1.awk ;done | sed -nr 'N;N;p;/
(.*)
1$/{s/.*/right
/p;d;}; /^[234]/s/(.).*/1 SO STRANGE!!!!!!!!!!!!!!!!!!!!!/p; s/.*/wrong
/p'
5
9904
9904
right
4
9823
9823
right
5
9975
9975
right
4
9966
9966
right
5
9683
9683
right
5
9981
9981
right
4
9983
9983
right
5
9966
9966
right
5
9967
9967
right
5
9870
9870
right
当然，test4和test5各自维系的两个栈其实差别和一个栈不大，因为两个栈是同时进栈同时出栈的。
其实，即使两个栈并非同时进出栈也是可以的，只是对于这里的例子来说写不出这么复杂。
实际上，任意多的栈，任意进出栈，都是可以的。
这样就可以做到更加灵活的应用。
软件的扩展性比硬件强，我想，这就是软件的用处吧。
还是这个取最大值,举个含有多个栈,每个栈入出并不完全一致的例子,这里的test6函数
#!/bin/awk -f
func test1(a,start,len)
{
if(len<=1)
return a[start];
x = test1(a,start,int(len/2));
y = test1(a,start+int(len/2),len-int(len/2));
return (x>y)?x:y;
}
func test2(a,start,len)
{
if(len<=1)
return a[start];
testlen++;
testa[testlen] = test2(a,start,int(len/2));
testlen++;
testa[testlen] = test2(a,start+int(len/2),len-int(len/2));
testlen-=2;
return (testa[testlen+1]>testa[testlen+2])?testa[testlen+1]:testa[testlen+2];
}
func test3(a,start,len)
{
if(len<=1) {
return a[start];
}
V = V";"test3(a,start,int(len/2));
V = V";"test3(a,start+int(len/2),len-int(len/2));
xx = V;
sub(/.*;/,"",xx);
sub(/;[^;]+$/,"",V);
yy = V;
sub(/.*;/,"",yy);
sub(/;[^;]+$/,"",V);
return int(xx)>int(yy)?int(xx):int(yy);
}
func test4(a,start,len)
{
if(len<=1)
return a[start];
testlenx++;
testleny++;
testax[testlenx] = test4(a,start,int(len/2));
testay[testleny] = test4(a,start+int(len/2),len-int(len/2));
testlenx-=1;
testleny-=1;
return (testax[testlenx+1]>testay[testleny+1])?testax[testlenx+1]:testay[testleny+1];
}
func test5(a,start,len)
{
if(len<=1) {
return a[start];
}
V1 = V1";"test5(a,start,int(len/2));
V2 = V2";"test5(a,start+int(len/2),len-int(len/2));
xx = V1;
sub(/.*;/,"",xx);
sub(/;[^;]+$/,"",V1);
yy = V2;
sub(/.*;/,"",yy);
sub(/;[^;]+$/,"",V2);
return int(xx)>int(yy)?int(xx):int(yy);
}
func test6(a,start,len)
{
if(len <= 1) {
return a[start];
} else if(len == 2) {
return (a[start]>a[start+1])?a[start]:a[start+1];
} else if(len == 3) {
var1 = (a[start]>a[start+1])?a[start]:a[start+1];
return (var1>a[start+2])?var1:a[start+2];
}
var2 = int(rand()*10000)%3+2;
if(var2 == 2) {
testlenx++;
testleny++;
testax[testlenx] = test6(a,start,int(len/2));
testay[testleny] = test6(a,start+int(len/2),len-int(len/2));
testlenx-=1;
testleny-=1;
return (testax[testlenx+1]>testay[testleny+1])?testax[testlenx+1]:testay[testleny+1];
} else if(var2 == 3) {
testlenx++;
testleny++;
testlenz++;
testax[testlenx] = test6(a,start,int(len/3));
testay[testleny] = test6(a,start+int(len/3),int(len/3));
testaz[testlenz] = test6(a,start+2*int(len/3),len-2*int(len/3));
testlenx-=1;
testleny-=1;
testlenz-=1;
var1 = (testax[testlenx+1]>testay[testleny+1])?testax[testlenx+1]:testay[testleny+1];
return ((var1>testaz[testlenz+1])?var1:testaz[testlenz+1]);
} else if(var2 == 4) {
testlenx++;
testleny++;
testlenz++;
testlenA++;
testax[testlenx] = test6(a,start,int(len/4));
testay[testleny] = test6(a,start+int(len/4),int(len/4));
testaz[testlenz] = test6(a,start+2*int(len/4),int(len/4));
testaA[testlenA] = test6(a,start+3*int(len/4),len-3*int(len/4));
testlenx-=1;
testleny-=1;
testlenz-=1;
testlenA-=1;
var1 = (testax[testlenx+1]>testay[testleny+1])?testax[testlenx+1]:testay[testleny+1];
var4 = (testaz[testlenz+1]>testaA[testlenA+1])?testaz[testlenz+1]:testaA[testlenA+1];
return ((var1>var4)?var1:var4);
}
}
BEGIN {
srand(systime());
}
NR==1{
way=$1;
print $1
}
NR==2{
max=$1;
for(i=2;i<=NF;i++)
if($i > max)
max = $i;
print max;
for(i=1;i<=NF;i++)
a[i] = $i;
if(way == 2)
print test2(a,1,NF);
else if(way == 3)
print test3(a,1,NF);
else if(way == 4)
print test4(a,1,NF);
else if(way == 5)
print test5(a,1,NF);
else if(way == 6)
print test6(a,1,NF);
else
print test1(a,1,NF);
exit(0);
}