C ++, khai báo biến trong biểu thức 'if'

Những gì đang xảy ra ở đây?

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.
}

Phần 6.4.3 trong tiêu chuẩn 2003 giải thích cách các biến được khai báo trong điều kiện câu lệnh lựa chọn có phạm vi mở rộng đến cuối các câu lệnh con được điều kiện kiểm soát. Nhưng tôi không thấy nó nói gì về việc không thể đặt dấu ngoặc quanh khai báo, cũng như không nói gì về chỉ một khai báo cho mỗi điều kiện.

Hạn chế này gây khó chịu ngay cả trong trường hợp chỉ cần một khai báo trong điều kiện. Xem xét điều này.

bool a = false, b = true;

if(bool x = a || b)
{

}

Nếu tôi muốn nhập phạm vi 'if "-body với x được đặt thành false thì khai báo cần có dấu ngoặc đơn (vì toán tử gán có mức độ ưu tiên thấp hơn OR logic), nhưng vì không thể sử dụng dấu ngoặc nên yêu cầu khai báo x bên ngoài body, làm rò rỉ khai báo đó đến một phạm vi lớn hơn mong muốn. Rõ ràng ví dụ này là nhỏ nhặt nhưng trường hợp thực tế hơn sẽ là một trường hợp trong đó a và b là các hàm trả về giá trị cần được kiểm tra

Vì vậy, có phải những gì tôi muốn làm không phù hợp với tiêu chuẩn, hay trình biên dịch của tôi chỉ làm hỏng các quả bóng của tôi (VS2008)?

Kể từ C ++ 17, những gì bạn đang cố gắng làm cuối cùng cũng có thể thực hiện được :

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

Lưu ý việc sử dụng ; thay vì ,để tách biệt giữa khai báo và thực trạng.

Tôi nghĩ rằng bạn đã gợi ý về vấn đề này. Trình biên dịch phải làm gì với mã này?

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

Toán tử "&&" là một logic ngắn mạch AND. Điều đó có nghĩa là nếu phần đầu tiên (1==0)là sai, thì (bool a = false)không nên đánh giá phần thứ hai vì người ta đã biết rằng câu trả lời cuối cùng sẽ là sai. Nếu (bool a = false)không được đánh giá, thì phải làm gì với mã sau này sử dụng a? Liệu chúng ta có thể không khởi tạo biến và để nó không xác định? Chúng tôi sẽ khởi tạo nó thành mặc định? Điều gì sẽ xảy ra nếu kiểu dữ liệu là một lớp và việc làm này có tác dụng phụ không mong muốn? Điều gì sẽ xảy ra nếu thay vì boolbạn sử dụng một lớp và nó không có hàm tạo mặc định để người dùng phải cung cấp các tham số - sau đó chúng ta phải làm gì?

Đây là một ví dụ khác:

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?

Có vẻ như giới hạn mà bạn đã tìm thấy có vẻ hoàn toàn hợp lý - nó ngăn những loại mơ hồ này xảy ra.

Điều kiện trong một ifhoặc whilecâu lệnh có thể là một biểu thức hoặc một khai báo biến đơn (có khởi tạo).

Ví dụ thứ hai và thứ ba của bạn không phải là biểu thức hợp lệ, cũng không phải là khai báo hợp lệ, vì khai báo không thể tạo thành một phần của biểu thức. Mặc dù sẽ rất hữu ích nếu có thể viết mã như ví dụ thứ ba của bạn, nhưng nó sẽ yêu cầu một sự thay đổi đáng kể đối với cú pháp ngôn ngữ.

Tôi không thấy nó nói gì về việc không thể đặt dấu ngoặc quanh khai báo, cũng như không nói gì về việc chỉ có một khai báo cho mỗi điều kiện.

Đặc tả cú pháp trong 6.4 / 1 cho điều kiện sau:

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

chỉ định một khai báo duy nhất, không có dấu ngoặc đơn hoặc các phần tô điểm khác.

Nếu bạn muốn bao gồm các biến trong một phạm vi hẹp hơn, bạn luôn có thể sử dụng { }

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

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

Phần cuối cùng đã hoạt động, bạn chỉ cần viết nó hơi khác một chút:

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

Đây là một cách giải quyết xấu khi sử dụng vòng lặp (nếu cả hai biến đều là số nguyên):

#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;
}

Nhưng điều này sẽ gây nhầm lẫn cho các lập trình viên khác và nó là mã khá tệ, vì vậy không được khuyến khích.

Một {}khối bao quanh đơn giản (như đã được khuyến nghị) dễ đọc hơn nhiều:

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

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

Một điều cần lưu ý, đó là các biểu thức bên trong khối if lớn hơn

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

không nhất thiết phải đảm bảo được đánh giá theo kiểu từ trái sang phải. Một lỗi khá tinh vi mà tôi đã gặp phải trong ngày hôm đó liên quan đến việc trình biên dịch thực sự đang thử nghiệm từ phải sang trái thay vì từ trái sang phải.

Với một phép thuật mẫu nhỏ, bạn có thể giải quyết vấn đề không thể khai báo nhiều biến:

#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;
}

(Lưu ý, điều này làm mất đánh giá ngắn mạch.)