C++助推变体问题

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从here：

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

没有什么简单的，当你知道它;）

完整的MPL手册是HTML格式提供，如果你需要更多的算法。