引入中間變量提升代碼可讀性：重構實戰案例

問題代碼：冗長且難以維護的條件判斷

在閱讀《專業嵌入式軟件開發》配套代碼時發現，部分函數因缺乏中間變量，導致單行代碼過長、嵌套層級深、可讀性極差。以下是重構前的片段：

if (TIMER_STARTED == _handle->state_) {
    timer_handle_t next;

    if (g_timer_next == _handle) {
        g_timer_next = (timer_handle_t) dll_next (&g_bucket_firing->dll_,
                                                  &_handle->node_);
    }
    next = (timer_handle_t)dll_next
        (&g_buckets [_handle->bucket_index_].dll_, &_handle->node_);
    if (0 != next) {
        next->round_ += _handle->round_;
    }
    dll_remove (&g_buckets [_handle->bucket_index_].dll_, &_handle->node_);
    if (g_buckets [_handle->bucket_index_].reentrance_ > 0) {
        g_bucket_firing->level_ ++;
    }
}

痛點：
• 重複出現 g_buckets[_handle->bucket_index_].dll_ 長表達式
• 邏輯分支混雜，難以快速定位關鍵操作
• 維護時修改桶索引極易出錯

重構後：引入中間變量 p_bucket

if (TIMER_STARTED == _handle->state_) {
    timer_handle_t next;
    bucket_t *p_bucket = &g_buckets[_handle->bucket_index_];

    if (g_timer_next == _handle) {
        g_timer_next = (timer_handle_t) dll_next (&g_bucket_firing->dll_,
                                                  &_handle->node_);
    }
    next = (timer_handle_t)dll_next (&p_bucket->dll_, &_handle->node_);
    if (0 != next) {
        next->round_ += _handle->round_;
    }
    dll_remove (&p_bucket->dll_, &_handle->node_);
    if (p_bucket->reentrance_ > 0) {
        g_bucket_firing->level_ ++;
    }
}

重構收益分析

最佳實踐建議

1. 提取重複子表達式：凡在同一作用域出現 ≥2 次的複雜表達式，均應提取為具名變量
2. 命名要語義化：p_bucket 明確表達「指向當前桶的指針」，優於 tmp、p 等無意義名稱
3. 控制變量作用域：中間變量儘量置於最內層代碼塊，避免污染外層命名空間
4. 配合編輯器重構工具：現代 IDE（VS Code、CLion、Visual Studio）均提供「Extract Variable」自動重構功能

擴展思考：何時不需要中間變量？

• 表達式極其簡短（如 x + y）且僅使用一次
• 函數調用鏈本身即具備良好語義（如 user.getAddress().getCity()）
• 性能極度敏感且編譯器無法優化掉的場景（極少見）

總結：適度引入中間變量是「零成本」提升代碼可維護性的最有效手段之一，建議養成習慣。