可变参数宏：重用可变参数 (Boost.Fusion)

Question

我正在研究一种 "data-variable" 框架。在这里，使用宏 BOOST_FUSION_DEFINE_ASSOC_STRUCT.

将结构定义并改编为 Boost.Fusion 序列

简要上下文：

要定义两个适配结构 foo 和 bar，我使用：

#define VAR(VARNAME) vardefs::VARNAME
#define VAR_PARENTHESES(VARNAME) (vardefs)(VARNAME)

// ========================================================
#ifndef VARNAME_
#define VARNAME_ foo // <- Variable name
namespace VAR(VARNAME_)::keys{
    struct foo1;
    struct foo2;
    struct foo3;
}
namespace VAR(VARNAME_) { struct index; }

BOOST_FUSION_DEFINE_ASSOC_STRUCT(
    VAR_PARENTHESES(VARNAME_), type,
    (char, foo1, VAR(VARNAME_)::keys::foo1)
    (int, foo2, VAR(VARNAME_)::keys::foo2)
    (float, foo3, VAR(VARNAME_)::keys::foo3)
)
#endif
#undef VARNAME_
// --------------------------------------------------------

// ========================================================
#ifndef VARNAME_
#define VARNAME_ bar // <- Variable name
namespace VAR(VARNAME_)::keys{
    struct bar1;
    struct bar2;
}
namespace VAR(VARNAME_) { struct index; }

BOOST_FUSION_DEFINE_ASSOC_STRUCT(
    VAR_PARENTHESES(VARNAME_), type,
    (double, bar1, VAR(VARNAME_)::keys::bar1)
    (float, bar2, VAR(VARNAME_)::keys::bar2)
)
#endif
#undef VARNAME_
// --------------------------------------------------------

现在可以使用以下方法创建 foo 和 bar 的实例：

VAR(foo)::type fooI;
VAR(bar)::type barI;

关联键可以这样使用：

auto a = boost::fusion::at_key<VAR(foo)::keys::foo3>(fooI).
auto b = boost::fusion::at_key<VAR(bar)::keys::bar2>(barI).

这种方法可能会很有用。

最后，还有结构本身的标签：

VAR(bar)::index
VAR(foo)::index

我可以将后者用作其他 Boost.Fusion 序列中的键入键，例如boost::fusion::map.

问题：

请注意，对于两个结构中的每一个，由于我定义了一个关联序列，因此我必须使用结构字段名称（foo1、bar2、...）每个三遍。

我想要的是将上述两个结构定义为：

// ========================================================
DEFINE_DATAVAR_STRUCT(
    foo,
    (char, foo1)
    (int, foo2)
    (float, foo3)
)
// --------------------------------------------------------

// ========================================================
DEFINE_DATAVAR_STRUCT(
    bar,
    (double, bar1)
    (float, bar2)
)
// --------------------------------------------------------

我只需要定义可变参数宏DEFINE_DATAVAR_STRUCT。这就是我需要帮助的原因。对我来说，问题是重用可变参数，以便它们可以出现在生成的代码中的多个位置。不知何故，Boost.Fusion 以某种方式毫无问题地做到了这一点（依靠 Boost.PP）。

我自己的研究：

我已经查看了 Boost.PP 库，但我在这里的进展不是很好。由于 Boost.Fusion 库已经这样做了，所以必须有一种方法来实现相同的可变参数功能，类似于 BOOST_FUSION_DEFINE_ASSOC_STRUCT 宏。

Boost.Fusion宏BOOST_FUSION_DEFINE_ASSOC_STRUCT定义在.../define_assoc_struct.hpp. It seems much of the magic to build these macros is to be found in .../define_struct.hpp的第40-50行（尤其是第413行的宏BOOST_FUSION_DEFINE_STRUCT_IMPL）。该文件还利用了很多 Boost.PP.

编译器： Microsoft Visual Studio 2015 Update 3（GCC、Clang 现在不是选项）。

提升： 1.64.0.

Answer 1

构建一个通过调用首选宏生成所有样板的宏相对容易：

DEFINE_DATAVAR_STRUCT(
    bar,
    (double, bar1)
    (float, bar2)
)

在这个宏中，您有两个参数：一个名称 (bar) 和一个 "sequence" 元组 ((double,bar1)(float,bar2))。我将 "sequence" 放在引号中，因为为了拥有可以与 Boost.Preprocessor 宏一起使用的元组序列，您需要让每个元组由 2 组括号分隔。在下面的例子中，大部分的复杂性是由这个问题的解决方案引起的（在 this answer.

的方法 3 中有更多关于此的信息

Running on Wandbox

#include <iostream>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/tuple/elem.hpp>
#include <boost/preprocessor/cat.hpp>
#include <boost/fusion/include/define_assoc_struct.hpp>
#include <boost/fusion/include/at_key.hpp>



#define VAR(VARNAME) vardefs::VARNAME
#define VAR_PARENTHESES(VARNAME) (vardefs)(VARNAME)

//THIS IS ONLY NEEDED IN ORDER TO GET 2 SETS OF PARENTHESES
//Heavily "inspired" from BOOST_FUSION_ADAPT_STRUCT
#define GENERATE_DATAVAR_SEQUENCE_FILLER_0(X, Y)  \
    ((X, Y)) GENERATE_DATAVAR_SEQUENCE_FILLER_1
#define GENERATE_DATAVAR_SEQUENCE_FILLER_1(X, Y)  \
    ((X, Y)) GENERATE_DATAVAR_SEQUENCE_FILLER_0
#define GENERATE_DATAVAR_SEQUENCE_FILLER_0_END
#define GENERATE_DATAVAR_SEQUENCE_FILLER_1_END

#define GENERATE_DATAVAR_SEQUENCE(MEMBERS) BOOST_PP_CAT(GENERATE_DATAVAR_SEQUENCE_FILLER_0 MEMBERS,_END)

//THESE AREN'T ACTUALLY REQUIRED BUT HELP WITH READABILITY
#define DATAVAR_GET_TYPE(TUPLE) BOOST_PP_TUPLE_ELEM(2,0,TUPLE)
#define DATAVAR_GET_NAME(TUPLE) BOOST_PP_TUPLE_ELEM(2,1,TUPLE)

//THESE ARE THE HELPERS THAT ACTUALLY GENERATE THE VARIABLE PARTS OF THE MACRO
#define GENERATE_STRUCT_KEYS(_,__,TUPLE) struct DATAVAR_GET_NAME(TUPLE);
#define GENERATE_STRUCT_DEFINITION_SEQ(_,NAME,TUPLE) (DATAVAR_GET_TYPE(TUPLE),DATAVAR_GET_NAME(TUPLE),VAR(NAME)::keys::DATAVAR_GET_NAME(TUPLE))

// ===============================================================================================
#define DEFINE_DATAVAR_STRUCT(NAME,MEMBERS)                                                      \
namespace VAR(NAME)::keys{                                                                       \
    BOOST_PP_SEQ_FOR_EACH(GENERATE_STRUCT_KEYS,_,GENERATE_DATAVAR_SEQUENCE(MEMBERS))             \
}                                                                                                \
namespace VAR(NAME) { struct index; }                                                            \
BOOST_FUSION_DEFINE_ASSOC_STRUCT(                                                                \
    VAR_PARENTHESES(NAME), type,                                                                 \
    BOOST_PP_SEQ_FOR_EACH(GENERATE_STRUCT_DEFINITION_SEQ,NAME,GENERATE_DATAVAR_SEQUENCE(MEMBERS))\
)
// -----------------------------------------------------------------------------------------------


// ========================================================
DEFINE_DATAVAR_STRUCT(
    foo,
    (char, foo1)
    (int, foo2)
    (float, foo3)
)
// --------------------------------------------------------

// ========================================================
DEFINE_DATAVAR_STRUCT(
    bar,
    (double, bar1)
    (float, bar2)
)
// --------------------------------------------------------


int main()
{
    VAR(foo)::type fooI{'a',1,2.0f};
    VAR(bar)::type barI{1.0,2.0f};

    std::cout << boost::fusion::at_key<VAR(foo)::keys::foo1>(fooI) << std::endl;
    std::cout << boost::fusion::at_key<VAR(foo)::keys::foo2>(fooI) << std::endl;
    std::cout << boost::fusion::at_key<VAR(foo)::keys::foo3>(fooI) << std::endl;
    std::cout << boost::fusion::at_key<VAR(bar)::keys::bar1>(barI) << std::endl;
    std::cout << boost::fusion::at_key<VAR(bar)::keys::bar2>(barI) << std::endl;
}

可变参数宏：重用可变参数 (Boost.Fusion)

Variadic macros: Reuse variadic arguments (Boost.Fusion)

c++

boost

c-preprocessor

boost-preprocessor

c++11