C ++, deklarasi variabel dalam ekspresi 'if'

Apa yang terjadi di sini?

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

Bagian 6.4.3 dalam standar 2003 menjelaskan bagaimana variabel yang dideklarasikan dalam kondisi pernyataan pemilihan memiliki ruang lingkup yang meluas hingga akhir substrat yang dikontrol oleh kondisi tersebut. Tapi saya tidak melihat di mana dikatakan apa pun tentang tidak dapat menempatkan tanda kurung di sekitar deklarasi, juga tidak mengatakan apa pun tentang hanya satu deklarasi per kondisi.

Batasan ini mengganggu bahkan dalam kasus di mana hanya satu deklarasi dalam kondisi yang diperlukan. Pertimbangkan ini.

bool a = false, b = true;

if(bool x = a || b)
{

}

Jika saya ingin memasukkan 'if "-body scope dengan x disetel ke false maka deklarasi membutuhkan tanda kurung (karena operator penugasan memiliki prioritas lebih rendah daripada logika OR), tetapi karena tanda kurung tidak dapat digunakan, diperlukan deklarasi x di luar tubuh, membocorkan deklarasi itu ke lingkup yang lebih besar daripada yang diinginkan. Jelas contoh ini sepele tetapi kasus yang lebih realistis adalah kasus di mana a dan b adalah fungsi yang mengembalikan nilai yang perlu diuji

Jadi, apakah yang ingin saya lakukan tidak sesuai dengan standar, atau apakah kompiler saya hanya merusak bola saya (VS2008)?

Pada C ++ 17 apa yang Anda coba lakukan akhirnya mungkin :

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

Perhatikan penggunaan dari ;alih-alih ,untuk memisahkan deklarasi dan kondisi sebenarnya.

Saya pikir Anda sudah mengisyaratkan masalah ini. Apa yang harus dilakukan kompilator dengan kode ini?

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

Operator "&&" adalah logika hubungan pendek AND. Artinya jika bagian pertama (1==0)ternyata salah, maka bagian kedua (bool a = false)tidak perlu dievaluasi karena sudah diketahui bahwa jawaban akhirnya salah. Jika (bool a = false)tidak dievaluasi, lalu apa yang harus dilakukan dengan kode nanti a? Akankah kita tidak menginisialisasi variabel dan membiarkannya tidak terdefinisi? Apakah kita akan menginisialisasinya ke default? Bagaimana jika tipe datanya adalah kelas dan melakukan ini memiliki efek samping yang tidak diinginkan? Bagaimana jika alih-alih boolAnda menggunakan kelas dan tidak memiliki konstruktor default sehingga pengguna harus memberikan parameter - lalu apa yang harus kita lakukan?

Berikut contoh lainnya:

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?

Sepertinya batasan yang Anda temukan tampaknya masuk akal - ini mencegah terjadinya ambiguitas semacam ini.

Kondisi dalam pernyataan ifatau whiledapat berupa ekspresi , atau deklarasi variabel tunggal (dengan inisialisasi).

Contoh kedua dan ketiga Anda bukanlah ekspresi yang valid, maupun deklarasi yang valid, karena deklarasi tidak bisa menjadi bagian dari ekspresi. Meskipun akan berguna untuk dapat menulis kode seperti contoh ketiga Anda, ini akan membutuhkan perubahan signifikan pada sintaks bahasa.

Saya tidak melihat di mana dikatakan apa pun tentang tidak dapat menempatkan tanda kurung di sekitar deklarasi, juga tidak mengatakan apa pun tentang hanya satu deklarasi per kondisi.

Spesifikasi sintaks pada 6.4 / 1 memberikan kondisi berikut:

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

menentukan satu deklarasi, tanpa tanda kurung atau hiasan lainnya.

Jika Anda ingin memasukkan variabel dalam cakupan yang lebih sempit, Anda selalu dapat menggunakan tambahan { }

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

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

Bagian terakhir sudah berfungsi, Anda hanya perlu menulisnya sedikit berbeda:

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

Berikut adalah solusi buruk menggunakan perulangan (jika kedua variabel adalah bilangan bulat):

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

Tetapi ini akan membingungkan programmer lain dan ini adalah kode yang agak buruk, jadi tidak disarankan.

{}Blok penutup sederhana (seperti yang telah direkomendasikan) jauh lebih mudah dibaca:

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

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

Satu hal yang perlu diperhatikan, juga adalah ekspresi di dalam blok if yang lebih besar

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

tidak selalu dijamin untuk dievaluasi dengan cara kiri-ke-kanan. Satu bug yang agak halus yang saya hadapi pada hari itu berkaitan dengan fakta bahwa kompilator sebenarnya menguji kanan-ke-kiri alih-alih kiri-ke-kanan.

Dengan sedikit keajaiban templat Anda dapat mengatasi masalah tidak dapat mendeklarasikan banyak variabel:

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

(Perhatikan, ini menghilangkan evaluasi korsleting.)