Yöntem zincirinde C ++ yürütme sırası

Bu programın çıktısı:

#include <iostream> 
class c1
{   
  public:
    c1& meth1(int* ar) {
      std::cout << "method 1" << std::endl;
      *ar = 1;
      return *this;
    }
    void meth2(int ar)
    {
      std::cout << "method 2:"<< ar << std::endl;
    }
};

int main()
{
  c1 c;
  int nu = 0;
  c.meth1(&nu).meth2(nu);
}

Dır-dir:

method 1
method 2:0

Başladığında neden nu1 değil meth2()?

Çünkü değerlendirme sırası belirtilmemiş.

Sen görüyoruz nuiçinde maindeğerlendirilmekte olup 0bile öncemeth1 denir. Zincirlemeyle ilgili sorun budur. Bunu yapmamayı tavsiye ederim.

Güzel, basit, anlaşılır, okunması kolay, anlaşılması kolay bir program hazırlayın:

int main()
{
  c1 c;
  int nu = 0;
  c.meth1(&nu);
  c.meth2(nu);
}

Taslak standardın değerlendirme sırasına ilişkin bu kısmının konuyla ilgili olduğunu düşünüyorum:

1.9 Program Yürütme

...

15. Belirtilenler dışında, tek tek operatörlerin işlenenlerinin ve tek tek ifadelerin alt ifadelerinin değerlendirmeleri sıralı değildir. Bir operatörün işlenenlerinin değer hesaplamaları, operatörün sonucunun değer hesaplamasından önce sıralanır. Bir skaler nesne üzerindeki bir yan etki, aynı skaler nesne üzerindeki başka bir yan etkiye veya aynı skaler nesnenin değerini kullanan bir değer hesaplamasına göre sıralanmamışsa ve potansiyel olarak eşzamanlı değilse, davranış tanımsızdır.

ve ayrıca:

5.2.2 İşlev çağrısı

...

8. [Not: Sonek ifadesinin ve bağımsız değişkenlerin değerlendirmeleri birbirine göre sıralanmamıştır. Bağımsız değişken değerlendirmelerinin tüm yan etkileri, işleve girilmeden önce sıralanır - son not]

Öyleyse, satırınız c.meth1(&nu).meth2(nu);için, son çağrı için fonksiyon çağrısı operatörü açısından operatörde neler olduğunu düşünün meth2, böylece postfix ifadesi ve argümanındaki dökümü açıkça görüyoruz nu:

operator()(c.meth1(&nu).meth2, nu);

Sonek ekspresyonu ve argüman değerlendirmeler son işlev çağrısı için (sonek ifade yani c.meth1(&nu).meth2ve nu) olan birbirine unsequenced göre uygun olarak işlev çağrısı üzerinde kural. Bu nedenle, skaler nesne üzerindeki sonek ifadesinin hesaplanmasının yan etkisi , işlev çağrısından önceki arargüman değerlendirmesine göre sıralanmaz . Tarafındannumeth2 program yürütme yukarıdaki kural, bu tanımsız davranıştır.

Diğer bir deyişle, derleyicinin çağrıdan sonra çağrının nuargümanı değerlendirmesine gerek yoktur - etkinin hiçbir yan etkisi olmadığını varsaymak ücretsizdir .meth2meth1meth1nu değerlendirmeyi .

Yukarıda üretilen montaj kodu, mainfonksiyonda aşağıdaki sırayı içerir :

1. Değişken nu yığın üzerinde tahsis edilir ve 0 ile başlatılır.
2. Bir kayıt (ebx benim durumumda) değerinin bir kopyasını alırnu
3. Adresleri nuvec parametre kayıtlarına yüklenir
4. meth1 denir
5. Dönüş değeri kayıt ve önceden önbelleğe değer arasında nuyerebx kayıt parametre kaydediciler tarafından ön değerlere
6. meth2 denir

Kritik olarak, yukarıdaki 5. adımda derleyici, nu2. adımdaki önbelleğe alınan değerin işlev çağrısında yeniden kullanılmasına izin verir meth2. Burada nu, çağrı ile değiştirilmiş olabilecek olasılığı göz ardı eder .meth1 , eylemde 'tanımsız davranış' .

NOT: Bu cevabın özü orijinal halinden farklıdır. Son işlev çağrısından önce sıralanmamış olan işlenen hesaplamasının yan etkileri açısından ilk açıklamam yanlıştı çünkü yanlıştı. Sorun, işlenenlerin kendilerinin hesaplanmasının belirsiz bir şekilde sıralanması gerçeğidir.

1998 C ++ standardında, Bölüm 5, para 4

Belirtilenler dışında, tek tek operatörlerin işlenenlerinin ve tek tek ifadelerin alt ifadelerinin değerlendirme sırası ve yan etkilerin meydana gelme sırası belirtilmemiştir. Önceki ve sonraki sıra noktası arasında, bir skaler nesnenin saklanan değeri, bir ifadenin değerlendirilmesiyle en fazla bir kez değiştirilecektir. Ayrıca, önceki değere yalnızca depolanacak değeri belirlemek için erişilecektir. Bu paragrafın gereklilikleri, bir tam ifadenin alt ifadelerinin izin verilen her sıralaması için karşılanacaktır; aksi takdirde davranış tanımsızdır.

(Bu soruyla ilgili olmayan 53 numaralı dipnota yapılan referansı atladım).

Esasen &nuaramadan önce değerlendirilmeli c1::meth1()ve nuaramadan önce değerlendirilmelidir c1::meth2(). Bununla birlikte, nudaha önce değerlendirilecek bir gereksinim yoktur &nu(örneğin, nuönce değerlendirilmesine izin verilir , daha &nusonra c1::meth1()çağrılır - derleyicinizin yaptığı şey bu olabilir). Sentezleme *ar = 1de c1::meth1(), bu nedenle garanti edilmez önce değerlendirilmesi nuolarak main()geçirilecek amacıyla değerlendirilir c1::meth2().

Daha sonra C ++ standartları (şu anda bu gece kullandığım bilgisayarda yok) esasen aynı maddeye sahip.

Bence derleme yaparken, meth1 ve meth2 fonksiyonları gerçekten çağrılmadan önce, parametreler onlara aktarıldı. "C.meth1 (& nu) .meth2 (nu);" kullandığınızda demek istiyorum. nu = 0 değeri meth2'ye geçirilmiştir, bu nedenle "nu" nun daha sonra değiştirilmesinin önemi yoktur.

bunu deneyebilirsin:

#include <iostream> 
class c1
{
public:
    c1& meth1(int* ar) {
        std::cout << "method 1" << std::endl;
        *ar = 1;
        return *this;
    }
    void meth2(int* ar)
    {
        std::cout << "method 2:" << *ar << std::endl;
    }
};

int main()
{
    c1 c;
    int nu = 0;
    c.meth1(&nu).meth2(&nu);
    getchar();
}

istediğiniz cevabı alacak