語言的歧義

kingwenguang 2014-12-28

展開全文

語言是人與人相互溝通的途徑，而計算機語言則是人和計算機溝通的途徑。就算是任何再完美的自然語言都會有歧義，但是又是什么讓人和計算計算機間產(chǎn)生了歧義呢？

下面這篇文章來自Gowri Kumar的Puzzle C一文。我做了一些整理，挑選了其中的一些問題，并在之后配上相應的答案(這些答案是我加的，如果需要原版的答案可以直接和本文作者Gowri Kumar聯(lián)系，作者的聯(lián)系方式可以從這里得到)。

puzzle 1

此段程序的作者希望輸出數(shù)組中的所有元素，但是他卻沒有得到他想要的結果，是什么讓程序員和計算機產(chǎn)生歧義？

01.#include

02.#define TOTAL_ELEMENTS (sizeof(array) / sizeof(array[0]))

03.int array[] = {23,34,12,17,204,99,16};

04.int main()

05.{

06. int d;

07.

08. for(d=-1;d <= (TOTAL_ELEMENTS-2);d++)

09. printf("%d/n",array[d+1]);

10.

11. return 0;

12.}

解答：運行上面的程序，結果是什么都沒有輸出，導致這個結果的原因是sizeof的返回值是一個unsinged int，為此在比較int d 和TOTAL_ELEMENTS兩個值都被轉換成了unsigned int來進行比較，這樣就導致-1被轉換成一個非常大的值，以至于for循環(huán)不滿足條件。因此，如果程序員不能理解sizeof操作符返回的是一個 unsigned int的話，就會產(chǎn)生類似如上的人機歧義。

puzzle 2

看上去非常完美的程序，是什么導致了編程程序不通過？

01.#include

02.

03.void OS_Solaris_print()

04.{

05. printf("Solaris - Sun Microsystems/n");

06.}

07.

08.void OS_Windows_print()

09.{

10. printf("Windows - Microsoft/n");

11.

12.}

13.void OS_HP-UX_print()

14.{

15. printf("HP-UX - Hewlett Packard/n");

16.}

17.

18.int main()

19.{

20. int num;

21. printf("Enter the number (1-3):/n");

22. scanf("%d",&num);

23.

24. switch(num)

25. {

26. case 1:

27. OS_Solaris_print();

28. break;

29. case 2:

30. OS_Windows_print();

31. break;

32. case 3:

33. OS_HP-UX_print();

34. break;

35. default:

36. printf("Hmm! only 1-3 :-)/n");

37. break;

38. }

39.

40. return 0;

41.}

解答：
程序員要以計算機的語言進行思考，不上上面那段程序導致的結果不止是歧義這么簡單，而直接的結果是，導致計算機”聽不懂”你在說什么。導致計算機聽不懂的原因是HP-UX中的’-'是減號？還是其他什么？

puzzle 3

下面這段程序會輸出什么，為什么？

01.enum {false,true};

02.

03.int main()

04.{

05. int i=1;

06.

07. do

08. {

09. printf("%d/n",i);

10. i++;

11. if(i < 15)

12. continue;

13. }while(false);

14.

15. return 0;

16.}

解答：
1到14？不對，結果是1，因為continue的含義是不執(zhí)行循環(huán)體之后語義，而直接到循環(huán)點。明顯while(false)不屬于循環(huán)體。導致這段程序的歧義就是：程序員沒有完全理解計算機語言中continue的含義。

puzzle 4

下面這段程序的輸出結果是：

01.#include

02.#define f(a,b) a##b

03.#define g(a) #a

04.#define h(a) g(a)

05.

06.int main()

07.{

08. printf("%s/n",h(f(1,2)));

09. printf("%s/n",g(f(1,2)));

10. return 0;

11.}

當然，你首先要了解##和#的用法，如果不懂的話，本題你可以直接跳過。
解答：
看到這段程序你可能會認為，這兩個printf輸出的同一個結果，可是答案卻非如此，本題的輸出是12和f(1,2)，為什么會這樣呢？因為這是宏，宏的解開不象函數(shù)執(zhí)行，由里帶外。

puzzle 5

下面這段程序的輸出是什么

#include
int main()
{
     int a=10;
     switch(a)
    {
        case ‘1′:
             printf(”O(jiān)NE/n”);
            break;
        case ‘2′:
            printf(”TWO/n”);
            break;
        defau1t:
             printf(”NONE/n”);
    ｝
    return 0;
}

解答：
本題我故意將語法敏感插件去掉，為了就是能得到更好的效果，這道題又是什么讓歧義再次發(fā)生，如果不仔細你可能永遠都找不到答案，如果真到的到了那個時候，你是否會因為對default語義的懷疑，而不敢再使用default？本題的歧義點就是default，看好了是defau1t而不是default，不是關鍵字！為什么計算能”聽懂”這樣的defau1t，算然它聽懂了，但它的理解卻是標號”defau1t”

puzzle 6

下面這段程序的輸出什么？

01.#include

02.

03.int main()

04.{

05. float f=0.0f;

06. int i;

07.

08. for(i=0;i<10;i++)

09. f = f + 0.1f;

10.

11. if(f == 1.0f)

12. printf("f is 1.0 /n");

13. else

14. printf("f is NOT 1.0/n");

15.

16. return 0;

17.}

解答：
你是否似曾相識？不錯這個問題在酷殼之前的博文《你能做對下面這些JavaScript的題嗎？》中曾今提到過，不要讓兩個浮點數(shù)相比較。所以本題的答案是”f is NOT 1.0″，如果你真想比較兩個浮點數(shù)時，你應該按一定精度來比較，比如你一定要在本題中做比較那么你應該這么做if( (f - 1.0f)<0.1 )

puzzle 7

下面兩個函數(shù)是否具有相同的原型？

1.int foobar(void);

2.int foobar();

下面這兩段程序將會幫你找到上題的答案

程序1

01.#include

02.void foobar1(void)

03.{

04. printf("In foobar1/n");

05.}

06.

07.void foobar2()

08.{

09. printf("In foobar2/n");

10.}

11.

12.int main()

13.{

14. char ch = 'a';

15.

16. foobar1();

17. foobar2(33, ch);

18.

19. return 0;

20.}

程序2

01.#include

02.void foobar1(void)

03.{

04. printf("In foobar1/n");

05.}

06.

07.void foobar2()

08.{

09. printf("In foobar2/n");

10.}

11.

12.int main()

13.{

14. char ch = 'a';

15.

16. foobar1(33,ch);

17. foobar2();

18.

19. return 0;

20.}

解答
程序片段一，沒有問題，程序片段二編譯報錯，這兩個程序告訴我們，foobar1(void)和foobar2()是有不同原型的的。我們可以在《ISO/IEC 9899》的C語言規(guī)范找到下面兩段關于函數(shù)聲明的描述

10.The special case of an unnamed parameter of type void as the only item in the list specifies that the function has no parameters

14.An identifier list declares only the identifiers of the parameters of the function. An empty list in a function declarator that is part of a definition of that function specifies that the function has no parameters. The empty list in a function declarator that is not part of a definition of that function specifies that no information about the number or types of the parameters is supplied.124)

上面兩段話的意思就是：foobar1(void)是沒有參數(shù)，而foobar1()等于forbar1(…)等于參數(shù)類型未知。

總結
看到這些C語言的題目，不禁讓我想起了巴別塔，計算機語言作為如此嚴謹?shù)恼Z言都有可能帶來如此多的歧義，更何況自然語言，更何況相互不通的自然語言。要杜絕歧義，我們就必須清晰的了解計算機語言每一個指令的語義。就如同人類，人類要和平就要相互了解各自的文化。愿世界上人們清晰了解別人的語言的語義，愿世界不再因為文化的不同而戰(zhàn)爭，原世界和平。