G ++ -Wreorder'ın anlamı nedir?

G ++ -Wall seçeneği -Wreorder içerir. Bu seçeneğin ne yaptığı aşağıda açıklanmıştır. Birinin neden umursacağı belli değil (özellikle bunu -Wall'da varsayılan olarak açmak için yeterli).

-Wreorder (yalnızca C ++)
  Kodda verilen üye başlatıcıların sırası olmadığında uyar
  yürütülmesi gereken sırayla eşleşir. Örneğin:

    A yapısı {
      int i;
      int j;
      A (): j (0), i (1) {}
    };

  Derleyici, i ve j için üye başlatıcıları yeniden düzenleyecektir.
  üyelerin beyan düzeniyle eşleşir, buna uyarı gönderir
  etki. Bu uyarı -Wall tarafından etkinleştirilir.

Düşünmek:

struct A {
    int i;
    int j;
    A() : j(0), i(j) { }
};

Şimdi ibilinmeyen bir değere sıfırlandı, sıfır değil.

Alternatif olarak, başlatılması i, siparişin önemli olduğu bazı yan etkilere sahip olabilir. Örneğin

A(int n) : j(n++), i(n++) { }

Sorun şu ki, birisi yapıcıdaki üye başlatıcıların listesini görebilir ve bu sırayla yürütüldüklerini düşünebilir (önce j, sonra i). Bunlar, üyelerin sınıfta tanımlandığı sıraya göre yürütülür.

Diyelim ki yazdınız A(): j(0), i(j) {}. Birisi bunu okuyabilir ve ben 0 değeriyle bitirdiğimi düşünebilir. Bu, çünkü başlatılmadığı için ıvır zıvır içeren j ile başlattınız.

Uyarı, yazmanızı hatırlatır A(): i(j), j(0) {}, umarım çok daha balık gibi görünür.

Diğer cevaplar, uyarı seçeneğini haklı çıkaracak bazı iyi örnekler vermiştir. Tarihsel bir bağlam sunacağımı düşündüm. C ++ 'ın yaratıcısı Bjarne Stroustrup, C ++ programlama dili (3. baskı, Sayfa 259) adlı kitabında şöyle açıklıyor :

Üyelerin yapıcıları, kapsayıcı sınıfın kendi yapıcısı yürütülmeden önce çağrılır. Yapıcılar, başlatıcı listesinde göründükleri sırayla değil, sınıfta bildirildikleri sırayla çağrılır. Karışıklığı önlemek için, başlatıcıları bildirim düzeninde belirtmek en iyisidir. Üye yıkıcılar ters sırayla çağrılır.

Başlatıcılarınızın yan etkileri varsa bu sizi ısırabilir. Düşünmek:

int foo() {
    puts("foo");
    return 1;
}

int bar() {
    puts("bar");
    return 2;
}

struct baz {
    int x, y;
    baz() : y(foo()), x(bar()) {}
};

Yukarıda sezgisel olarak, siparişin başlatıcı listesinde yazıldığı gibi olduğunu varsaysa bile, yukarıdaki "bar" ve ardından "foo" yazdıracaktır.

Alternatif olarak, eğer xvey bir kurucu ile kullanıcı tanımlı bir türdeyse bunlar , bu kurucu aynı belirgin olmayan sonuç ile yan etkilere de sahip olabilir.

Ayrıca bir üye için başlatıcı başka bir üyeye başvurduğunda da kendini gösterebilir.

Uyarı, kurucuyu yeni okuduysanız j, daha önce başlatılmış gibi görünüyor i. Biri diğerini başlatmak için kullanılırsa,

struct A {
  int i;
  int j;
  A(): j (0), i (this->j) { }
};

Sadece kurucuya baktığınızda, bu güvenli görünüyor . Ancak gerçekte, jhenüz başlatma için kullanıldığı noktada henüz başlatılmamıştır ive bu nedenle kod beklendiği gibi çalışmaz. Dolayısıyla uyarı.