BOOST_PP_ITERATION 用于可变长度参数

Question

我想将luabind 合并到我的一个项目中。为此，我需要提供一个行为类似于call_function 的函数（见下文）。这个函数使用了一些模板魔法（由 Boost 提供），我希望能得到一些帮助。这是我第一次真正遇到模板元编程（这就是所谓的吗？）所以我有点迷茫。以下是一些我希望能提供帮助的 sn-ps。

#define LUABIND_TUPLE_PARAMS(z, n, data) const A##n *
#define LUABIND_OPERATOR_PARAMS(z, n, data) const A##n & a##n

我不太确定这个预处理器位是做什么的，我什至不知道它叫什么，所以搜索有点困难。 A 是一个模板类型。如果我没记错的话#a 会插入a 的文字文本，但是多个# 有什么作用呢？在这个预处理器之后是这个。

template<class Ret BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(), class A)>
    typename boost::mpl::if_<boost::is_void<Ret>
            , luabind::detail::proxy_function_void_caller<boost::tuples::tuple<BOOST_PP_ENUM(BOOST_PP_ITERATION(), LUABIND_TUPLE_PARAMS, _)> >
            , luabind::detail::proxy_function_caller<Ret, boost::tuples::tuple<BOOST_PP_ENUM(BOOST_PP_ITERATION(), LUABIND_TUPLE_PARAMS, _)> > >::type
    call_function(lua_State* L, const char* name BOOST_PP_COMMA_IF(BOOST_PP_ITERATION()) BOOST_PP_ENUM(BOOST_PP_ITERATION(), LUABIND_OPERATOR_PARAMS, _) )
    {
        typedef boost::tuples::tuple<BOOST_PP_ENUM(BOOST_PP_ITERATION(), LUABIND_TUPLE_PARAMS, _)> tuple_t;
#if BOOST_PP_ITERATION() == 0
        tuple_t args;
#else
        tuple_t args(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(), &a));
#endif

    }

如您所见，它大量使用了 Boost。我用谷歌搜索了BOOST_PP_ITERATION，但仍然无法真正弄清楚它在做什么。有人可以向我解释一下，最好是在这段代码的上下文中，BOOST_PP 的东西在做什么，以及它如何设法将参数输入args。

我的最终目标是在我自己的代码中定义一个call_function，它将生成args，我可以将它传递给我将定义的call_function 的重载。这意味着我可以使用相同的调用约定，但也可以在调用luabind 之前应用一些预处理。

按照我的措辞，这个问题非常具体，但我希望这些概念足够笼统，可以在这里解决。

Answer 1

BOOST_PP_* 与模板元编程无关，它是一个预处理器库。就像名字说的那样，它使用预处理器的魔法，做一些真正令人费解的事情来生成一堆类似的模板。在您的情况下，这将是以下内容：

//preprocessor iteration 0
template<class Ret>
    typename boost::mpl::if_<boost::is_void<Ret>
            , luabind::detail::proxy_function_void_caller<boost::tuples::tuple<> >
            , luabind::detail::proxy_function_caller<Ret, boost::tuples::tuple<> > >::type
    call_function(lua_State* L, const char* name )
    {
        typedef boost::tuples::tuple<> tuple_t;
        tuple_t args;
    }

//preprocessor iteration 1
template<class Ret , class A0>
typename boost::mpl::if_<boost::is_void<Ret>
        , luabind::detail::proxy_function_void_caller<boost::tuples::tuple<const A0 *> >
        , luabind::detail::proxy_function_caller<Ret, boost::tuples::tuple<const A0 *> > >::type
call_function(lua_State* L, const char* name , const A0 & a0 )
{
    typedef boost::tuples::tuple<const A0 *> tuple_t;
    tuple_t args(&a0);
}

以此类推，直到其他地方定义的某个最大值（例如，A0, A1, A2, A3... A9，如果最大值为 10）

## 是预处理器的标记连接，在这种情况下连接 A（或 a）与 n 具有的任何值（=> A0，A1，A2，...）。整个代码在一些预处理循环中。

• BOOST_PP_ITERATION() 给出当前循环索引 (0, 1, 2...)
• BOOST_PP_COMMA_IF(X) 给出逗号，如果参数不为 0，例如模板参数列表中迭代 1 中“A0 类”之前的逗号
• BOOST_PP_ENUM(n,B,C) 给出了一个逗号分隔的 B(?, N, C) 列表，其中 N 从 0..(n-1) 开始运行，即宏 B 被执行 n 次，因此调用 BOOST_PP_ENUM(3, LUABIND_TUPLE_PARAMS, _)给const A0 *, const A1 *, const A2 *
• BOOST_PP_ENUM_PARAMS(n, X) 给出了一个逗号分隔的 X##n 列表，例如&a0, &a1, &a2 为 BOOST_PP_ENUM_PARAMS(3, &a)

如今，该预处理器魔术的许多用例都可以使用可变参数模板完成，因此如果幸运的话，您将不会再遇到这些东西 ;) 乍一看并不容易掌握，因为预处理不起作用像其他已知的 C++ 功能一样，并且有一些必须解决的限制，使其更不容易理解。