正文

在計算機科學中，資料結(jié)構(gòu)（data structure）是計算機中存儲、組織數(shù)據(jù)的方式。通常情況下，精心選擇的資料結(jié)構(gòu)可以帶來最優(yōu)算法效率的演算法。一般而言，資料結(jié)構(gòu)的選擇首先會從抽象數(shù)據(jù)類型的選擇開始。一個設(shè)計良好的資料結(jié)構(gòu)，應(yīng)該在盡可能使用較少的時間與空間資源的前提下，為各種臨界狀態(tài)下的運行提供支持。資料結(jié)構(gòu)可通過編程語言所提供的數(shù)據(jù)類型、引用及其他操作加以實現(xiàn)。

簡介

不同種類的資料結(jié)構(gòu)適合於不同種類的應(yīng)用，而部分甚至專門用于特定的作業(yè)任務(wù)。例如，當計算機網(wǎng)路依賴於路由表運作時，B樹高度適用於資料庫的封裝。

在許多類型的程序設(shè)計中，選擇適當?shù)馁Y料結(jié)構(gòu)是一個主要的考慮因素。許多大型系統(tǒng)的構(gòu)造經(jīng)驗表明，封裝的困難程度與最終成果的質(zhì)量與表現(xiàn)，都取決於是否選擇了最優(yōu)的資料結(jié)構(gòu)。在許多時候，確定了資料結(jié)構(gòu)後便能很容易地得到演算法。而有些時候，方向則會顛倒過來：例如當某個關(guān)鍵作業(yè)需要特定資料結(jié)構(gòu)下的演算法時，會反過來確定其所使用的資料結(jié)構(gòu)。然而，不管是哪種情況，資料結(jié)構(gòu)的選擇都是至關(guān)重要的。

系統(tǒng)構(gòu)造的關(guān)鍵因素是資料結(jié)構(gòu)而非演算法的這一深入理解，導(dǎo)致了多種形式化的設(shè)計方法與程式語言的出現(xiàn)。絕大多數(shù)的語言都帶有某種程度上的模塊化思想，通過將資料結(jié)構(gòu)的具體實現(xiàn)封裝隱藏於受限介面後方的方法，來讓不同的應(yīng)用程序能夠安全地重用這些資料結(jié)構(gòu)。C++、Java等物件導(dǎo)向的程序設(shè)計語言可使用類來完成這一功能。

因為資料結(jié)構(gòu)的重要性毋庸置疑，現(xiàn)代程式語言及其運行環(huán)境在標準庫中都包含了多種的資料結(jié)構(gòu)，例如C++標準模板庫中的容器、java集合框架以及微軟的.NET Framework。

大多數(shù)資料結(jié)構(gòu)都由數(shù)列、記錄、可辨識聯(lián)合、引用等基本類型構(gòu)成。舉例而言，可空引用（nullable reference，一種可被置空的引用）是引用與可辨識聯(lián)合的結(jié)合體，而最簡單的鏈式結(jié)構(gòu)鏈表則是由記錄與可空引用構(gòu)成。

資料結(jié)構(gòu)意味著：一個資料結(jié)構(gòu)可被視為兩個函數(shù)之間的介面，或者是由數(shù)據(jù)類型聯(lián)合組成的存儲內(nèi)容的訪問方法封裝。