函式館是指可供使用的例行程式和其他電腦程式的集合。可分離函式館是指函式館按照某種功能或作用分離成不同的函式模組或組件。可分離函式館有很多優點：方便對函式館的管理、修改和刪去等。可分離函式館是套用領域很廣泛，例如資料庫函式館和程式語言的函式館。
基本介紹
- 中文名：可分離函式館
- 外文名：separable function
- 學科：計算機
- 定義：函式館分離成不同的模組或組件
- 特點：擴展性好
- 領域：資料庫
簡介,組件,概述,特點,模組化程式設計,函式館,
簡介
可分離函式館是指函式館按照某種功能或作用分離成不同的函式模組或組件。對於軟體系統來說，可分離函式館有利於函式館按照實際需求來添加有關函式館模組，減小程式安裝和運行時所需要的存儲空間。可分離函式館一般採用模組化程式設計技術和組件技術進行設計。
組件
概述
組件就是一些可重用的對象開發人員可以方便地將這些對象組合到更大的程式中而不用 考慮對象本身的實現細節。以下是一些組件常見其他定義：組件是一個獨立的可傳遞的操作的集合；組件是軟體開發中一 個可替換的軟體單元，它封裝了設計決策，並作為一個大單元的一部分和其它組件組合起 來；組件是由一些對象類組成的物理意義上的包；組件是具有特定功能，能夠跨越進程的 邊界實現網路、語 言、應用程式、開發工具和作業系統的“即插即用”的獨立的對象；組件在通常意義上是指任何可被分離出來，具有標準化的和可重用性的公開接口的軟體 ( 子 ) 系統。
特點
真正的軟體重用和高度的互操作性：組件是完成通用或特定功能的一些可互操作的和可重用的模組，套用開發者可以利用它們在不同套用領域的知識來自由組合生成合適的套用系統。
接口的可靠性：組件接口是不變的，一旦被發表，它們就不能被修改。也就是說，一旦組件使用者通過某接口獲得某項服務，則總可從這個接口獲得此項服務。因此,組件封裝後，只能通過己定義的接口來提供合理的、一致的服務。這種接口定義的穩定性使客戶套用開發者能構造出堅固的套用。
可擴充服務：每個組件都是自主的，有其獨自的功能，只能通過接口與外界通信。通過訊息傳送互相提供服務,基本組件的互操作是互動服務的。當一個組件需要提供新的服務時，可通過增加新的接口來完成，不會影響原接口己存在的用戶。用戶也可重新選擇新的接口來獲得服務。
具有強有力的基礎設施：為了使組件有機地膠合(glued)在一起，實現無縫連線,需要功能很強的基礎設施。這些基礎設施是獲得重用性、可移植性和互操作性的有效工具。這樣就可知道如何找到組件提供的服務，並能在應用程式編譯時進行靜態聯編，用戶必須在編譯時就知道要訪問的伺服器接口，或在應用程式執行時進行動態聯編。在動態機制中，客戶可以不知道可用的伺服器和接口信息,而是在運行時間內搜尋可用伺服器，找到伺服器接口，構造請求並傳送，最後收到應答。
具有構建和膠合組件的工具：在設計與其它套用軟體的接口時，利用構建和膠合組件的工具，可以方便地增加和替換套用中的組件，充分發揮可重用的優勢，實現客戶應用程式的組裝和升級。
模組化程式設計
一個程式或系統模組可定義為一個較大的程式的邏輯上自含的並可分離的部分。因此一個完整的程式可看作是模組的集合。一個結構適當的模組，接 受定義良好的處理動作，並產生定義良好的(就內容 與結構而論)輸出。如該術語通常使用的情況一樣， 一個結構適當的模組只有一個入口點，且只有一個出口點。如果它是一個例程，它總是只返到調用它的 語句之後的語句。
在許多語言中，一個子例程在功能上等效於一 個模組，雖然大多數語言容許違反上述的原則，例如 、容許多個入口與出口點。模組化程式設計的目的是把一個複雜的任務斷開成幾個較小與較簡單的子任務，它至少方便了正確的程式的編寫。由範圍設計適當(典型地至多一頁 或二頁代碼)的幾個模組組成的一個程式，編寫與檢查起來比不是如此模組化的同一個程式要簡單得 多。此外，一個程式或系統的各部分之間的相互作用就可嚴格限制在各模組之間，它大大簡化了對於一 個程式是如何工作的理解。在由幾個程式設計師小組開發大的軟體系統中，如 果不同程式設計師編寫的各部分要有效地且在合理的時後，由於所有使用了一段時間之後的程式與系統必須進行維護與修改，良好的模組化也有助於更快地和更準確地做這些雜務。好的程式設計以程式的功能的最通用的定義開 始，通過一系列逐漸詳盡的說明進行。這種方法，稱為自頂向下的設計，它是結構化程式設計的一個方 面，並被模組化程式設計所大大提高。
函式館
是由一些預先編制好的常用程式組合而成的，這些程式包括： 計算初等函式的標準子程式; 數學上常用的計算方法，如解微分方程、偏微分方程、函式求解、數值積分、解代數方程組、求特徵值等標準程式;例行程式和計算機系統常用的服務程式、通用程式，還可以根據用戶的要求，增減程式庫中的程式。對程式庫中的程式要求規範化，計算方法好，運行程度快，精度高。規範化的內容主要有： 同一程式庫里所有程式的格式是統一的; 對這些程式的調用方法是相同的; 每個程式所需參數的數目、順序和類型都是嚴格規定好的。
一般不將程式庫作為一個單獨的程式來使用，而將庫中所需的程式作為某程式中的一部分，例如在高級語言中都具有程式庫，需要程式庫中哪部分程式則調用哪部分。從而節省用戶編制這部分程式的工作，提高了用戶編程式的速度。
