????????

?????????????????CPU??x86?????治????64GB???????????????????????Windows 2003???IE??汾???????6.0????PICT???????????????????????????????????????????????????????????????????????????Ч???????????????????Ч??????

????3. С???????Guard?????

??????????????????????????????Ч?????????磬?????′????У?if???????????????A<=0??????

int func(int A?? int B?? int C)
{
    if (A <= 0) return ERROR;
    ...
}

???????????ж?????????????????????????????????????μ????????????????У?A??????-1?? 0?? 1??

A: -1?? 0?? 1
B: -1?? 0?? 1
C: -1?? 0?? 1

????????????????????????????????????9????????????

A       B       C
0       1       -1
1       -1      1
-1      0       -1
1       1       0
-1      -1      0
0       0       1
1       -1      -1
-1      1       1
0       -1      0
1       0       0

????????9???????????У???6????????????if???????????????A<=0?????3?????????????????к????????????ζ?????1/3??B??C???????????????????????????????????????????????????????ж????????????????????????????????????????? ??

??????????????????????????????????????????????????????ж??????桱??Negative????????????????????????????????????????????????????????Χ?????磬?????????????????func?????????????????

A: 1?? 10?? 100
B: -1?? 0?? 1
C: -1?? 0?? 1

?????????????????????????????????????????A: 0??B: 0?? C: 0?????????????????????????????????????????????A??B??C??????????????????????????????????????????????????

??????????????????PICT??????У??????????"~"?????????invalid????????磬??????????У?????A????0???????????

A: ~0?? 1?? 10
B: -1?? 0?? 1
C: -1?? 0?? 1

????PICT?????????Ч???????????????????????????????Ч?????????????????????????????2???????????

A       B       C
1       1       -1
1       0       1
10      -1      -1
1       -1      0
10      0       -1
10      -1      1
10      0       0
10      1       0
1       1       1
~0      0       -1
~0      -1      0
~0      1       1