时间戳

首页 > 解决方案 > 在 if 语句中定义的局部变量意外出现

c++ - 在 if 语句中定义的局部变量意外出现

问题描述

最初我想将一堆语句打包成一行，这样我的东西就可以在 if 中用作一个简单的宏。我需要做 3 件事：

这是我的快速草稿代码：

#include <iostream>
#include <stdint.h>
#define MAGIC_VALUE 42

bool MyMockedFunction(uint64_t* outElement)
{
    *outElement = MAGIC_VALUE;

    return true;
}

static const uint64_t global_should_match_this = MAGIC_VALUE;

int main()
{
    // Originally I wanted to declare the variable in one single line (as a defined macro, which should be used in an IF statement)
    // That's why I have so many things packed into the same line
    // It may or may not (latter is more probable) a good idea, but that's not the question here

    if (uint64_t generatedElement = 123456 && MyMockedFunction(&generatedElement) && global_should_match_this == generatedElement)
    {
        // I would expect generatedElement == MAGIC_VALUE
        printf("Inside value: %llu\n", generatedElement);
    }
    else
    {
        printf("Unmatched\n");
    }

    return 0;
}

我知道以编程方式它可能不是万无一失的，如果我把它放在一个宏中它很容易被滥用（宏也是邪恶的），但在我的情况下，这将是一个非常受控的环境，只是为了让我的代码更容易阅读。

那么，问题来了——为什么生成的Element在运行后等于1？无论如何，它是一种未定义的行为吗？

我已经在编译器反汇编器中检查了它是 1，因为最后比较的值（表达式是真的吗？是的 -> 1 -> 这就是移动到变量中的内容。但这对我来说看起来不合理。为什么编译器会这样做所以？ :O 在 MSVC 和 GCC 上都检查过，两者都产生相同的输出。

标签： c++cross-platformundefined-behavior

解决方案

你的情况真的是：

uint64_t generatedElement = (123456 && MyMockedFunction(&generatedElement) && global_should_match_this == generatedElement)

generatedElement这意味着您使用布尔结果进行初始化。当您使用. _ _generatedElement

如果您的编译器支持if带有初始化程序的语句（C++17 中的新功能），那么您可以这样做

if (uint64_t generatedElement = 123456; MyMockedFunction(&generatedElement) && global_should_match_this == generatedElement)
{
    // ...
}

否则，您必须拆分为单独的变量定义和条件：

uint64_t generatedElement = 123456;
if (MyMockedFunction(&generatedElement) && global_should_match_this == generatedElement)
{
    // ...
}

推荐阅读