使用 mpl::if_ 和整数模板参数选择类型

Question

以下代码适用于 Visual Studio 2005，但在使用 g++ 4.4.5 编译时出现编译器错误：

#include <boost/mpl/if.hpp>
#include <boost/mpl/bool.hpp>

template<int X> struct A
{
    void f() {
        typedef boost::mpl::if_<boost::mpl::bool_<X == 1>, int, bool>::type Type;
    }
};

这是我得到的错误：

main.cpp: In member function ‘void A<X>::f()’:
main.cpp:12: error: too few template-parameter-lists

代码有什么问题？如果我用硬编码数字替换模板化的 X，则代码可以正常编译。我也尝试用 mpl::int_ 类型包装 X 但没有成功。

谢谢！

Answer 1

您需要 typename 关键字：

typedef typename                   // <-- Here
    boost::mpl::if_<
        boost::mpl::bool_<X == 1>,
        int,
        bool
    >::type Type;

编译器无法确定 mpl::if_<...>::type 是类型，因为它不知道值X 的：if_ 可以专门用于某些参数，并包含一个不是类型的 type 成员，例如：

//Silly if_ specialization
template <typename Then, typename Else>
struct if_<void, Then, Else>
{
    int type;
};

因此，您需要显式告诉编译器 ::type 表示类型，使用 typename 关键字。

请参阅此处的深入解释：我必须在何处以及为何放置模板和类型名称关键字。