C/C 中未使用的變數：為什麼以及如何使用？

在檢查 C/C 程式碼時，我們經常發現從未使用過的變數。出現此類未使用變數的原因有多種。在這篇文章中，我們將探討 C/C 程式碼中出現未使用變數的一些最常見原因。我們回顧如何讓編譯器警告未使用的變量，以及如何抑制特定未使用變數的警告。

為什麼變數沒有被使用

未使用的變數可能保留在程式碼庫中的原因有很多。其中包括：

1. 缺陷和錯誤：未使用變數最明顯的原因是有缺陷的程式碼。要么該變數確實根本不需要並且可以刪除，要么該變數是必要的，但我們忘記在某些關鍵點使用它。

2. 重構：隨著軟體的編寫和重寫，整個程式碼部分可能會被刪除。曾經對程式碼至關重要的變數（例如輔助計算的結果）可能會被留下來、不使用。

3. 面向未來：未使用的變數不僅可能作為過去程式碼的遺留而出現，而且還可能作為未來程式碼的遺留而出現。您可以在尚未編寫的程式碼中聲明變數。

4. 條件編譯： 變數可能會保持未使用狀態，取決於預處理器階段。標準範例是僅為調試目的而定義的變數。您的程式碼可能包含以下形式的內容
   

const auto value = compute_some_value();
const auto value_for_comparison_only = compute_same_value_differently();
assert( value == value_for_comparison_only );

如果您使用 -DNDEBUG 進行編譯，那麼編譯器可能會警告您 value_for_comparison_only 從未使用過：事實上，assert 語句已被替換為...。

如何檢測未使用的變數

不同的編譯器和警告等級設定可能會影響變數在編譯過程中是否報告為未使用。

例如，GCC 和 Clang 具有 -Wunused-variable 標誌，該標誌會觸發有關未使用變數的警告。 -Wall 警告選項已經暗示了該標誌，並且可以透過 -Wno-unused-variable 將其關閉。

我的建議是始終使用 -Wall 進行編譯，然後在允許的情況下選擇性地關閉警告。這將是未使用變數的所有實例。

如何不檢測未使用的變數：屬性

雖然我們應該始終在編譯時啟用盡可能多的警告，但在某些情況下我們希望有選擇地關閉有關特定未使用變數的警告。一種流行的方法是強制轉換為 void：

Object unused_object;
(void)unused_object;

強制轉換為 void 算是變數的（形式上）使用，因此不會發出警告。

雖然這消除了used_object未使用的警告，但正如預期的那樣，有一些方法可以改進這一點。我們希望有明確的語義，表明這個 void 轉換表示一個未使用的物件。常見的方法是定義巨集：

const auto value = compute_some_value();
const auto value_for_comparison_only = compute_same_value_differently();
assert( value == value_for_comparison_only );

一個優點是我們現在可以明確傳達此變數的意圖（或缺乏意圖）。此外，如果我們決定清除程式碼中未使用的變量，那麼搜尋它們就會容易得多。

除了巨集之外，我們還有可變屬性：要嘛是 C 語言本機的，要嘛是 C/C 編譯器提供的語言擴充。例如，Clang 和 GCC 允許使用變數屬性 __attribute__((unused))。 C 17 支援 [[maybe_unused]] 屬性：

Object unused_object;
(void)unused_object;

這些屬性向編譯器（以及我們）傳達這些變數可能未被使用的訊息，我們對此表示同意。

從歷史上看，GCC 屬性首先出現，是 C 和 C 中編譯器特定的語言擴展。從 C 17 開始，屬性是語言標準的一部分。然而，不僅拼寫不同，而且標準和 GCC 擴展對於屬性的放置位置也不一致。

[[maybe_unused]] 屬性會發現它的應用程式大多帶有條件編譯。例如，它是僅調試變數的自然屬性。純粹出於美觀原因，我個人更喜歡定義一個巨集 #define MAYBE_UNUSED [[maybe_unused]] .

__attribute__((unused)) 的一個優點是，如果程式碼中曾經使用過該變量，它實際上會警告您。它不是可能未使用，而是絕對沒有使用過，並且使用該變數現在會產生警告。

保留無用的東西

顯然，未使用的變數非常頻繁且重要，甚至足以保證它們自己的語言擴展。

相較之下，註解掉未使用的變數是好的策略嗎？並非總是如此！在整個開發程式碼和偵錯階段中保留未使用的變數是有原因的。假設該變數在過去版本的程式碼中使用過，也許您還沒有決定是否應該擱置舊程式碼或重新整合；意思是：你不知道是否可能再次需要未使用的變數。

保留以下程式碼可能有助於偵錯目的：

#define UNUSED(x) (void)(x);
// ...
Object unused_object;
UNUSED(unused_object);

即使複雜計算的結果從未被使用，保留它也會構成另一個失敗點…而這正是您在偵錯過程中想要的。即使最初不是為了調試，如果您決定（再次）需要它，讓程式初始化該變數也會很有幫助。

我希望這篇關於未使用變數的文章對您有用。

以上是C/C 中未使用的變數：為什麼以及如何使用？的詳細內容。更多資訊請關注PHP中文網其他相關文章！