Merhaba,

Geçen sene şu tartışma içerisinde duyurusu yapılmış:

https://forum.dlang.org/post/2023.14438@ddili.org

Ama ben copy constructor'ü denemeden önce bunu anlamak için diye şöyle bir kod yazdım:

/* __postblit; Denemesi
 * Tarih: 22.06.2021
 */
struct A
{
    int i;

    this(this)
    {
      import core.stdc.stdio : printf;
      printf("postblit öncesi i = %d\n", i++);
    }
}

import std.stdio;

void main()
{
    auto a = A.init;
    writeln("struct A kuruldu...");

    a.__postblit;
    writeln("this()'de yazıldı --^\n");
    a.i.writeln("<-- main()'de yazıldı!");

    /* bu satır açıldığında this()'e
    writeln(a); // 4'e kere giriyor,
    writefln("A(4) == %s ", a); // bu 3!
    a.i.writeln(": i'nin değeri aynı!");//*/
}

Her şey olması gerektiği gibi ilerlerken, kolaylık olsun diye yapıyı ekrana yazdırırsam ne olur diye denediğimde ekrana defalarca satır yazması tuhafıma gitti:

struct A kuruldu...
postblit öncesi i = 0
this()'de yazıldı --^

1<-- main()'de yazıldı!
postblit öncesi i = 1
postblit öncesi i = 2
postblit öncesi i = 3
postblit öncesi i = 4
A(5)
postblit öncesi i = 1
postblit öncesi i = 2
postblit öncesi i = 3
A(4) == A(4)
1: i'nin değeri aynı!

Aynı çıktıyı alabilmek için gizlediğim satırları bir / karakteri ekleyerek açmalısınız. Neden böyle oluyor diye sorgulamıyorum ki zaten kullanılması önerilmiyormuş.

Ama niye writeln() 4, writef() 3 kere posblit kısmına girer gibi yapar anlayamadım. Tuhaf!

Başarılar...

Sanırım böyle daha iyi ve beklendiği gibi tüm satırlar düzgün çalışıyor:

import std.stdio;

struct A (T)
{
  T i;

  @disable this();
  this(T n)
  {
    i = n;

    writef("init sonrası i = %.3f\n", i);
    i+=0.877;
  }
}

void main()
{
  auto a = A!double(0.123);

  writeln("this()'de yazıldı --^\n");
  writef("i = %.3f, %s\n", a.i, a);
} /* ÇIKTISI:
init sonrası i = 0.123
this()'de yazıldı --^

i = 1.000, A!double(1)
*************************/

Katkı için müteşekkirim...

Çünkü harika bir örnekle iç içeyiz (<- bu sözcüğü özellikle seçtim çünkü örnekler bize bunu çağrıştırıyor!)

On Friday, 25 June 2021 at 17:18:44 UTC, Ali Çehreli wrote:

Bu beklediğim bir şey çünkü nesnenin aslı korunuyor. Böylece a ve b birbirinden bağımsız işletilebilir. Ayrıca kopyalanırken parametre almayan this(this) vasıtasıyla hatırla() işlevi, ikinci S() yapısının adresini soyağacı'na not alıyor.

On Friday, 25 June 2021 at 17:18:44 UTC, Ali Çehreli wrote:

Bunu da bekliyordum çünkü foo() işlevi ref ile parametre almıyor; alsaydı hala 2 kopyamız olurdu.

Peki 3. kopya nerede? Sanırım GC'ye emanet ama hemen sonraki şu satırlarda yaşadığını kanıtlayabiliriz:

  auto ikincininAdresi = b.soyağacı[1];
  auto foo_nunKendisi = *(ikincininAdresi++);
  foo_nunKendisi.soyağacı.length.writeln;

Çünkü ikinci kopyanın içindeki dizinin 2 elemanı var. Biz bilmediğimiz üçüncü kopyayı, bildiğimizi bir arttırarak bulabiliriz. En azından yüksek olasılıkla orada olduğunu tahmin ediyoruz ve voilà dizinin uzunluğu 3...

On Friday, 25 June 2021 at 17:18:44 UTC, Ali Çehreli wrote:

Bu doğal çünkü @disable this(); ile post-blit devre dışı bırakılmıyor mu? Bunu konuyu açtıktan sonra yazdığım 2. örnekte gösterdim.

Kodun 2. bölümünü biraz incelemem gerekiyor. Konuyu derleyici ile birlikte etüt edip tekrar yazacağım... :)

// D 2.0.83
import std.stdio;

struct S {
  int[] kimliği;
  /*** DİKKAT: Sonuç değişir mi diye @disable bölümünü
               kaldırdım, değişmedi! ***/
  this(int id) {
    hatırla(id);
    "(.)".write;
  }

  this(this) {
    hatırla();
    "(..)".write;
  }

  void hatırla(int id = 0) {
    kimliği ~= id;
  }

  void göster(string açıklama) const {
    writefln!"%s: %s"(açıklama, kimliği);
  }
}

void main() {
  auto a = S(42);
  a.göster("ana.a");

  auto b = a;
  b.göster("ana.b");

  foo(b);
  S* p = &b;

  bar(*++p);
  writeln(); // 2. bölüm örnekleri:

  auto hesaplanan = hesapla(döndür());
  hesaplanan.göster("ana.hesaplanan");
} /* ÇIKTISI:
  (.)ana.a: [42]
  (..)ana.b: [42, 0]
  (..)foo.s: [42, 0, 0]
  (..)bar.s: [42, 0, 0, 0]

  (.)hesapla.giriş: [44]
  (.)ana.hesaplanan: [43]

NOT: Çift noktalar this(this)'e girdiğine işaret
eder. Açıkca id parametresi almayan kopyalanmıyor.
*/

Hocam izninizle ana kodu biraz değiştirdim. Bu sefer işaretçiler yerine kimliği önplana çıkardım. Ayrıca kaybolma ihtimali olan ve foo()'da oluşan yapıyı bar()'a refere ederek, zinciri biraz daha ilerletip ilerletemediğimi denedim. Sonuç tatmin edici.

2.bölüm örneklerine gelince. Neticede yeni bir scope içinde ve yeni S(44 ve 43) yapısı oluşmakta. Yani var olanın (aynı scope içindekini) kopyalamıyor ve auto ile yeniden oluşturulan yapı return ile (tabii ki referansı aslında değil mi?) döndürülüyor.

Peki bu işlevlerdeki (döndür ve hesapla) S() yapısının yaşam süresi main() kadar mıdır?