Прагма у визначенні макросу

Чи є якийсь спосіб вбудувати висловлювання прагми в макро з іншими твердженнями?

Я намагаюся досягти чогось типу:

#define DEFINE_DELETE_OBJECT(type)                      \
    void delete_ ## type_(int handle);                  \
    void delete_ ## type(int handle);                                                \
    #pragma weak delete_ ## type_ = delete_ ## type

Я добре з розширювальними рішеннями (крім хвилі), якщо такі існують.

Якщо ви використовуєте c99 або c ++ 0x, є оператор прагми, який використовується як

_Pragma("argument")

що еквівалентно

#pragma argument

за винятком того, що він може бути використаний у макросах (див. розділ 6.10.9 стандарту c99 або 16.9 остаточного проекту комітету c ++ 0x)

Наприклад,

#define STRINGIFY(a) #a
#define DEFINE_DELETE_OBJECT(type)                      \
    void delete_ ## type ## _(int handle);                  \
    void delete_ ## type(int handle);                   \
    _Pragma( STRINGIFY( weak delete_ ## type ## _ = delete_ ## type) )
DEFINE_DELETE_OBJECT(foo);

коли вводиться в gcc -Eдає

void delete_foo_(int handle); void delete_foo(int handle);
#pragma weak delete_foo_ = delete_foo
 ;

Одна приємна річ, яку ви можете зробити з _Pragma ("аргумент") - це використовувати її для вирішення деяких питань компілятора, таких як

#ifdef _MSC_VER
#define DUMMY_PRAGMA _Pragma("argument")
#else
#define DUMMY_PRAGMA _Pragma("alt argument")
#endif

Ні, немає портативного способу зробити це. Знову ж таки, портативних способів використання #pragma взагалі немає. Через це багато компіляторів C / C ++ визначають свої власні способи робити речі, подібні до прагми, і вони часто можуть бути вбудовані в макроси, але для кожного компілятора потрібне інше визначення макросу. Якщо ви готові пройти цей маршрут, ви часто робите такі речі:

#if defined(COMPILER_GCC)
#define Weak_b
#define Weak_e __attribute__((weak))
#elif defined(COMPILER_FOO)
#define Weak_b __Is_Weak
#define Weak_e
#endif

#define DEFINE_DELETE_OBJECT(type)                      \
    Weak_b void delete_ ## type_(int handle) Weak_e;    \
    Weak_b void delete_ ## type(int handle)  Weak_e;    

У випадку, якщо це не очевидно, ви хочете визначити Weak_bі Weak_eяк конструкти брекетування з початком і в кінці, оскільки деякі компілятори, такі як GCC, додають атрибути як доповнення до підпису типу, а деякі, як MSC, додають його як префікс (або принаймні це робив колись минуло років, як я використовував MSC). Наявність брекет-контрактів дозволяє визначити щось, що завжди працює, навіть якщо вам доведеться передати підпис всього типу в конструкцію компілятора.

Звичайно, якщо ви спробуєте перенести це до компілятора без потрібних атрибутів, ви нічого не можете зробити, окрім як залишити макроси розгорнутись ні до чого, і сподіваюся, що ваш код все ще працює. У випадку чистого попередження або оптимізації прагм це ймовірно. В інших випадках не так вже й багато.

О, і я підозрюю, що вам потрібно було б визначити Weak_b та Weak_e як макроси, які приймають параметри, але я не хотів читати документи, як створити слабке визначення саме для цього прикладу. Я залишаю це як вправу для читача.

чи є якийсь спосіб вбудувати висловлювання прагми в макро з іншими твердженнями?

Ні, ви не можете розміщувати оператори препроцесора в операторах препроцесора. Ти можеш, однак, поставити його у inlineфункцію. Це C, однак, перемагає тег.