深入理解Rust語言中的可見性控制

Rust語言中，模組（module）系統的一個核心特點就是其定義明確的可見性（visibility）規則，它規定了程式碼中的哪些部份可以被其他部份存取。讓我們深入了解這個特點，並透過範例來加深理解。

在Rust中，預設情況下，所有計畫（包括結構體struct、函式function、欄位field等）都被視為私有（private）。私有的實體只能在以下情況下被存取：

我們可以透過存取修飾詞（visibility modifier）改變預設的可見性，下面是一些常見的修飾詞及其作用：

這些修飾詞可以用於模組、結構體、函式、欄位等。

接下來，讓我們透過一個詳細的範例來更好地理解這些概念：

// 在一個模組內定義一個公有的結構體和一個私有的結構體
mod my_module {
// `pub` 使得`PublicStruct`在這個模組外部也可以被存取
pubstructPublicStruct {
pub(crate) public_field: u32,
private_field: u32,
}
// 沒有`pub`，因此`PrivateStruct`在這個模組外部不能被存取
structPrivateStruct {
pub(crate) public_field: u32,
private_field: u32,
}
pubfnfunction_in_my_module() {
// 在此模組內可以自由存取`PublicStruct`和`PrivateStruct`
let _public_struct = PublicStruct {
public_field: 1,
private_field: 2,
};
let _private_struct = PrivateStruct {
public_field: 3,
private_field: 4,
};
}
}
fnmain() {
use my_module::PublicStruct;
// 可以例項化`PublicStruct`，因為它是公有的
let my_public_struct = PublicStruct {
// 可以存取`public_field`，因為我們在同一個crate中
public_field: 5,
// 下面這行將會報錯，因為`private_field`是私有的，不能在模組外部存取
// private_field: 6,
};
// 下面這行將會報錯，因為`PrivateStruct`是私有的，不能在模組外部例項化
// let my_private_struct = my_module::PrivateStruct {
// public_field: 7,
// private_field: 8,
// };
// 可以呼叫`function_in_my_module`，因為它是公有的
my_module::function_in_my_module();
}







在上述範例中，我們定義了兩個結構體 PublicStruct 和 PrivateStruct 。 PublicStruct 是公有的，因而可以在模組外部存取和例項化；它的欄位 public_field 透過 pub(crate) 被設定為crate內公有，但是欄位 private_field 是私有的，不能在模組外部存取。相反， PrivateStruct 是完全私有的，無法在定義它的模組外部進行例項化或存取。

理解Rust的可見性規則對於構建模組化、安全和易於維護的程式碼至關重要。它不僅幫助開發者掌控程式碼的封裝和暴露的介面，還是Rust語言安全原則的重要組成部份之一。

此外，了解如何恰當地使用這些可見性修飾詞也是開發者進行庫設計時必須考慮的。提供一個清晰、有條理的公共API，同時把內部實作細節隱藏起來，可以避免不必要的依賴和潛在的錯誤。

需要註意的是，隨著程式碼庫的增長和模組化程度的增高，理解和正確套用可見性規則可能會變得更加復雜。因此建議開發者在實際套用中透過實踐來加強對這一主題的掌握。

總結

Rust的可見性規則為模組提供了強大的封裝能力，它能夠幫助我們控制程式碼的內聚性和耦合性，是一門現代程式語言的重要特性。透過深入了解和恰當使用這些規則，您可以編寫出更加安全和可維護的Rust程式碼。希望這篇文章能夠幫助您更好地理解Rust的可見性控制機制！

文章精選

點 擊 關 註 並 掃 碼 添 加 進 交 流 群

領 取 「Rust 語 言 」 學 習 資 料