Есть ли фиктивная lvalue, которая может использоваться, когда ничего не должно быть выполнено?

Question

Рассмотрим следующую функцию C99:

void port_pin_set(const bool value, const uint8_t pin_mask) 
{ 
    if (value) { 
     PORT |= pin_mask; 
    } else { 
     PORT &= ~pin_mask; 
    } 
} 

С PORT будучи define, например:

#define PORT (P1OUT) 

Есть ли способ, чтобы переопределить PORT так, что:

• принято как lvalue,
• функция не делает anythin г.

Что я хочу сделать, так это сохранить источник функции как есть, при компиляции его ничего не делать.

Редактировать: Я знаю, что использование такого lvalue может быть не лучшим решением. Я не ищу лучшего решения этой конкретной проблемы, меня интересует сам язык. Это теоретический вопрос, а не прагматичный.

Answer 1

C99 имеет сложные литералы, которые могут использоваться для выполнения такой задачи. Их синтаксис слепок с последующим инициализатором:

#define PORT ((int){0}) 

должен сделать это в вашем случае, только то, что вы могли бы получить некоторые предупреждения о неиспользуемых значениях или около того.

Любой достойный компилятор оптимизирует задания для такого составного литерала.

Answer 2

Это должно сделать это в C99:

#ifdef PORT 
#undef PORT 
#endif 

#define PORT int x = 0; x 

для вашего случая. Но я предлагаю вам поставить весь код между #ifdef-х вместо переопределение PORT:

void port_pin_set(const bool value, const uint8_t pin_mask) 
{ 
#ifdef BUILD_PORT_PIN_SET 
    if (value) { 
     PORT |= pin_mask; 
    } else { 
     PORT &= ~pin_mask; 
    } 
#endif 
} 

Answer 3

Вы можете определить переменную того же типа, как ваш P1OUT (скажем, unsigned char), сделать его доступным в заголовке, и определить его в одном из источников, как это:

заголовок:

extern unsigned char dummy_P1OUT; 
#define PORT (dummy_P1OUT) 

C файл:

unsigned char dummy_P1OUT; 

Usages:

PORT &= ~pin_mask; 

if (PORT & pin_mask) { 
    blink_led(); 
} 

Answer 4

Есть извращения в C++, которые могут сделать трюк. Например, вы можете определить PORT, чтобы вернуть вам объект по значению, который реализует операторы и &=.

В C Я могу найти способ следующим образом: определить целочисленную переменную в начале, если функция, то PORT может быть определена либо этой переменной, либо соответствующей (P1OUT в вашем случае).

Когда PORT определяется локальной переменной - вы можете надеяться, что компилятор не примет этот код: присвоение локальной переменной значения, которое не используется.

Answer 5

Я тестировал заявление ниже на ubuntu, и он не записывает первый символ переменной окружения PATH, где он работает в Windows. Однако по определению он вызывает неопределенное поведение.

#define PORT (*(uint8_t*)(getenv("PATH"))) 

Итак, чтобы сделать его безопасным можно определить фиктивное значение среды в другом месте в программе и продолжают устанавливать, что вместо этого.

#include <stdlib.h> 

#ifdef PORT 
#undef PORT 
#endif 

#define SETDUMMYPORT (putenv("dummyPORT=x")) 
#define PORT (*(uint8_t*)(getenv("dummyPORT"))) 

Где-то в программе установить фиктивную переменную окружения:

int main(int argc, char* argv[]) 
{ 
    SETDUMMYPORT; 
} 

Затем PORT может быть использован как у вас есть в вашем вопросе.

Answer 6

Не обязательно lvalue, но я надеюсь, что это послужит вашей цели. Попробуйте

#define PORT if (0) P1OUT 

Он должен эффективно аннулировать полный отчет. Вы можете получить некоторые предупреждения, но это должно быть преодолимым ИМХО.