c ++：如果用于短路的块语法，则在内部进行多次赋值[复制]

Question

这个问题在这里已有答案：

• C ++，'if'表达式中的变量声明 8答案

如果第一个失败，我希望能够在if块和短路中执行多个赋值。 但是，这不会编译并说， expected primary-expression before 'auto'

#include <iostream>
#include <optional>

std::optional<int> foo()
{
    return 0;
}

int main() {
    if (auto a = foo() && auto b = foo())
    {
        std::cout << "a = " << *a << ", b = " << *b << std::endl;
    }
}

以下工作虽然并且做我想要的。

    if (auto a = foo())
    {
      if (auto b = foo()) {
        std::cout << "a = " << *a << ", b = " << *b << std::endl;
      }
    }

但有没有办法让我在第一个语法中使用语法？ 使用括号括起表达式不起作用。

Answer 1

从C ++ 17开始，你可以写

if (decltype(foo()) a, b; (a = foo()) && (b = foo()))
{
    std::cout << "a = " << *a << ", b = " << *b << std::endl;
}

但如果你想看到短路动作，你应该改变条件：

#include <iostream>
#include <optional>

std::optional<int> foo()
{
    std::cout << "foo called.\n";
    return 1;
}

int main()
{
    if (decltype(foo()) a, b; (a = foo()) or (b = foo()))
    {
        // For exposition only            ^^
        std::cout << "a = " << *a << ", b = " << *b << std::endl;
        // Note that, now, this is UB            ^^
    }
}

比较器的输出这

foo called.
a = 1, b = 0

与前者相对 。

Answer 2

它与auto无关。 声明不能是表达式的一部分。 您可以在if语句中使用表达式或单个声明。

所以即使这不会编译：

#include <iostream>

int foo()
{
    return 0;
}

int main()
{
    if (int a = foo() && int b = foo())
    {
        std::cout << "a = " << a << ", b = " << b << std::endl;
    }
    return 0;
}

编辑：在C ++ 17中，你可以在条件语句之前有一个初始化语句，如下所示： if (auto a = foo(), b = foo(); a && b) 。 但是，这不会给你短路。

Answer 3

我看到的唯一方法是重新构造（不在if条件中声明变量）：

#include <iostream>
#include <optional>

std::optional<int> foo()
{
    return 0;
}

int main() {
    std::optional<int> a , b;
    if ((a = foo()) && (b = foo()))
    {
        std::cout << "a = " << *a << ", b = " << *b << std::endl;
    }
}

请看这里的工作示例。

---

从c ++ 17开始，你甚至可以在if条件中执行变量声明，如下所示：

if (std::optional<int> a , b; (a = foo()) && (b = foo()))

虽然在这种情况下不可能使用auto 。

另一个现场演示 。