Лучший способ эмулировать __typeof__ для msvc или альтернативный обходной путь?

У меня есть код

#define DEBUG_PRINT(x,...) \
    do \
    {\
        _Pragma("GCC diagnostic push") \
        _Pragma("GCC diagnostic ignored \"-Wunused-value\"") \
        __typeof__((0,x)) _x = x; \
        _Pragma("GCC diagnostic pop") \
        DEBUG_PRINT_PTR((#x), &_x, __VA_ARGS__);\
    } while(0)


//The repetition of debug_print_printf_specifier is to avoid repetition for custom types.
#define DEBUG_PRINT_PTR(xstr, xp,...) \
_Generic((*xp), \
const char *: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
char *: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
int: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
float: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
double: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
char: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
int16_t: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
uint16_t: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
uint32_t: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
int64_t: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
uint64_t: debug_print_printf_specifier(xstr, (void *)xp, TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__}))),\
default: DEBUG_PRINT_CUSTOM_TYPE(xstr, xp, __VA_ARGS__))

#define DEBUG_PRINT_CUSTOM_TYPE(xstr, xp,...) \
debug_print_custom_to_debug_string(xstr, xp, &((dsc_func_ptr){GET_CREATE_DEBUG_STRING_FUNC(xp)}), __FILE__, __LINE__, _my_func__,\
debug_print_options_apply_group_options(&((debug_print_options){__VA_ARGS__})))



#define GET_CREATE_DEBUG_STRING_FUNC(x) _Generic((x), \
debug_print_options *: debug_print_options_to_debug_string, \
debug_print_group_options *: debug_print_group_options_to_debug_string, \
default: print_not_valid_type_for_debug_print)

Мне нужен указатель на x в DEBUG_PRINT которая может быть переменной или выражением. Для поддержки выражений я назначаю его временному, а затем беру адрес этого. Я мог подражать __typeof__ с _Generic для ограниченного набора типов, но тогда пользователям потребуется добавить строки для пользовательских типов в 2 местах. Есть ли другой способ сделать это? Я бы согласился только с поддержкой новейшего компилятора Microsoft C.

Источник

2 ответа

Это зависит от того, как вы компилируете свой код. Если вы на самом деле используете режим C Visual Studio (т.е. /Tc или составление файла с .c расширение, которое подразумевает /Tc), и вы не можете использовать режим C++ (например, код находится в заголовке), тогда вам не повезло, поскольку MSVC не поддерживает C11 (и, следовательно, вы даже не можете использовать _Generic подражать этому).

Однако, если вы компилируете в режиме C++ (или вы можете использовать эту роскошь), то вы можете воспользоваться decltype как предложил @MooingDuck (в последних версиях Visual Studio, например, 2017):

#include <stdio.h>

#ifdef __cplusplus
#    define TEMPORARY(x) decltype((x)) _x = (x);
#else
#    define TEMPORARY(x) __typeof__((x)) _x = (x);
#endif

#define DEBUG_PRINT(x) \
    do { \
        TEMPORARY(x); \
        printf("%s = %p\n", #x, &_x); \
    } while(0)

void f()
{
    int y = 100;
    DEBUG_PRINT(123);
    DEBUG_PRINT(y + 123);
}

Посмотрите на сгенерированный код для gcc 7.3 (-std=c99 -Wall -Wextra) и MSVC 2017 (/std:c++14 /W4), которые оба кажутся хорошими и эквивалентными: https://godbolt.org/g/sdWAv7

Источник 
char: debug_print_printf_specifier("x"//z.str, (void *)xp, \ 
TYPE_PTR_TO_PRINTF_SPECIFIER(xp), __FILE__, __LINE__, _my_func__, \ 
debug_print_options_apply_group_options(&((debug_print_options{__VA_ARGS__}))),\
z=ptr.x
//just create a ptr z for x... :D

просто как тот..;)

Источник
Другие вопросы по тегам