寻找从 bool 到 bool_type 的元函数 [关闭]

Question

基本上，我正在寻找这样的库解决方案：

#include <boost/type_traits.hpp>

template<bool>
struct bool_to_bool_type;

template<>
struct bool_to_bool_type<false>
{
    typedef boost::false_type type;
};

template<>
struct bool_to_bool_type<true>
{
    typedef boost::true_type type;
};

有这样的元函数吗？

Answer 1

提升already providesboost::mpl::bool_<>:

Boost.TypeTraits 使用integral_constant:

BOOST_STATIC_ASSERT(( 
    is_same< integral_constant<bool, false>, 
             is_class<int>::type >::value ));

Answer 2

哦等等，true_type 只是 std::integral_constant<bool, true> 的 typedef？然后有一个明显的解决方案：

boost::integral_constant<bool, input_value>

Answer 3

虽然integral_constant 是答案，但您可以创建一两个类型以使事情更清楚一些。我在我的图书馆中使用它：

// utility/bool_type.hpp
#include <boost/type_traits/integral_constant.hpp>

namespace utility
{
    template <bool B>
    struct bool_type : boost::integral_constant<bool, B>
    {
        static const bool value = B;
    };

    typedef const boost::true_type& true_tag;
    typedef const boost::false_type& false_tag;
}

// main.cpp
// just some predicate for example
template <typename T>
struct is_pointer
{
    static const bool value = false;
};

template <typename T>
struct is_pointer<T*>
{
    static const bool value = true;
};

// some specialized function.
// the true/false tag parameter is a
// little easier to read, i think
template <typename T>
void foo(T, utility::true_tag)
{
}

/* versus:
template <typename T>
void foo(T, const boost::true_type&)
*/

template <typename T>
void foo(T, utility::false_tag)
{
}

// the actual function
template <typename T>
void foo(T pX)
{
    // a bit shorter
    foo(pX, utility::bool_type<is_pointer<T>::value>());

    /* versus:
    foo(pX, boost::integral_type<bool, is_pointer<T>::value>());
    */
}

int main(void)
{
    int i = 0;
    foo(i);
    foo(&i);
}

但这只是我的意见。 :]

Answer 4

GMan 有一个更好的方法来做你正在做的事情，只需让你的谓词元函数派生自 true/false_type（那些是 integer_constant 的类型别名），例如：

#include <type_traits>

template <typename T>
struct is_pointer : std::false_type {};

template <typename T>
struct is_pointer<T*> : std::true_type {};

//....
foo(px, is_pointer<T>());

注意：我使用的是 C++0x 库。

当你有像integral_type这样的元数据包装器时，bool->bool_type元函数的整个想法是多余的，只要仔细看看它的定义，看看我在说什么，它的设计就像我的例子。