vardic macros от произвольного числа аргументов

0

2

Хочу сделать что-то вроде

#define $enable(COND, ARGS...) \
template<ARGS, typename std::enable_if<(COND), int>::type* = nullptr>

Причём, хочется что бы оно работало и при нулевом числе параметров ARGS. Но вылезает ненужная запятая. Нашёл единственный вариант с использованием __VA_OPT__(,) — но это не стандартное расширение. Вообще, в идеале, хотелось бы опциальные параметры запихнуть в начало макроса, а условие — последним аргументом. Позволяет ли препроцессор провернуть такой финт?

Ссылка

← Паралельное поблочное вычисление CRC32

разнообразие response в openapi →

Ерундой занимаешься, оно больше запутает код. Лучше почитай про std::enable_if_t.

anonymous
(28.10.19 13:08:01 MSK)

Ссылка

ARGS... — это gcc-изм. К сожалению, сделать конкатенацию в т. ч. и пустого списка можно тольно если variadic-аргументы идут не в начале через ##:

#define $enable(COND, ...) \
template<typename std::enable_if<(COND), int>::type* = nullptr, ## __VA_ARGS__>

kawaii_neko ★★★★
(28.10.19 13:24:28 MSK)

Ссылка

__VA_OPT__(,) — но это не стандартное расширение

Что для тебя нестандартное? Раз C++20 ещё не одобрен — значит нестандартное?

##__VA_ARGS__ это нестандартное от gcc. Которого в драфте нет.

anonymous
(29.10.19 00:18:13 MSK)

Ссылка

Вот решение на основе старого макроговнокода, который я когда-то нагугливал (не уверен что оптимальное)

#define SPLICE(a,b) SPLICE_1(a,b)
#define SPLICE_1(a,b) SPLICE_2(a,b)
#define SPLICE_2(a,b) a##b
 
 
#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
 
/* Note 63 is removed */
#define PP_RSEQ_N()                                        \
         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
 
#define PP_NARG_(...)    PP_ARG_N(__VA_ARGS__)    
 
#define PP_NARG(...)     PP_NARG_(_, ##__VA_ARGS__, PP_RSEQ_N())

 
#define FIELD_0(...) // NOTHING
 
#define FIELD_1(field, ...) \
  field,
 
#define FIELD_2(field, ...) \
  field, FIELD_1(__VA_ARGS__)
 
#define FIELD_3(field, ...) \
  field, FIELD_2(__VA_ARGS__)
 
#define FIELD_4(field, ...) \
  field, FIELD_3(__VA_ARGS__)
 
#define FIELD_5(field, ...) \
  field, FIELD_4(__VA_ARGS__)
 
#define FIELD_5(field, ...) \
  field, FIELD_4(__VA_ARGS__)
 
#define FIELD_6(field, ...) \
  field, FIELD_5(__VA_ARGS__)
 
#define FIELD_7(field, ...) \
  field, FIELD_6(__VA_ARGS__)
 
#define FIELD_8(field, ...) \
  field, FIELD_7(__VA_ARGS__)
 
#define FIELD_9(field, ...) \
  field, FIELD_8(__VA_ARGS__)
 
#define FIELD_10(field, ...) \
  field, FIELD_9(__VA_ARGS__),
 
#define FIELD_11(field, ...) \
  field, FIELD_10(__VA_ARGS__)
//..... дальше лень ...
 
#define FIELDS_(N, ...) \
  SPLICE(FIELD_, N)(__VA_ARGS__)
 
#define FIELDS(...) \
  FIELDS_(PP_NARG(__VA_ARGS__), __VA_ARGS__)

#define $enable(COND, ARGS...) \
  template<FIELDS(ARGS) typename std::enable_if<(COND), int>::type* = nullptr>
 
 
$enable(1);
$enable(1, 2);
$enable(1, 2, 3);
$enable(1, 2, 3, 4, 5, 6);
$enable();

результат препроцессирования:

template< typename std::enable_if<(1), int>::type* = nullptr>;
template<2, typename std::enable_if<(1), int>::type* = nullptr>;
template<2, 3, typename std::enable_if<(1), int>::type* = nullptr>;
template<2, 3, 4, 5, 6, typename std::enable_if<(1), int>::type* = nullptr>;
template< typename std::enable_if<(), int>::type* = nullptr>;

Может быть можно сделать сильно проще, но мне лень это разгребать

SZT ★★★★★
(30.10.19 23:33:58 MSK)
Последнее исправление: SZT 30.10.19 23:37:16 MSK (всего исправлений: 1)

Ответ на: комментарий от SZT 30.10.19 23:33:58 MSK

Вот так можно упростить, хотя наверняка можно проще

#define SPLICE(a,b) SPLICE_1(a,b)
#define SPLICE_1(a,b) SPLICE_2(a,b)
#define SPLICE_2(a,b) a##b
 
 
#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
 
/* Note 63 is removed */
#define PP_RSEQ_N()                                        \
         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
 
#define PP_NARG_(...)    PP_ARG_N(__VA_ARGS__)    
 
#define PP_NARG(...)     PP_NARG_(_, ##__VA_ARGS__, PP_RSEQ_N())
 

 
#define FIELD_0(...) // NOTHING
 
#define FIELD_1(...) \
  __VA_ARGS__,
 
#define FIELD_2(...) \
  __VA_ARGS__,
 
#define FIELD_3(...) \
  __VA_ARGS__,
 
#define FIELD_4(...) \
  __VA_ARGS__,
 
#define FIELD_5(...) \
  __VA_ARGS__,
 
#define FIELD_5(...) \
  __VA_ARGS__,

#define FIELD_6(...) \
  __VA_ARGS__,
 
#define FIELD_7(...) \
  __VA_ARGS__,
 
#define FIELD_8(...) \
  __VA_ARGS__,
 
#define FIELD_9(...) \
  __VA_ARGS__,
 
#define FIELD_10(...) \
  __VA_ARGS__,
 
#define FIELD_11(...) \
  __VA_ARGS__,

// etc.
 
#define FIELDS_(N, ...) \
  SPLICE(FIELD_, N)(__VA_ARGS__)
 
#define FIELDS(...) \
  FIELDS_(PP_NARG(__VA_ARGS__), __VA_ARGS__)

#define $enable(COND, ARGS...) \
  template<FIELDS(ARGS) typename std::enable_if<(COND), int>::type* = nullptr>
 
 
$enable(1);
$enable(1, 2);
$enable(1, 2, 3);
$enable(1, 2, 3, 4, 5, 6);
$enable();

SZT ★★★★★
(31.10.19 07:16:13 MSK)

Ссылка

Ответ на: комментарий от SZT 30.10.19 23:33:58 MSK

##__VA_ARGS__ это чего ОП не хочет как нестандартное расширение от GCC.

anonymous
(31.10.19 08:35:32 MSK)

Ответ на: комментарий от anonymous 31.10.19 08:35:32 MSK

Ну тогда как-то так

#define SPLICE(a,b) SPLICE_1(a,b)
#define SPLICE_1(a,b) SPLICE_2(a,b)
#define SPLICE_2(a,b) a##b
 
 
#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
 
/* Note 63 is removed */
#define PP_RSEQ_N()                                        \
         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
 
#define PP_NARG_(...)    PP_ARG_N(__VA_ARGS__)    
 
#define PP_NARG(...)     PP_NARG_(_, __VA_ARGS__, PP_RSEQ_N())
 

/*
#define FIELD_0(...) // NOTHING
*/

#define FIELD_1(COND) \
  template<typename std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_2(COND, ARG) \
  template<ARG, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_3(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_4(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_5(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_6(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_7(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_8(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_9(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_10(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>
 
#define FIELD_11(COND, ...) \
  template<__VA_ARGS__, std::enable_if<(COND), int>::type* = nullptr>

// etc.
 
#define FIELDS_(N, ...) \
  SPLICE(FIELD_, N)(__VA_ARGS__)
 
#define FIELDS(...) \
  FIELDS_(PP_NARG(__VA_ARGS__), __VA_ARGS__)

#define $enable(...) \
  FIELDS(__VA_ARGS__)
 
 
$enable(1);
$enable(1, 2);
$enable(1, 2, 3);
$enable(1, 2, 3, 4, 5, 6);
$enable();

SZT ★★★★★
(31.10.19 09:18:43 MSK)