为什么 C++ 在 if 语句中提供声明？

Question

我最近了解到if statements 可用于在 C++ 中声明变量。我个人并不真正了解其背后的原因。

if statements 不应该只检查条件是否正确，并且声明变量会导致错误吗？

也就是说，据我所知，if statements 只能比较两个单独的值。所以在if statement 中声明任何东西真的没有意义，因为你没有比较任何东西。

原帖：

为什么 c++ 编译器会接受这个：

#include <iostream>

int Test()
{
    return 10;
}

int main()
{
    if (int n = Test())
    {
        std::cout << "hi";
    }
}

更具体地说：为什么 if (int n = Test()) 是一个有效的语句？

Answer 1

谁会使用int n = Test() 作为 if 语句？

它限制了n 的范围，在if 语句中，谁想要它就这样做。

---

现在如果你问：

“为什么你可以声明、初始化和使用这样的变量？”

这是有效的，因为 C++ 标准是这样说的。 if-statement，语法

attr(optional) if (condition) statement-true else statement-false

....
条件

• 之一 上下文相关的表达式convertible to bool
• declaration 的单个非数组变量与 brace-or-equals initializer。

Answer 2

这基本上是一种简写方式：

{
    int n = Test();
    if (n != 0)
    {
        std::cout << "hi";
    }
}

所以，如果Test() 返回了0，那么我们就不会进入if 块，否则我们会这样做并且我们将让n 立即读取它返回的内容，仅在那个if的范围。

请注意，这种情况下的整数值可以被视为布尔值，其中0 == false 和其他任何值都是true。

Answer 3

init 语句的原因是为了限制变量的范围，允许函数返回值的重用。 C++17 为 if 和 for-each 引入了专用的 init 语句 有时您可能想在使用它返回的值之前通过返回 0 或 nullptr 来检查函数是否失败，并且您不想污染范围。

void foo()
{
   if(int var = some_function(); var != 0)
   {
      // use var
      use_var(var);
   }
   else throw std::exception();
}

它在if 语句中可能并不常见，但在for-each 语句中更方便。看看这个例子。

struct test
{
   std::vector<int> elements;
   auto& items()
   {
      return elements;
   }
}

test get_test()
{
   return {};
}

void foo()
{
   // for(auto e : get_test().items()) - this would cause a new test struct element to be created per each iteration and would invalidate the iterator.
   
   for(auto obj = get_test(); auto e : obj) // test created only once, no iterator invalidation
   {
      std::cout << e << '\n';
   }
}

Answer 4

您在if 语句中放入的条件表达式是一个操作。 如果操作成功（意思是n被声明并填充10），那么它的值为true。所以它会编译并运行if 语句。