Variadac宏将宏应用于所有参数

Variadac Macro apply macro to all arguments

本文关键字：参数 应用于 Variadac      更新时间：2023-10-16

我正在试验C++11变量宏。

我试图将另一个宏应用于列表中的每个参数
这是我的第一次尝试：

#define  APPLY_CHAIN(first, ...)    APPLY_ACT(first) APPLY_CHAIN( __VA_ARGS__ )

不幸的是，这并没有奏效。

我最终让它发挥了作用。但它有点复杂，并且有一个"n"的限制(其中"n"是我愿意键入宏的最大大小(。

#define COUNT_N(_1, _2, _3, _4, _5, _6, _7, _8, _9, _10, N, ...)    N
#define COUNT(...)   COUNT_N( __VA_ARGS__, 10, 9, 8, 7, 6, 5 ,4, 3, 2, 1)
#define BUILD_CHAIN_1(_1)       APPLY_ACT(_1)
#define BUILD_CHAIN_2(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_1(__VA_ARGS__)
#define BUILD_CHAIN_3(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_2(__VA_ARGS__)
#define BUILD_CHAIN_4(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_3(__VA_ARGS__)
#define BUILD_CHAIN_5(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_4(__VA_ARGS__)
#define BUILD_CHAIN_6(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_5(__VA_ARGS__)
#define BUILD_CHAIN_7(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_6(__VA_ARGS__)
#define BUILD_CHAIN_8(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_7(__VA_ARGS__)
#define BUILD_CHAIN_9(_1, ...)  APPLY_ACT(_1) BUILD_CHAIN_8(__VA_ARGS__)
#define BUILD_CHAIN_10(_1,...)  APPLY_ACT(_1) BUILD_CHAIN_9(__VA_ARGS__)

#define BUILD_CHAIN_INC( CT, ...)   BUILD_CHAIN_ ## CT (__VA_ARGS__)
#define BUILD_CHAIN( CT, ...)       BUILD_CHAIN_INC(CT, __VA_ARGS__)
#define APPLY_CHAIN(...)            BUILD_CHAIN( COUNT(__VA_ARGS__), __VA_ARGS__)
#define APPLY_ACT(X)                #X
#include <iostream>
int main()
{
    std::cout << APPLY_CHAIN(1,2,3,4,5) << "n";
}

所以我的问题是：我是不是错过了一些简单的东西，让我沿着论点链iterate？

您对参数计数问题的解决方案与Laurent Deniau在2006年1月发布到[comp.lang.c](IIRC(的解决方案相同。

修改为也可以使用Visual C++，他的参数计数如下所示：

#pragma once
/*
* The PP_NARG macro evaluates to the number of arguments that have been
* passed to it.
*
* Laurent Deniau, "__VA_NARG__," 17 January 2006, <comp.std.c> (29 November 2007).
* https://groups.google.com/forum/?fromgroups=#!topic/comp.std.c/d-6Mj5Lko_s
*/
// Added workaround for silly MSVC bug that yields "too few parameters" warning.
// - Alf
#include <progrock/cppx/macro/invoke.h>         // CPPX_INVOKE
#include <progrock/cppx/macro/concat.h>         // CPPX_CONCAT
#define PP_ARG_N( 
_1, _2, _3, _4, _5, _6, _7, _8, _9,_10, 
_11,_12,_13,_14,_15,_16,_17,_18,_19,_20, 
_21,_22,_23,_24,_25,_26,_27,_28,_29,_30, 
_31,_32,_33,_34,_35,_36,_37,_38,_39,_40, 
_41,_42,_43,_44,_45,_46,_47,_48,_49,_50, 
_51,_52,_53,_54,_55,_56,_57,_58,_59,_60, 
_61,_62,_63,N,...) N
#define PP_RSEQ_N() 
63,62,61,60, 
59,58,57,56,55,54,53,52,51,50, 
49,48,47,46,45,44,43,42,41,40, 
39,38,37,36,35,34,33,32,31,30, 
29,28,27,26,25,24,23,22,21,20, 
19,18,17,16,15,14,13,12,11,10, 
9,8,7,6,5,4,3,2,1,0
#if 0
    #define PP_NARG_(...) PP_ARG_N( __VA_ARGS__ )
    #define PP_NARG( ...) PP_NARG_( __VA_ARGS__, PP_RSEQ_N() )
#else
    #define PP_NARG_(...) CPPX_INVOKE( PP_ARG_N, (__VA_ARGS__) )
    #define PP_NARG(...) PP_NARG_(__VA_ARGS__,PP_RSEQ_N())
#endif

CPPX_CONCAT宏：

#pragma once
#define CPPX_CONCAT__( a, b )       a ## b
#define CPPX_CONCAT_( a, b )        CPPX_CONCAT__( a, b )
#define CPPX_CONCAT( a, b )         CPPX_CONCAT_( a, b )

CPPX_INVOKE宏：

#pragma once
#define CPPX_INVOKE( macro, args ) macro args

示例用法：

#pragma once
#include <progrock/cppx/macro/nargs.h>          // CPPX_NARGS, CPPX_CONCAT
#define CPPX_IS_UNUSED_( name ) 
    (void) name; struct name
#define CPPX_IS_UNUSED_1( a ) 
    CPPX_IS_UNUSED_( a )
#define CPPX_IS_UNUSED_2( a, b ) 
    CPPX_IS_UNUSED_1( a ); CPPX_IS_UNUSED_( b )
#define CPPX_IS_UNUSED_3( a, b, c ) 
    CPPX_IS_UNUSED_2( a, b ); CPPX_IS_UNUSED_( c )
#define CPPX_IS_UNUSED_4( a, b, c, d ) 
    CPPX_IS_UNUSED_3( a, b, c ); CPPX_IS_UNUSED_( d )
#define CPPX_IS_UNUSED_5( a, b, c, d, e ) 
    CPPX_IS_UNUSED_4( a, b, c, d ); CPPX_IS_UNUSED_( e )
#define CPPX_IS_UNUSED( ... )      
    CPPX_INVOKE( CPPX_CONCAT( CPPX_IS_UNUSED_, CPPX_NARGS( __VA_ARGS__ ) ), ( __VA_ARGS__ ) )
#define CPPX_IS_INTENTIONALLY_UNUSED    CPPX_IS_UNUSED

正如这一示例所示，主要线索是不要使用递归(至少不要直接使用(，而是为每个数量的参数手动重复代码。

我认为递归宏在形式上是不可能的。然而，很少有编译器在这方面符合要求，至少在几年前，您确实可以说服WIndows编译器进行递归宏替换。我记得，这是最初在代码中使用的技术，最终成为Boost预处理器库(现在它使用正式有效的代码，通过集中大量参数特定的处理程序，除了编译器特定的怪癖的变通方法(。

代码重复很可能通过Boost预处理器库实现自动化，但您也可以将Boost用于其他内容(大概是为了避免对Boost这样的大型库的依赖，至少这是我写上述内容时的动机(。

免责声明：在发布之前我没有重试这个代码，我不记得它是否处于被修改的状态，或者是什么。但它确实显示了一般原则。

看起来递归宏仍然是不可能的，因为预处理器只对源进行一次传递。

我敢打赌，你可以使用一个伪#include和一个条件保护来进行显式循环构造(这可能是boost.preprrocessor最终要做的事情(

查看Boost.Preprocessor。特别是Boost_PP_SEQ_FOLD_LEFT。您需要BOOST _PP_VARIADIC_TO_SEQ。

类似的东西

#include <boost/preprocessor.hpp>
#include <iostream>
#define OP(d, state, x) state BOOST_PP_STRINGIZE(x)
#define APPLY_CHAIN(...) BOOST_PP_SEQ_FOLD_LEFT( OP, BOOST_PP_EMPTY() , BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__) ) 
int main() {
  std::cout <<  APPLY_CHAIN(1,2,3,4,5) << std::endl;
}
//expands to   std::cout << "1" "2" "3" "4" "5" << std::endl;
相关文章：