### 4.1.3 編程語言對模塊化編程的支持
在 1950 年代,由于計算機內存容量很小,程序員們千方百計地想盡量減小程序的大小。 匯編語言中最早出現了子例程(subroutine)和宏(macro)的構造,其目的正是為了減小程 序大小。子例程和宏可以實現了“一次編寫、多處多次使用”,從而避免了在程序中的重復 代碼,縮短了代碼長度。
從 1960 年代開始,高級編程語言中出現了支持模塊化編程的語言構造,這種構造在不 同語言中可能有不同的名稱和形式,除了上面提到的子例程之外,還有子程序(subprogram)、 過程(procedure)、函數(function)以及由過程和函數組成的模塊、包(package)等構造。 以下我們用“子程序”來泛指這些模塊化構造。
子程序是指程序中的一段代碼,它執行特定任務,并且與同一程序中的其他部分是相對 獨立的。顧名思義,子程序也是程序,也是由許多計算步驟構成的指令序列;但抽象地看, 可以將一個子程序視為一個操作或高級指令,可以作為更大的程序中的一個簡單步驟來使 用。在程序的一次執行中,可以多次、多處執行子程序。子程序概念雖然仍然有避免重復代 碼、減小程序大小的作用,但其更重要的目的是使程序更加模塊化。
子程序構造一般涉及以下一些內容:
+ 子程序的創建:定義子程序的名字和代碼(程序體)。
+ 子程序的調用和返回:調用就是要求執行子程序,而子程序執行完畢應當將控制返 回給調用者。
+ 參數:相當于子程序所需的輸入數據,一般需要預先聲明參數的類型和個數,并在 調用時提供具體的參數值。
+ 返回值:相當于子程序的輸出數據,一般需要預先聲明返回值的類型。
+ 局部變量:子程序中定義的變量在子程序外部是不可見的,亦即子程序構成了一個 私有名字空間。這是子程序獨立性的一種表現。
+ 全局變量:子程序外部定義的變量如果被聲明為全局變量,那么所有子程序都可以 共享使用、操作該變量。
有的編程語言(如 Pascal 語言)同時提供兩種子程序構造:過程和函數。過程不產生 返回值,因此總體上相當于一條命令語句,只規定了要執行的操作;而函數不但要執行一些 計算,更重要的是需要將計算結果返回給調用者,因此函數在使用時相當于一個數據。
有的編程語言(如 C 語言)則不將子程序區分為過程和函數,而是統稱為函數。過程 就是沒有返回值的函數。不過,更現代的語言(如 Python)要求函數必須具有返回值,“過 程”其實是返回某種特殊值(如 Python 中的 None)的函數。
子程序是傳統的過程式語言中的模塊化構造。模塊化編程方法經過多年發展,又派生出 了面向對象編程方法。在面向對象語言中,對象實際上就是模塊概念的推廣,傳統模塊之間 的調用接口相應地發展成了對象之間的消息傳遞接口。
一個編程語言一般只提供基本的編程構造(數據類型、語句、子程序等),用戶所需的 實用功能都必須由自己編程實現。為了幫助用戶進行應用開發,專業軟件開發商一般會為某 種編程語言開發很多提供標準功能的子程序,用這種語言編程時可以直接調用這些標準子程 序。這些標準子程序構成了所謂的程序庫,它是軟件重用、共享和營銷的重要形式。例如 math 和 string 就是 Python 語言的標準庫。同樣地,面向對象編程語言則以類庫的形式 為程序員提供大量的標準功能代碼。
總之,子程序是強大的模塊化編程工具,通過將復雜程序分解為子程序,可以大大降低 開發復雜程序的難度,使問題變得可理解、易開發。另外,子程序的獨立性還意味著可以由 團隊來開發復雜程序,從而提高軟件生產率。最后,由于較小的子程序更容易驗證正確性, 所以模塊化開發還可以保證復雜程序的質量和可靠性。
- 前言
- 第 1 章 計算與計算思維
- 1.1 什么是計算?
- 1.1.1 計算機與計算
- 1.1.2 計算機語言
- 1.1.3 算法
- 1.1.4 實現
- 1.2 什么是計算思維?
- 1.2.1 計算思維的基本原則
- 1.2.2 計算思維的具體例子
- 1.2.3 日常生活中的計算思維
- 1.2.4 計算思維對其他學科的影響
- 1.3 初識 Python
- 1.3.1 Python 簡介
- 1.3.2 第一個程序
- 1.3.3 程序的執行方式
- 1.3.4 Python 語言的基本成分
- 1.4 程序排錯
- 1.5 練習
- 第 2 章 用數據表示現實世界
- 2.1 數據和數據類型
- 2.1.1 數據是對現實的抽象
- 2.1.1 常量與變量
- 2.1.2 數據類型
- 2.1.3 Python 的動態類型*
- 2.2 數值類型
- 2.2.1 整數類型 int
- 2.2.2 長整數類型 long
- 2.2.3 浮點數類型 float
- 2.2.4 數學庫模塊 math
- 2.2.5 復數類型 complex*
- 2.3 字符串類型 str
- 2.3.1 字符串類型的字面值形式
- 2.3.2 字符串類型的操作
- 2.3.3 字符的機內表示
- 2.3.4 字符串類型與其他類型的轉換
- 2.3.5 字符串庫 string
- 2.4 布爾類型 bool
- 2.4.1 關系運算
- 2.4.2 邏輯運算
- 2.4.3 布爾代數運算定律*
- 2.4.4 Python 中真假的表示與計算*
- 2.5 列表和元組類型
- 2.5.1 列表類型 list
- 2.5.2 元組類型 tuple
- 2.6 數據的輸入和輸出
- 2.6.1 數據的輸入
- 2.6.2 數據的輸出
- 2.6.3 格式化輸出
- 2.7 編程案例:查找問題
- 2.8 練習
- 第 3 章 數據處理的流程控制
- 3.1 順序控制結構
- 3.2 分支控制結構
- 3.2.1 單分支結構
- 3.2.2 兩路分支結構
- 3.2.3 多路分支結構
- 3.3 異常處理
- 3.3.1 傳統的錯誤檢測方法
- 3.3.2 傳統錯誤檢測方法的缺點
- 3.3.3 異常處理機制
- 3.4 循環控制結構
- 3.4.1 for 循環
- 3.4.2 while 循環
- 3.4.3 循環的非正常中斷
- 3.4.4 嵌套循環
- 3.5 結構化程序設計
- 3.5.1 程序開發過程
- 3.5.2 結構化程序設計的基本內容
- 3.6 編程案例:如何求 n 個數據的最大值?
- 3.6.1 幾種解題策略
- 3.6.2 經驗總結
- 3.7 Python 布爾表達式用作控制結構*
- 3.8 練習
- 第 4 章 模塊化編程
- 4.1 模塊化編程基本概念
- 4.1.1 模塊化設計概述
- 4.1.2 模塊化編程
- 4.1.3 編程語言對模塊化編程的支持
- 4.2 Python 語言中的函數
- 4.2.1 用函數減少重復代碼 首先看一個簡單的用字符畫一棵樹的程序:
- 4.2.2 用函數改善程序結構
- 4.2.3 用函數增強程序的通用性
- 4.2.4 小結:函數的定義與調用
- 4.2.5 變量的作用域
- 4.2.6 函數的返回值
- 4.3 自頂向下設計
- 4.3.1 頂層設計
- 4.3.2 第二層設計
- 4.3.3 第三層設計
- 4.3.4 第四層設計
- 4.3.5 自底向上實現與單元測試
- 4.3.6 開發過程小結
- 4.4 Python 模塊*
- 4.4.1 模塊的創建和使用
- 4.4.2 Python 程序架構
- 4.4.3 標準庫模塊
- 4.4.4 模塊的有條件執行
- 4.5 練習
- 第 5 章 圖形編程
- 5.1 概述
- 5.1.1 計算可視化
- 5.1.2 圖形是復雜數據
- 5.1.3 用對象表示復雜數據
- 5.2 Tkinter 圖形編程
- 5.2.1 導入模塊及創建根窗口
- 5.2.2 創建畫布
- 5.2.3 在畫布上繪圖
- 5.2.4 圖形的事件處理
- 5.3 編程案例
- 5.3.1 統計圖表
- 5.3.2 計算機動畫
- 5.4 軟件的層次化設計:一個案例
- 5.4.1 層次化體系結構
- 5.4.2 案例:圖形庫 graphics
- 5.4.3 graphics 與面向對象
- 5.5 練習
- 第 6 章 大量數據的表示和處理
- 6.1 概述
- 6.2 有序的數據集合體
- 6.2.1 字符串
- 6.2.2 列表
- 6.2.3 元組
- 6.3 無序的數據集合體
- 6.3.1 集合
- 6.3.2 字典
- 6.4 文件
- 6.4.1 文件的基本概念
- 6.4.2 文件操作
- 6.4.3 編程案例:文本文件分析
- 6.4.4 緩沖
- 6.4.5 二進制文件與隨機存取*
- 6.5 幾種高級數據結構*
- 6.5.1 鏈表
- 6.5.2 堆棧
- 6.5.3 隊列
- 6.6 練習
- 第 7 章 面向對象思想與編程
- 7.1 數據與操作:兩種觀點
- 7.1.1 面向過程觀點
- 7.1.2 面向對象觀點
- 7.1.3 類是類型概念的發展
- 7.2 面向對象編程
- 7.2.1 類的定義
- 7.2.2 對象的創建
- 7.2.3 對象方法的調用
- 7.2.4 編程實例:模擬炮彈飛行
- 7.2.5 類與模塊化
- 7.2.6 對象的集合體
- 7.3 超類與子類*
- 7.3.1 繼承
- 7.3.2 覆寫
- 7.3.3 多態性
- 7.4 面向對象設計*
- 7.5 練習
- 第 8 章 圖形用戶界面
- 8.1 圖形用戶界面概述
- 8.1.1 程序的用戶界面
- 8.1.2 圖形界面的組成
- 8.1.3 事件驅動
- 8.2 GUI 編程
- 8.2.1 UI 編程概述
- 8.2.2 初識 Tkinter
- 8.2.3 常見 GUI 構件的用法
- 8.2.4 布局
- 8.2.5 對話框*
- 8.3 Tkinter 事件驅動編程
- 8.3.1 事件和事件對象
- 8.3.2 事件處理
- 8.4 模型-視圖設計方法
- 8.4.1 將 GUI 應用程序封裝成對象
- 8.4.2 模型與視圖
- 8.4.3 編程案例:匯率換算器
- 8.5 練習
- 第 9 章 模擬與并發
- 9.1 模擬
- 9.1.1 計算機建模
- 9.1.2 隨機問題的建模與模擬
- 9.1.3 編程案例:乒乓球比賽模擬
- 9.2 原型法
- 9.3 并行計算*
- 9.3.1 串行、并發與并行
- 9.3.2 進程與線程
- 9.3.3 多線程編程的應用
- 9.3.4 Python 多線程編程
- 9.3.5 小結
- 9.4 練習
- 第 10 章 算法設計和分析
- 10.1 枚舉法
- 10.2 遞歸
- 10.3 分治法
- 10.4 貪心法
- 10.5 算法分析
- 10.5.1 算法復雜度
- 10.5.2 算法分析實例
- 10.6 不可計算的問題
- 10.7 練習
- 第 11 章 計算+X
- 11.1 計算數學
- 11.2 生物信息學
- 11.3 計算物理學
- 11.4 計算化學
- 11.5 計算經濟學
- 11.6 練習
- 附錄
- 1 Python 異常處理參考
- 2 Tkinter 畫布方法
- 3 Tkinter 編程參考
- 3.1 構件屬性值的設置
- 3.2 構件的標準屬性
- 3.3 各種構件的屬性
- 3.4 對話框
- 3.5 事件
- 參考文獻