C++ 面試：std::mdspan 如何同時處理布局、生命週期與效能？

題幹與適用場景

請設計一個二維矩陣介面：不複製資料，又能支援行主序和列主序，並說明 std::mdspan 的布局、生命週期與效能風險。

題目適合 C++23、數值計算、影像處理或高效能服務的現場編碼。面試官期待你把「二維下標」連到線性儲存、物件所有權和存取模式，而非只背出一個容器名稱。

面試官考察點

• 是否知道 std::mdspan 是非擁有的多維視圖，不負責配置或釋放元素。
• 能否說明 layoutright、layoutleft 與自訂步長的映射差異。
• 能否辨識底層緩衝區生命週期、擴容和移動造成的懸空視圖風險。
• 能否把布局選擇、遍歷順序和快取區域性連在一起。
• 能否用靜態維度、動態維度和執行期檢查表達介面契約。

回答前需要釐清的問題

1. 底層資料由誰擁有，介面是否允許呼叫方在視圖存活期間擴容或移動容器？
2. 行列維度是否在編譯期已知，是否需要支援不同維度的同一函式？
3. 輸入資料原本是行主序、列主序，還是帶有 padding 的分塊儲存？
4. 效能目標是順序掃描、隨機存取，還是需要同時適配 CPU 與其他執行裝置？

30 秒回答框架

mdspan 是 C++23 的非擁有多維陣列參照：它保存資料控制代碼、維度和索引到位移量的映射。先保證擁有者的生命週期長於視圖，再依資料來源選擇 layoutright（最右維步長為一，常見的 C 風格行主序）、layoutleft（最左維步長為一，常見的列主序）或 layout_stride。靜態維度可以進入型別，動態維度使用 dextents，但緩衝區大小和生命週期仍需由呼叫者保證。遍歷順序要匹配步長，否則結果仍正確，卻可能產生大量快取未命中。

分步驟深入解答

1. 先區分視圖與容器

mdspan 類似一維 span 的多維擴展：它提供下標、維度和映射，不擁有元素。下面的 storage 才是擁有者：

#include <mdspan>
#include <vector>

std::size_t rows = 3;
std::size_t cols = 4;
std::vector<float> storage(rows * cols);
using matrix_view = std::mdspan<float, std::dextents<std::size_t, 2>>;
matrix_view matrix(storage.data(), rows, cols);
matrix(1, 2) = 7.0f;

storage 被銷毀、移動或重新配置後，matrix 不能繼續使用。介面應明確禁止這些操作，或只接收在呼叫期間保持穩定的指標和大小。

2. 解釋布局映射

邏輯座標會經過布局策略映射成線性位移。layoutright 讓最右維連續，因此二維存取通常按 row 再按 column 掃描；layoutleft 讓最左維連續，適合相反的儲存約定。layout_stride 可以表達轉置、padding 或分塊資料。

布局不會複製資料，也不會自動把行主序轉成列主序。若映射與真實緩衝區不一致，讀到的就是錯誤元素；若映射正確但遍歷方向不匹配，主要代價是快取區域性下降。

3. 選擇靜態或動態維度

固定欄數可以寫進型別，幫助編譯器傳播資訊：

using four_column_view = std::mdspan<
    float,
    std::extents<std::size_t, std::dynamic_extent, 4>>;

列數在執行時決定，欄數是型別契約。完全動態時使用二維 dextents 別名。無論哪種形式，都應在建構前檢查 rows * cols 不超過實際緩衝區容量，並注意乘法溢位。

4. 把效能討論落到步長

面試中可以展示兩個迴圈：對 layoutright 視圖按列掃描，使內層欄下標連續；對 layoutleft 則調整迴圈順序。檢查 matrix.mapping().stride(i) 或映射所需的跨度，能把「快取友善」從口號變成可測量的假設。基準測試應分別覆蓋順序、反向和跨步存取，並固定資料規模與編譯選項。

5. 說明邊界與存取器

預設存取不等於自動邊界檢查。若產品介面需要檢查，可以在入口驗證維度，或提供帶檢查語意的存取器策略；不要把除錯斷言當成生產期安全保證。自訂 accessor 還能表達裝置指標或代理參照，但應先說明其存取和生命週期契約，再討論實作。

高品質示範回答

我會把矩陣所有權留給 vector、陣列或呼叫方配置的緩衝區，把 mdspan 作為輕量視圖傳給演算法。建構時記錄兩個維度並檢查乘積，視圖的存活時間不能超過底層儲存，也不能跨過會導致 vector 重新配置的操作。布局策略必須和資料的真實步長一致：預設的 layoutright 適合最右維連續的 C 風格資料，layoutleft 適合欄連續資料，帶 padding 時使用 layout_stride。演算法遍歷順序跟隨連續維度，避免把正確但跨步的存取誤認為高效能。最後，我會用位址清理器檢查懸空視圖，用維度和步長斷言檢查映射，再用固定基準比較不同布局和迴圈順序。

常見錯誤

• 把 mdspan 當成擁有記憶體的矩陣容器，忘記保存擁有者。
• 用預設布局解釋外部資料，卻沒有確認資料的實際步長。
• 只說「行主序更快」，沒有說明快取取決於遍歷順序和連續維度。
• 忽略 vector 擴容、移動或暫存陣列結束造成的懸空指標。
• 只檢查兩個維度，沒有檢查緩衝區容量和乘法溢位。
• 聲稱 mdspan 自動做邊界檢查或自動完成轉置。

追問及應對

mdspan 和 span 的差別是什麼？

span 描述一段一維連續元素；mdspan 額外攜帶多維 extents、布局映射和存取器，因此可以把多維座標轉換為線性位移。兩者都不擁有底層元素。

什麼時候選 layout_stride？

當資料有 padding、轉置視圖、切片或非連續維度時選它。先確認每個維度的真實 stride，再驗證映射需要的最大位移不會超過緩衝區。

視圖能否回傳給呼叫者？

可以，但必須同時保證回傳期間底層擁有者仍存活且位址穩定。不要從區域 vector 回傳視圖，也不要在視圖存活時允許擁有者重新配置。

如何證明布局選擇帶來收益？

記錄 stride 和存取順序，分別量測連續掃描與跨步掃描的吞吐、快取指標和資料規模變化。結論應來自同一編譯器、最佳化等級和輸入分布下的基準，而不是只憑型別名稱。

資料來源：cppreference 的 std::mdspan 與 mdspan 標頭條目、WG21 P0009R6《mdspan: A Non-Owning Multidimensional Array Reference》、Verve AI 二維陣列面試討論（完整連結見 meta.json）。