Макрос, генерирующий опреденное количество переменных в структуре

#define dCHECK_EXPRESSION_FACTORY(checkName, negative, expression, ...)  \
    template< ddeclarate_classesT(__VA_ARGS__)>                \
    class checkName                                            \
    {                                                          \
        template<pp_class_list(__VA_ARGS__)>                   \
            static decltype((expression), std::true_type{})    \
                check( pp_use_args(__VA_ARGS__) );             \
                                                               \
        template<pp_class_list(__VA_ARGS__)>                   \
            static std::false_type check(...);                 \
    public:                                                    \
        checkName(){}                                          \
        using type = decltype(                                 \
            check<dclassT(__VA_ARGS__)>(dnullptr(__VA_ARGS__)) \
        );                                                     \
        enum { value = type::value };                          \
    };                                                         \
    dSFINAE_GENERATOR(checkName, negative, __VA_ARGS__ )

    dCHECK_EXPRESSION(can_output, can_not_output, Ostream, Target,
        std::declval<Ostream&>() << std::declval<Target&>()
    );
...
   // true, тип int умеет выводится в поток
   std::cout << can_output<int>::value << std::endl;
 
   struct some{};
   // false, тип some не умеет выводится в поток
   std::cout << can_not_output<some>::value << std::endl;

std::declval<Ostream&>() << std::declval<Target&>()