計算思維的本質是抽象和自動化。對于 C 語言程序來說，抽象就是使用程序、函數、函數調用以及數據類型、常量、變量、數組和鏈表等元素描述現實生活中的系統、功能、功能調用以及單個特征或特征組合等，自動化則體現為函數內部的語句在 EIP 寄存器加法操作支持下順序自動地執行以及函數之間的調用在內存堆棧區支持下自動地進行跳轉。最后，針對計算思維的抽象和自動化特征，給出了 C 語言程序設計課程在教學內容、教學方式和考核內容上的一些建議和措施。

　　一、C 語言程序中的計算思維本質之一：抽象

　　有些 C 語言程序設計課程教學的一開始就提倡使用案例教學。這雖然能夠使得學生可以迅速進入實際編程環節并建立直觀感性認識，但案例教學由于往往出現“程序就是編程工具”的工具論現象，導致出現“只知其然，而不知其所以然” 的學習后果，不利于學生的后續發展。對于 C 語言程序來說，抽象指的是使用符號系統對求解問題進行精確而嚴格的描述，抽象的過程就是對實際系統建模的過程。實際上，程序是用來描述現實生活中某個實際存在的或不存在的系統。程序就是對系統的抽象。系統之所以存在，是因為系統具有一些關鍵特征和核心功能。程序中對系統特征進行抽象的就是操作對象，對系統功能進行抽象的就是函數。系統功能往往有多個且存在著復雜的調用關系。例如，求一個函數定積分的功能必然涉及求函數在某一個點的取值功能，如果該函數比較復雜且含有正弦、余弦和正切等三角函數，還需要繼續調用求這些三角函數值的功能，形成多級調用；有時函數執行過程中還需要調用本身，形成遞歸調用。 C 語言程序中的操作對象分為變量和常量。常量是對系統中的取值不變的特征進行抽象，如圓的圓周率；而變量是對系統中取值可以改變的特征進行抽象，如圓的半徑。不管是哪類特征，都會有一個取值范圍以及所允許的操作。例如，對于課程成績，其取值范圍一般是從 0～100，而允許對該特征進行的操作可以是加法和減法等算術操作以及大于和小于等比較運算；而對于課程名字這一特征，就不能進行加法和減法這樣的算術操作。C 語言程序中用來對特征的取值范圍及允許的操作進行抽象的概念是數據類型。C 語言程序中的抽象模塊如表 1 所示。現實生活中，經常需要描述多個相同數據類型的一個系統特征，如所有同學的高等數學課程的成績，可以使用一維數組來進行描述；而描述多個不同數據類型的多個系統特征，如學生的姓名、學生的身高和學生的年齡等，可以使用結構體來進行描述；如果要描述多個相同數據類型的多個系統特征，如全班所有同學的高等數學和大學英語課程的成績，則可以使用二維數組來進行描述。