C ++ Boost變體問題

Question

我知道boost::variant在其后面使用boost::mpl東西，並且具有mpl兼容的typedef types 。

假設我有一個簡單的typedef： typedef boost::variant<bool, int> Variant;

現在，我還有另一個模板函數，讓我們說：

template <typename T> T function() {
   // ...
}

我希望此函數在兩種情況下具有不同的作用：當T是Variant::types的一部分時，而當不是。

顯然，我必須做類似的事情

template <typename T>
typename boost::enable_if<CONDITION, T>::type function() {
   // Implementation for the case T is in Variant::types
}

template <typename T>
typename boost::disable_if<CONDITION, T>::type function() {
   // Implementation for the case T is ***NOT*** in Variant::types
}

我唯一不知道的就是這個CONDITION 。

現在-我確實認為如果T是Variant::types的一部分，則可以進行編譯時查詢。

有人知道嗎？

Answer 1

實際上， Variant::types可能滿足Mpl.Sequence類型的要求，因此可以像任何序列一樣查詢。

因此，從此處使用boost::mpl::contains ：

// using C++0x syntax to demonstrate what CONDITION should be replaced with
template <typename T>
using Condition = boost::mpl::contains<Variant::types,T>

當您了解它時，沒有比這更簡單了；）

如果您需要更多算法，則可以使用HTML格式的完整MPL手冊。