类型限定宏助手

【问题标题】：Type-qualification Macro Helper类型限定宏助手
【发布时间】：2020-06-26 02:54:47
【问题描述】：

在限定类型时如何为繁琐的重复创建辅助宏？

以std::is_function 为例——我将如何制作宏来帮助我节省编写所有可能案例的时间？ （显然，这不仅仅是一个 C++ 问题，而是在 C 中更易于管理）

这是我的想法，但它伤害了我的大脑（并且不起作用）：

#define empty_macro

#define finally_apply( macro, ... ) \
    macro( __VA_ARGS__ )

#define apply_cv( macro, ... ) \
    macro( __VA_ARGS__, empty_macro ) \
    macro( __VA_ARGS__, const ) \
    macro( __VA_ARGS__, volatile ) \
    macro( __VA_ARGS__, const volatile )


#define apply_pointer( macro, ... ) \
    macro( __VA_ARGS__, empty_macro ) \
    macro( __VA_ARGS__, * )

// c++ only
#define apply_noexcept( macro, ... ) \
    macro( __VA_ARGS__, empty_macro ) \
    macro( __VA_ARGS__, noexcept )

我对使用像 Boost 这样的外部库不感兴趣。我想知道如何自己做。

See "Possible implementation" for more information.

【问题讨论】：

  • @jwdonahue C++ 解决方案与 C 解决方案相同，因为两者之间的标准在宏方面是相同的。它们也不会随时间变化（忽略新的 C++20 宏特性）。我的问题感觉很好，可以同时包含两者。
  • 请edit 提供有关问题的信息，而不是将其隐藏在 cmets 中。
  • 请向minimal reproducible example 展示您希望如何使用宏的示例，并详细说明“它不起作用”。请展示示例代码的预处理版本，以帮助调试问题所在。
  • 您是否坚持将可变参数放在前面？我通常喜欢把“可靠”的参数放在前面。
  • 我不明白empty_macro 的意思。它是在某个地方定义的吗？

标签： c++ c c-preprocessor


【解决方案1】：

您不必以统一的方式编写“cv-qualifiers 组合”、“noexcept-ness”等列表。

这是一种更简单的方法。这些宏生成 std::is_function 的特化：

#define FUNC(a, b) \
    struct is_function<Ret(Args... a) b> : std::true_type {};
    
#define FUNCLIST_D(c, v, ref, ne) \
    FUNC(   , c v ref ne) \
    FUNC(..., c v ref ne)
    
#define FUNCLIST_C(v, ref, ne) \
    FUNCLIST_D(     , v, ref, ne) \
    FUNCLIST_D(const, v, ref, ne)
    
#define FUNCLIST_B(ref, ne) \
    FUNCLIST_C(        , ref, ne) \
    FUNCLIST_C(volatile, ref, ne)
    
#define FUNCLIST_A(ne) \
    FUNCLIST_B(  , ne) \
    FUNCLIST_B(& , ne) \
    FUNCLIST_B(&&, ne)
    
#define FUNCLIST \
    FUNCLIST_A(        ) \
    FUNCLIST_A(noexcept)

FUNCLIST

我希望我没有忘记任何事情。这扩展为：

struct is_function<Ret(Args...)> : std::true_type {};
struct is_function<Ret(Args......)> : std::true_type {};
struct is_function<Ret(Args...) const> : std::true_type {};
struct is_function<Ret(Args......) const> : std::true_type {};
struct is_function<Ret(Args...) volatile> : std::true_type {};
struct is_function<Ret(Args......) volatile> : std::true_type {};
struct is_function<Ret(Args...) const volatile> : std::true_type {};
struct is_function<Ret(Args......) const volatile> : std::true_type {};
struct is_function<Ret(Args...) &> : std::true_type {};
struct is_function<Ret(Args......) &> : std::true_type {};
struct is_function<Ret(Args...) const &> : std::true_type {};
struct is_function<Ret(Args......) const &> : std::true_type {};
struct is_function<Ret(Args...) volatile &> : std::true_type {};
struct is_function<Ret(Args......) volatile &> : std::true_type {};
struct is_function<Ret(Args...) const volatile &> : std::true_type {};
struct is_function<Ret(Args......) const volatile &> : std::true_type {};
struct is_function<Ret(Args...) &&> : std::true_type {};
struct is_function<Ret(Args......) &&> : std::true_type {};
struct is_function<Ret(Args...) const &&> : std::true_type {};
struct is_function<Ret(Args......) const &&> : std::true_type {};
struct is_function<Ret(Args...) volatile &&> : std::true_type {};
struct is_function<Ret(Args......) volatile &&> : std::true_type {};
struct is_function<Ret(Args...) const volatile &&> : std::true_type {};
struct is_function<Ret(Args......) const volatile &&> : std::true_type {};
struct is_function<Ret(Args...) noexcept> : std::true_type {};
struct is_function<Ret(Args......) noexcept> : std::true_type {};
struct is_function<Ret(Args...) const noexcept> : std::true_type {};
struct is_function<Ret(Args......) const noexcept> : std::true_type {};
struct is_function<Ret(Args...) volatile noexcept> : std::true_type {};
struct is_function<Ret(Args......) volatile noexcept> : std::true_type {};
struct is_function<Ret(Args...) const volatile noexcept> : std::true_type {};
struct is_function<Ret(Args......) const volatile noexcept> : std::true_type {};
struct is_function<Ret(Args...) & noexcept> : std::true_type {};
struct is_function<Ret(Args......) & noexcept> : std::true_type {};
struct is_function<Ret(Args...) const &noexcept> : std::true_type {};
struct is_function<Ret(Args......) const &noexcept> : std::true_type {};
struct is_function<Ret(Args...) volatile &noexcept> : std::true_type {};
struct is_function<Ret(Args......) volatile &noexcept> : std::true_type {};
struct is_function<Ret(Args...) const volatile &noexcept> : std::true_type {};
struct is_function<Ret(Args......) const volatile &noexcept> : std::true_type {};
struct is_function<Ret(Args...) && noexcept> : std::true_type {};
struct is_function<Ret(Args......) && noexcept> : std::true_type {};
struct is_function<Ret(Args...) const &&noexcept> : std::true_type {};
struct is_function<Ret(Args......) const &&noexcept> : std::true_type {};
struct is_function<Ret(Args...) volatile &&noexcept> : std::true_type {};
struct is_function<Ret(Args......) volatile &&noexcept> : std::true_type {};
struct is_function<Ret(Args...) const volatile &&noexcept> : std::true_type {};
struct is_function<Ret(Args......) const volatile &&noexcept> : std::true_type {};

【讨论】：

  • 问题是每次我想做某事时都需要编写这些宏
  • @superdeveloper 是的，这些宏是针对特定情况定制的（生成 is_function），但是您需要多久生成一次这样的代码？
【解决方案2】：

嗯，你要求的。

让我们首先从一个 FOREACH 宏开始，它允许自定义转义分隔符并转义它的参数重载以供大量参数使用。 “转义”是指大括号。使用这样的宏M_FOREACHQS(macro, (separator), ((1), (2), (3))) 生成macro(1)separator macro(2)separator macro(3)（我希望）：

#define M_ESCAPE(...)  __VA_ARGS__

#define M_FOREACHQS_1(F,S,_1)  F(M_ESCAPE _1)
// seq 2 64 | while read l; do echo "#define M_FOREACHQS_$l(F,S,$(seq -f _%.0f $l | paste -sd ,)) \\"; echo $'\t'"M_FOREACHQS_$((l-1))(F,S,$(seq -f _%.0f $((l-1)) | paste -sd ,))M_ESCAPE S F(M_ESCAPE _$l)"; done
// TODO: Remove additional space before function, I guess with `##` or with empty `M_ESCAPE()`
#define M_FOREACHQS_2(F,S,_1,_2) \
    M_FOREACHQS_1(F,S,_1)M_ESCAPE S F(M_ESCAPE _2)
#define M_FOREACHQS_3(F,S,_1,_2,_3) \
    M_FOREACHQS_2(F,S,_1,_2)M_ESCAPE S F(M_ESCAPE _3)
#define M_FOREACHQS_4(F,S,_1,_2,_3,_4) \
    M_FOREACHQS_3(F,S,_1,_2,_3)M_ESCAPE S F(M_ESCAPE _4)
#define M_FOREACHQS_5(F,S,_1,_2,_3,_4,_5) \
    M_FOREACHQS_4(F,S,_1,_2,_3,_4)M_ESCAPE S F(M_ESCAPE _5)
#define M_FOREACHQS_6(F,S,_1,_2,_3,_4,_5,_6) \
    M_FOREACHQS_5(F,S,_1,_2,_3,_4,_5)M_ESCAPE S F(M_ESCAPE _6)
#define M_FOREACHQS_7(F,S,_1,_2,_3,_4,_5,_6,_7) \
    M_FOREACHQS_6(F,S,_1,_2,_3,_4,_5,_6)M_ESCAPE S F(M_ESCAPE _7)
#define M_FOREACHQS_8(F,S,_1,_2,_3,_4,_5,_6,_7,_8) \
    M_FOREACHQS_7(F,S,_1,_2,_3,_4,_5,_6,_7)M_ESCAPE S F(M_ESCAPE _8)
#define M_FOREACHQS_9(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9) \
    M_FOREACHQS_8(F,S,_1,_2,_3,_4,_5,_6,_7,_8)M_ESCAPE S F(M_ESCAPE _9)
#define M_FOREACHQS_10(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10) \
    M_FOREACHQS_9(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9)M_ESCAPE S F(M_ESCAPE _10)
#define M_FOREACHQS_11(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11) \
    M_FOREACHQS_10(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10)M_ESCAPE S F(M_ESCAPE _11)
#define M_FOREACHQS_12(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12) \
    M_FOREACHQS_11(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11)M_ESCAPE S F(M_ESCAPE _12)
#define M_FOREACHQS_13(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13) \
    M_FOREACHQS_12(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12)M_ESCAPE S F(M_ESCAPE _13)
#define M_FOREACHQS_14(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14) \
    M_FOREACHQS_13(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13)M_ESCAPE S F(M_ESCAPE _14)
#define M_FOREACHQS_15(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15) \
    M_FOREACHQS_14(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14)M_ESCAPE S F(M_ESCAPE _15)
#define M_FOREACHQS_16(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16) \
    M_FOREACHQS_15(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15)M_ESCAPE S F(M_ESCAPE _16)
#define M_FOREACHQS_17(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17) \
    M_FOREACHQS_16(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16)M_ESCAPE S F(M_ESCAPE _17)
#define M_FOREACHQS_18(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18) \
    M_FOREACHQS_17(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17)M_ESCAPE S F(M_ESCAPE _18)
#define M_FOREACHQS_19(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19) \
    M_FOREACHQS_18(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18)M_ESCAPE S F(M_ESCAPE _19)
#define M_FOREACHQS_20(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20) \
    M_FOREACHQS_19(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19)M_ESCAPE S F(M_ESCAPE _20)
#define M_FOREACHQS_21(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21) \
    M_FOREACHQS_20(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20)M_ESCAPE S F(M_ESCAPE _21)
#define M_FOREACHQS_22(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21,_22) \
    M_FOREACHQS_21(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21)M_ESCAPE S F(M_ESCAPE _22)
#define M_FOREACHQS_23(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21,_22,_23) \
    M_FOREACHQS_22(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21,_22)M_ESCAPE S F(M_ESCAPE _23)
#define M_FOREACHQS_24(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21,_22,_23,_24) \
    M_FOREACHQS_23(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21,_22,_23)M_ESCAPE S F(M_ESCAPE _24)
#define M_FOREACHQS_25(F,S,_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) \
    M_FOREACHQS_24(F,S,_1,_2,_3,_4,_5,_6,_7,_8,_9,_10,_11,_12,_13,_14,_15,_16,_17,_18,_19,_20,_21,_22,_23,_24)M_ESCAPE S F(M_ESCAPE _25)
#define M_FOREACHQS_26(F,S,_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) \
    M_FOREACHQS_25(F,S,_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)M_ESCAPE S F(M_ESCAPE _26)
#define M_FOREACHQS_27(F,S,_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) \
    M_FOREACHQS_26(F,S,_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)M_ESCAPE S F(M_ESCAPE _27)
#define M_FOREACHQS_28(F,S,_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) \
    M_FOREACHQS_27(F,S,_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)M_ESCAPE S F(M_ESCAPE _28)
#define M_FOREACHQS_29(F,S,_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) \
    M_FOREACHQS_28(F,S,_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)M_ESCAPE S F(M_ESCAPE _29)
#define M_FOREACHQS_30(F,S,_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) \
    M_FOREACHQS_29(F,S,_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)M_ESCAPE S F(M_ESCAPE _30)
#define M_FOREACHQS_31(F,S,_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) \
    M_FOREACHQS_30(F,S,_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)M_ESCAPE S F(M_ESCAPE _31)
#define M_FOREACHQS_32(F,S,_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) \
    M_FOREACHQS_31(F,S,_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)M_ESCAPE S F(M_ESCAPE _32)
#define M_FOREACHQS_33(F,S,_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) \
    M_FOREACHQS_32(F,S,_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)M_ESCAPE S F(M_ESCAPE _33)
#define M_FOREACHQS_34(F,S,_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) \
    M_FOREACHQS_33(F,S,_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)M_ESCAPE S F(M_ESCAPE _34)
#define M_FOREACHQS_35(F,S,_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) \
    M_FOREACHQS_34(F,S,_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)M_ESCAPE S F(M_ESCAPE _35)
#define M_FOREACHQS_36(F,S,_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) \
    M_FOREACHQS_35(F,S,_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)M_ESCAPE S F(M_ESCAPE _36)
#define M_FOREACHQS_37(F,S,_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) \
    M_FOREACHQS_36(F,S,_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)M_ESCAPE S F(M_ESCAPE _37)
#define M_FOREACHQS_38(F,S,_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) \
    M_FOREACHQS_37(F,S,_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)M_ESCAPE S F(M_ESCAPE _38)
#define M_FOREACHQS_39(F,S,_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) \
    M_FOREACHQS_38(F,S,_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)M_ESCAPE S F(M_ESCAPE _39)
#define M_FOREACHQS_40(F,S,_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) \
    M_FOREACHQS_39(F,S,_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)M_ESCAPE S F(M_ESCAPE _40)
#define M_FOREACHQS_41(F,S,_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) \
    M_FOREACHQS_40(F,S,_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)M_ESCAPE S F(M_ESCAPE _41)
#define M_FOREACHQS_42(F,S,_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) \
    M_FOREACHQS_41(F,S,_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)M_ESCAPE S F(M_ESCAPE _42)
#define M_FOREACHQS_43(F,S,_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) \
    M_FOREACHQS_42(F,S,_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)M_ESCAPE S F(M_ESCAPE _43)
#define M_FOREACHQS_44(F,S,_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) \
    M_FOREACHQS_43(F,S,_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)M_ESCAPE S F(M_ESCAPE _44)
#define M_FOREACHQS_45(F,S,_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) \
    M_FOREACHQS_44(F,S,_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)M_ESCAPE S F(M_ESCAPE _45)
#define M_FOREACHQS_46(F,S,_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) \
    M_FOREACHQS_45(F,S,_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)M_ESCAPE S F(M_ESCAPE _46)
#define M_FOREACHQS_47(F,S,_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) \
    M_FOREACHQS_46(F,S,_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)M_ESCAPE S F(M_ESCAPE _47)
#define M_FOREACHQS_48(F,S,_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) \
    M_FOREACHQS_47(F,S,_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)M_ESCAPE S F(M_ESCAPE _48)
#define M_FOREACHQS_49(F,S,_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) \
    M_FOREACHQS_48(F,S,_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)M_ESCAPE S F(M_ESCAPE _49)
#define M_FOREACHQS_50(F,S,_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) \
    M_FOREACHQS_49(F,S,_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)M_ESCAPE S F(M_ESCAPE _50)
#define M_FOREACHQS_51(F,S,_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) \
    M_FOREACHQS_50(F,S,_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)M_ESCAPE S F(M_ESCAPE _51)
#define M_FOREACHQS_52(F,S,_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) \
    M_FOREACHQS_51(F,S,_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)M_ESCAPE S F(M_ESCAPE _52)
#define M_FOREACHQS_53(F,S,_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) \
    M_FOREACHQS_52(F,S,_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)M_ESCAPE S F(M_ESCAPE _53)
#define M_FOREACHQS_54(F,S,_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) \
    M_FOREACHQS_53(F,S,_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)M_ESCAPE S F(M_ESCAPE _54)
#define M_FOREACHQS_55(F,S,_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) \
    M_FOREACHQS_54(F,S,_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)M_ESCAPE S F(M_ESCAPE _55)
#define M_FOREACHQS_56(F,S,_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) \
    M_FOREACHQS_55(F,S,_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)M_ESCAPE S F(M_ESCAPE _56)
#define M_FOREACHQS_57(F,S,_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) \
    M_FOREACHQS_56(F,S,_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)M_ESCAPE S F(M_ESCAPE _57)
#define M_FOREACHQS_58(F,S,_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) \
    M_FOREACHQS_57(F,S,_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)M_ESCAPE S F(M_ESCAPE _58)
#define M_FOREACHQS_59(F,S,_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) \
    M_FOREACHQS_58(F,S,_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)M_ESCAPE S F(M_ESCAPE _59)
#define M_FOREACHQS_60(F,S,_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) \
    M_FOREACHQS_59(F,S,_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)M_ESCAPE S F(M_ESCAPE _60)
#define M_FOREACHQS_61(F,S,_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) \
    M_FOREACHQS_60(F,S,_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)M_ESCAPE S F(M_ESCAPE _61)
#define M_FOREACHQS_62(F,S,_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) \
    M_FOREACHQS_61(F,S,_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)M_ESCAPE S F(M_ESCAPE _62)
#define M_FOREACHQS_63(F,S,_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) \
    M_FOREACHQS_62(F,S,_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)M_ESCAPE S F(M_ESCAPE _63)
#define M_FOREACHQS_64(F,S,_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,_64) \
    M_FOREACHQS_63(F,S,_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)M_ESCAPE S F(M_ESCAPE _64)
// seq 64 | tac | paste -sd ,
#define M_FOREACHQS_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,_64,N,...) \
        M_FOREACHQS_##N
// seq 64 | tac | paste -sd ,
#define M_FOREACHQS(F, S, ...) \
        M_FOREACHQS_N(__VA_ARGS__,64,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)(F, S, __VA_ARGS__)

我们将在一些宏中生成函数定义，该宏接受两个参数 - 函数参数列表的可变参数 ... 部分和类型：

// needs another expansion wave, cause it's applied on `(..., const)`.
#define M_DEFINE_IS_FUNCTION(...) \
        M_DEFINE_IS_FUNCTION_IN(__VA_ARGS__)

#define M_DEFINE_IS_FUNCTION_IN(VAR, TYPE) \
template<class Ret, class... Args> \
struct is_function<Ret(Args... VAR) TYPE> : true_type {};

一些让我们开始的基本定义：

// Meeeeeeeeeeeeeeeeeep
struct true_type { static constexpr bool value = true; };
struct false_type { static constexpr bool value = false; };
template<class> struct is_function : false_type { };

然后我们必须生成限定符、noexcept、&& 或 & 或无和可变参数或非参数列表的可能组合（我永远不知道它是如何被调用的）的每个排列。有两个列表 (a, b) 和 (c, d) 我想有一个列表 (a c, a d, b c, b d) 并执行 4 次。我使用一组重载的宏来执行此操作，这些宏应用于彼此的列表，结果再次应用于上面的定义宏：

// Honestly, this could be generalized too...
#define M_CONST_APPLY(...) \
    (__VA_ARGS__), \
    (__VA_ARGS__ const)
#define M_VOLATILE_APPLY(...) \
    (__VA_ARGS__ ), \
    (__VA_ARGS__ volatile)
#define M_REFS_APPLY(...)  \
    (__VA_ARGS__ ), \
    (__VA_ARGS__ &), \
    (__VA_ARGS__ &&)
#define M_NOEXCEPT_APPLY(...)  \
    (__VA_ARGS__), \
    (__VA_ARGS__ noexcept)

M_FOREACHQS(M_DEFINE_IS_FUNCTION, (),
    M_FOREACHQS(M_NOEXCEPT_APPLY, (,),
        M_FOREACHQS(M_REFS_APPLY, (,),
            M_FOREACHQS(M_VOLATILE_APPLY, (,),
                M_FOREACHQS(M_CONST_APPLY, (,),
                    // Arguments list - empty or ... variadic function
                    // We do two arguments here
                    (, ),
                    (..., )
                 )
            )
        )
    )
)

int main() {
    return is_function<int()>::value;
}

还有godbolt link。老实说，只要键入所有可能的组合，代码就更容易维护、管理和理解。

【讨论】：

    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2018-01-09
    • 1970-01-01
    • 1970-01-01
    • 2019-04-24
    • 2015-01-28
    • 2022-01-23
    相关资源
    最近更新 更多
    热门标签
    Java Python linux javascript Mysql C# Docker 算法 前端 SpringBoot Redis Vue spring 设计模式 .net core .net kubernetes c++ 数据库 数据结构 大数据 js 机器学习 微服务 Android Go 程序员 面试 JVM ASP.net core 云原生 人工智能 后端 PHP git CSS golang k8s Nginx Django mybatis 深度学习 多线程 React 架构 devops 爬虫 云计算 Spring Boot LeetCode