我可以在if语句中初始化不同类型的对象吗？

Question

我知道我可以写作

if (int a = 1; /* whatever */) {}

，但

if (int a = 1, b{3}; /* whatever */) {}

如何声明 int 和 b b type 字符串？

这样的事情不起作用：

if (auto a = 1, b{"ciaos"s}; /* whatever */) {}

我没有包括标准，因为我对答案一般都感兴趣，即使实际上我会在 c ++ 17 。

而且，如果不可能的话，是否有任何确切的原因（因此语言律师）？

Answer 1

您只允许您在if语句中的一个变量声明语句，每个变量声明语句只能声明单一类型。这是在

if constexpr(opt) ( init-statement condition ) statement

<代码> init-statement 可以是 simple-declaration ，其中包含 init-declarator-list 仅允许单个 声明师 。通常，这仅意味着一种类型，但是指针（*）和参考（＆amp;）被应用于变量名称，而不是类型名称，因此您可以拥有 t ， t*和/或 t＆amp; 在单个 init-declarator-list ie中声明的变量， int a = 42， *b =＆amp; a，＆amp; a，＆amp; ; c = a;

作为解决方法，您可以利用结构化绑定和 ctad （与 std :: tuple 获得语法，例如

int main()
{
    using namespace std::string_literals;
    if (auto [a, b] = std::tuple{42, "string"s}; a)
    {
        std::cout << b;
    }
}

输出哪些输出

string