檢測具有類型特徵的STL 結構：is_container 和is_vector 指南

簡介

特徵提供了一種在編譯時查詢類型的強大機制。這使程式設計師能夠編寫高度優化且靈活的程式碼。一個常見的用例是檢測 STL 結構，例如向量、集合和映射。

定義 is_vector

要確定型別是否表示向量，我們可以使用Boost 的enable_if 元函數的專門版本。這允許我們根據類型與 std::vector 的相似性有條件地專門化 is_vector 類型特徵。

但是，由於未使用範本參數，下列實作可能會遇到編譯錯誤：

template
struct is_vector {
  static bool const value = false;
};

template
struct is_vector> >::type> {
  static bool const value = true;
};

檢測 STL 容器的替代方法

SFINAE（替換失敗不是錯誤）技術提供了檢測類 STL 容器的替代方法。這是一個實作：

template
struct is_container : std::false_type {};

template
struct is_container_helper {};

template
struct is_container().size()),
                decltype(std::declval().begin()),
                decltype(std::declval().end()),
                decltype(std::declval().cbegin()),
                decltype(std::declval().cend())
                >,
            void
            >
        > : public std::true_type {};

此型別特徵會檢查 STL 容器中常見的特定方法和型別是否存在。如果所有檢查都通過，則類型特徵的計算結果為 true。

僅檢測STL 容器

要專門限制對STL 容器的偵測，您可以刪除對T 的檢查::allocator_type，因為它不是所有STL 的必要成員容器。

結論

透過提供的類型特徵，您可以輕鬆確定給定類型是 STL 結構還是向量。這些技術對於高階元編程和優化程式碼效能至關重要。