c – 提升MPL占位符和Lambda

我正在使用boost :: mpl对概念样本做一些证明,并且在理解lambda函数如何使用占位符方面遇到一些困难.

我意识到我可以在元函数类中包装元函数,以使更高阶的函数能够访问嵌套的apply函数,并且意识到可以通过使用允许占位符的元函数mpl :: lambda来避免这种努力.

这怎么实际工作？我的头脑围绕着喇叭和占位符在封面下实际做了很麻烦.

解决方法

请参阅 Boost.MPL manual：占位符是mpl :: arg< X>形式的元功能类.元功能类是包含应用元功能的类.

template <int N> struct arg; // forward declarations
struct void_;

template <>
struct arg<1>
{
    template <
      class A1,class A2 = void_,... class Am = void_>
    struct apply
    {
        typedef A1 type; // return the first argument
    };
};
typedef arg<1> _1

mpl :: lambda的工作是将占位符表达式转换为元函数类.这是通过嵌入像this这样的元功能类完成的：

template<
      typename X,typename Tag = unspecified
    >
struct lambda
{
    typedef unspecified type;
};

如果x是通用形式X< a1,... an>中的占位符表达式,其中X是类模板,a1,… an是任意类型,嵌入的未指定类型f等价于

typedef protect< bind<
      quoten<X>,lambda<a1>::type,... lambda<an>::type
> > f;

否则,f与X相同.应用元功能通过访问嵌入式类型来计算lambda表达式.

在MPL manual中,您可以查找保护,绑定和引用的定义.他们都是围绕他们的论据,尽可能延迟评估.