Boost MPL 类型与模板

Question

我对 Boost MPL（以及一般的元编程）相当陌生，我认为我对模板与类型的概念感到困惑。我正在使用的一个简单示例是尝试计算向量的长度。以下编译正常：

typedef mpl::vector_c< int, 0, 1, 2, 3, 4, 5, 6, 7 > myVector;

struct TestSize
{
    template <typename mySequence> struct apply
    {
        typedef mpl::size<mySequence> type;
    };
};

typedef TestSize::apply<myVector>::type result;

但如果我在大小计算的结果中添加“::type”，如下所示：

struct TestSize
{
    template <typename mySequence> struct apply
    {
        typedef mpl::size<mySequence>::type type;
    };
};

typedef TestSize::apply<myVector>::type result;

然后我收到错误“错误：非类型“boost::mpl::size::type [with Sequence=mySequence]”不是类型名称”。

这是因为模板参数在嵌套命名空间中而没有推导出来的情况吗？更令我困惑的是以下编译：

struct TestSize
{
    template <typename mySequence> struct apply
    {
        typedef mpl::size<mySequence> type;
        typedef mpl::range_c<int, 0, type::type::value> myRange;
    };
};

typedef TestSize::apply<myVector>::type result;
typedef TestSize::apply<textureIndices>::myRange range;

为什么我可以在那里做“type::type::value”，但不能在前一行做“size::type”？

Answer 1

您出现此错误的原因是因为您需要像这样使用typename（在内部apply）：

struct TestSize
{
    template <typename mySequence> struct apply
    {
        typedef typename mpl::size<mySequence>::type type; // <-- here!
    };
};

在这种情况下对typename 的需求源于编译器编译模板的方式。当模板最初被预编译时，它需要在语义上是正确的。但是，编译器（此时）不知道 mpl::size<mySequence>::type 确实是一种类型。此时它不知道mySequence 是什么，以及如何为mySequence 指定mpl::size。默认情况下，它假定 它不是类型。所以你需要提示它。

现在你可能明白为什么type::type::value 可以正常工作了——编译器默认认为value 不是类型，你没有尝试将它用作类型，编译器很高兴。顺便说一句，如果您将value 定义为某个特化的类型，如果使用此特化，您会遇到一个有趣的编译错误！