当不执行任何操作时是否可以使用虚拟左值？

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，以便：

• 它被接受为左值，
• 该函数不执行任何操作。

我想要做的就是保持函数源不变，同时编译它而不执行任何操作。

编辑：我知道使用这样的左值可能不是最好的解决方案。我并不是在寻找这个特定问题的最佳解决方案，我对语言本身感兴趣。这是一个理论问题，而不是一个实用问题。

Answer 1

C99 具有可用于此类任务的复合文字。它们的语法是强制转换后跟初始化程序：

#define PORT ((int){0})

应该在您的情况下执行此操作，只是您可能会收到一些有关未使用值等的警告。

任何像样的编译器都会优化对此类复合文字的分配。

Answer 2

您可以定义与 P1OUT 类型相同的变量（例如 unsigned char），使其在标头中可用，并在源之一中定义它，例如this:

标头:

extern unsigned char dummy_P1OUT;
#define PORT (dummy_P1OUT)

C 文件:

unsigned char dummy_P1OUT;

用法:

PORT &= ~pin_mask;

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

Answer 3

这应该在 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 4

不是直接的左值，但我希望它能满足您的目的。 Try

#define PORT if (0) P1OUT

It 应该有效地使整个语句无效。您可能会收到一些警告，但恕我直言，这应该是可以克服的。

Answer 5

C++ 中的一些变态可能可以达到这个目的。例如，您可以定义 PORT 以按值返回一个对象，该对象实现 |= 和 &= 运算符。

在 CI 中可以通过以下方式找到一种方法：如果函数在开头定义一个整型变量，则可以将 PORT 定义为该变量或相关变量（P1OUT代码> 在你的情况下）。

当 PORT 定义为局部变量时 - 您可能希望编译器省略此代码：为局部变量分配一个未使用的值。

Answer 6

我在 ubuntu 上测试了下面的语句，它不会像在 Windows 上那样写入环境变量 PATH 的第一个字符。然而，根据定义，它确实会导致未定义的行为。

#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 。