可變參數宏：重用可變參數（Boost.Fusion）

Question

我正在研究一種「數據變量」框架。在這裏，使用宏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的第40-50行中定義。在.../define_struct.hpp（特別是413行的宏BOOST_FUSION_DEFINE_STRUCT_IMPL）中可以找到構建這些宏的大部分魔力。該文件還利用了很多Boost.PP。

編譯器： Microsoft Visual Studio 2015 Update 3（GCC，Clang現在不是選項）。

Boost： 1.64.0。

Answer 1

這是相對容易的構建，從您的首選宏調用生成所有樣板宏：

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

在這個宏有兩個參數：一個名稱（bar）和「序列」的元組（(double,bar1)(float,bar2)）。我把「序列」放在引號中，因爲爲了有一個可以與Boost.Preprocessor宏一起工作的元組序列，你需要讓每個元組由2組括號來分隔。另外，在以下的大部分複雜性由解決這個問題引起的例子（存在有關此方法中在3 this answer更多的信息。

---

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; 
}