c – 使用boost :: mpl :: bool_而不是const bool的优点

我很困惑使用的优点

bool_<true>

和

bool_<false>

类型反对在模板元编程的上下文中简单地使用const bools.

boost :: mpl库显然更喜欢第一种方法,并定义了类似于and_或or的帮助函数来帮助管理这样的bool_.条件元函数,如if_“取”bool_作为第一(模板)参数,但在幕后“调用”一个if_c Metafunction希望一个(const)bool作为第一(模板)参数.

这个决定背后的论点是什么？

预先感谢您的帮助！

解决方法

这是一个简短的例子,我如何使用这些类型.这个例子是不可能的,使用const bool：

void do_something(boost::mpl::bool_<true>)
{
   ...
}

void do_something(boost::mpl::bool_<false>)
{
   ...
}

根据参数的类型调用这两个函数之一：

template<class T>
void doIt(void)
{
   do_something(boost::mpl::bool_<boost::is_pointer<T>::val>())
}

在这种情况下,将会调用第一个或第二个函数,这取决于类型T是否是指针的事实.这些类型允许您使用函数重载,在那里不可能使用const bool.使用const bool,您必须在运行时决定哪个分支.如果被调用的函数本身是模板,如果它们被实例化为非预期的类型,那么这种模板将无法正确编译,这一点尤为重要.上面的第一个函数定义可能包含只编译指针的代码.