2016-10-03 21 views
1

如果我有這樣的預處理器序列,預處理器就確定型

FOO((TEST, (BAR,BAZ)), 
    (TEST2, 25, (BART, BAC) 
    ) 

有什麼方法來確定,在第一個參數的第二個元素是一個元組,而在第二個參數的第二個要素是一個號碼?

第一精氨酸,第二元素=(BAR,BAZ) 第二精氨酸,第二元件= 25

我使用升壓預處理器。我明白,只是規範操作是最簡單的。但是,我很好奇預處理器是否可以確定類型並以有用的方式將該信息返回給我。

回答

1

您可以使用Boost.VMD(自Boost 1.60開始提供)來實現您想要的功能。它有幾個檢測元素類型的宏(BOOST_VMD_IS_TUPLE,BOOST_VMD_IS_SEQ,BOOST_VMD_IS_NUMBER,...)。這個庫需要一個支持可變宏的現代編譯器。 Here是打印的元組的第二個元素的「類型」的示例傳遞:

#include <iostream> 
#include <boost/preprocessor.hpp> 
#include <boost/vmd/is_tuple.hpp> 
#include <boost/vmd/is_number.hpp> 

#define IT_IS_A_TUPLE(TUPLE) BOOST_PP_STRINGIZE(TUPLE) " is a tuple" 
#define IT_IS_NOT_A_TUPLE(ARG) BOOST_PP_STRINGIZE(ARG) " is something else" 

#define IT_IS_A_NUMBER(NUMBER) BOOST_PP_STRINGIZE(NUMBER) " is a number" 
#define IT_IS_NOT_A_NUMBER(ARG) BOOST_PP_IIF(BOOST_VMD_IS_TUPLE(ARG),IT_IS_A_TUPLE,IT_IS_NOT_A_TUPLE)(ARG) 

#define DESCRIBE_ARGUMENT(ARG) BOOST_PP_IIF(BOOST_VMD_IS_NUMBER(ARG),IT_IS_A_NUMBER,IT_IS_NOT_A_NUMBER)(ARG) 
#define FOO(TUPLE) DESCRIBE_ARGUMENT(BOOST_PP_TUPLE_ELEM(1,TUPLE)) 

int main() 
{ 
    std::cout << FOO((TEST, (BAR,BAZ))) << std::endl; 
    std::cout << FOO((TEST2, 25, (BART, BAC))) << std::endl; 
} 

Another example使用BOOST_VMD_GET_TYPE:

#include <iostream> 
#include <boost/preprocessor.hpp> 
#include <boost/vmd/get_type.hpp> 


#define WHEN_ARG_IS_A_BOOST_VMD_TYPE_TUPLE(TUPLE) BOOST_PP_STRINGIZE(TUPLE) " is a tuple" 

#define WHEN_ARG_IS_A_BOOST_VMD_TYPE_NUMBER(NUMBER) BOOST_PP_STRINGIZE(NUMBER) " is a number" 

#define WHEN_ARG_IS_A_BOOST_VMD_TYPE_SEQ(SEQ) BOOST_PP_STRINGIZE(SEQ) " is a sequence" 

#define DESCRIBE_ARGUMENT(ARG) BOOST_PP_EXPAND(BOOST_PP_CAT(WHEN_ARG_IS_A_,BOOST_VMD_GET_TYPE(ARG))(ARG)) 
#define FOO(TUPLE) DESCRIBE_ARGUMENT(BOOST_PP_TUPLE_ELEM(1,TUPLE)) 

int main() 
{ 
    std::cout << FOO((TEST, (BAR,BAZ))) << std::endl; 
    std::cout << FOO((TEST2, 25, (BART, BAC))) << std::endl; 
    std::cout << FOO((TEST3,(BAR)(BAZ),(BAR,BAZ))) << std::endl; 
}