C++，'if'表達式中的變量聲明

Question

這是怎麼回事？

if(int a = Func1()) 
{ 
    // Works. 
} 

if((int a = Func1())) 
{ 
    // Fails to compile. 
} 

if((int a = Func1()) 
    && (int b = Func2())) 
) 
{ 
    // Do stuff with a and b. 
    // This is what I'd really like to be able to do. 
} 

在2003年的標準expains在選擇語句條件中聲明的變量怎麼也延伸到由條件控制的substatements結束範圍6.4.3節。但是我沒有看到它說什麼不能在括號中加括號，也沒有說每個條件只有一個聲明。

即使在只需要一個聲明的情況下，這個限制也很煩人。考慮這一點。

bool a = false, b = true; 

if(bool x = a || b) 
{ 

} 

如果我想進入與X設置了「如果「體區範圍爲假，則需要申報括號（因爲賦值運算符比邏輯或優先級低），但由於括號不能使用它需要在體外​​聲明x，將聲明泄漏到比想要的更大的範圍，顯然這個例子是微不足道的，但更實際的情況是a和b是返回需要測試的值的函數

那麼我想做的是不符合標準，還是我的編譯器只是在破解我的球（VS2008）？

Answer 1

在if或while語句中的條件可以是一個表達，或一個單可變聲明（用初始化）。

您的第二個和第三個示例既不是有效的表達式，也不是有效的聲明，因爲聲明不能構成表達式的一部分。雖然能夠像第三個示例一樣編寫代碼會很有用，但它需要對語言語法進行重大更改。

我沒有看到它說什麼不能在括號內放置括號，也沒有說每個條件只有一個聲明。

6中的語法規範。4/1給出了條件如下：

condition: 
    expression 
    type-specifier-seq declarator = assignment-expression 

指定單個聲明，沒有括號或其他裝飾品。

Answer 2

我想你已經暗示了這個問題。編譯器應該如何處理這些代碼？

if (!((1 == 0) && (bool a = false))) { 
    // what is "a" initialized to? 

的 「& &」 操作符是短路邏輯AND。這意味着如果第一部分(1==0)證明是錯誤的，那麼應該不對第二部分(bool a = false)進行評估，因爲已經知道最終答案是錯誤的。如果(bool a = false)未被評估，那麼稍後如何處理代碼使用a？我們是否只是不初始化變量並使其不確定？我們將它初始化爲默認值？如果數據類型是一個類，那麼會發生不希望的副作用？如果不是bool你使用了一個類，並且它沒有默認構造函數，那麼用戶必須提供參數，那麼我們該怎麼做呢？

再舉一例：

class Test { 
public: 
    // note that no default constructor is provided and user MUST 
    // provide some value for parameter "p" 
    Test(int p); 
} 

if (!((1 == 0) && (Test a = Test(5)))) { 
    // now what do we do?! what is "a" set to? 

好像你已經找到了限制似乎完全合理的 - 它可以防止這類模糊的情況的發生。

Answer 3

如果你想封裝在一個較窄的範圍內的變量，你總是可以使用額外的{ }

//just use { and } 
{ 
    bool a = false, b = true; 

    if(bool x = a || b) 
    { 
     //... 
    } 
}//a and b are out of scope 

Answer 4

最後一節已經工作，你就必須把它寫稍有不同：

if (int a = Func1()) 
{ 
    if (int b = Func2()) 
    { 
     // do stuff with a and b 
    } 
} 

Answer 5

需要注意的一件事，也是在較大的if塊內的表達式

if (!((1 == 0) && (bool a = false))) 

不一定保證以從左到右的方式進行評估。我當天回來的一個非常微妙的錯誤與編譯器實際上是從右到左而不是從左到右的測試有關。

Answer 6

一個小模板魔你可以圍繞不能夠的問題，那種幾分去聲明多個變量：

#include <stdio.h> 

template <class LHS, class RHS> 
struct And_t { 
    LHS lhs; 
    RHS rhs; 

    operator bool() { 
    bool b_lhs(lhs); 
    bool b_rhs(rhs); 
    return b_lhs && b_rhs; 
    } 
}; 
template <class LHS, class RHS> 
And_t<LHS, RHS> And(const LHS& lhs, const RHS& rhs) { return {lhs, rhs}; } 

template <class LHS, class RHS> 
struct Or_t { 
LHS lhs; 
RHS rhs; 

    operator bool() { 
    bool b_lhs(lhs); 
    bool b_rhs(rhs); 
    return b_lhs || b_rhs; 
    } 
}; 
template <class LHS, class RHS> 
Or_t<LHS, RHS> Or(const LHS& lhs, const RHS& rhs) { return {lhs, rhs}; } 

int main() { 
    if (auto i = And(1, Or(0, 3))) { 
    printf("%d %d %d\n", i.lhs, i.rhs.lhs, i.rhs.rhs); 
    } 
    return 0; 
} 

（注意，這失去了短路的評價。）

Answer 7

這裏是一個醜陋的解決方法使用一個循環（如果兩個變量均爲整數）：

#include <iostream> 

int func1() 
{ 
    return 4; 
} 

int func2() 
{ 
    return 23; 
} 

int main() 
{ 
    for (int a = func1(), b = func2(), i = 0; 
     i == 0 && a && b; i++) 
    { 
     std::cout << "a = " << a << std::endl; 
     std::cout << "b = " << b << std::endl; 
    } 

    return 0; 
} 

但是，這會迷惑其他程序員，它是相當糟糕的代碼，因此不建議使用。

一個簡單的封閉{}塊（如已推薦）是更易於閱讀：

{ 
    int a = func1(); 
    int b = func2(); 

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

Answer 8

由於C++ 17你試圖做is finally possible：

if (int a = Func1(), b = Func2(); a && b) 
{ 
    // Do stuff with a and b. 
} 

注意使用;而不是,來區分聲明和實際情況。