.NET'te dizeler nasıl geçirilir?

Bir stringişleve a ilettiğimde, dizenin içeriğine bir işaretçi iletilir mi, yoksa dizenin tamamı işleve bir yığın üzerinde işleve iletilir structmi?

Bir referans aktarılır; ancak teknik olarak referans yoluyla geçilmez. Bu ince ama çok önemli bir ayrımdır. Aşağıdaki kodu göz önünde bulundurun:

void DoSomething(string strLocal)
{
    strLocal = "local";
}
void Main()
{
    string strMain = "main";
    DoSomething(strMain);
    Console.WriteLine(strMain); // What gets printed?
}

Burada ne olduğunu anlamak için bilmeniz gereken üç şey var:

1. Dizeler C # 'da başvuru türleridir.
2. Onlar da değişmezdir, bu yüzden ne zaman ipi değiştiriyormuşsun gibi görünen bir şey yapsan, değişmiyorsun. Tamamen yeni bir dizge oluşturulur, referans ona işaret edilir ve eskisi atılır.
3. Dizeler başvuru türü olsa da başvuru ile strMainaktarılmaz. Bu bir başvuru türüdür, ancak başvurunun kendisi değere göre aktarılır . refAnahtar kelime olmadan bir parametreyi outher ilettiğinizde ( parametreleri saymadan ), bir şeyi değere göre geçirmiş olursunuz.

Bu demek oluyor ki ... değere göre bir referans geçiyorsun. Bir referans türü olduğundan, yalnızca referans yığına kopyalandı. Ama bu ne anlama geliyor?

Referans türlerini değere göre geçirme: Bunu zaten yapıyorsunuz

C # değişkenleri başvuru türleri veya değer türleridir . C # parametreleri ya başvuruya göre ya da değere göre geçirilir . Terminoloji burada bir sorundur; bunlar aynı şey gibi geliyor ama değiller.

HERHANGİ türde bir parametre geçirirseniz ve refanahtar kelimeyi kullanmazsanız , o zaman onu değere göre geçirmişsinizdir. Değerine göre geçtiyseniz, gerçekten geçtiğiniz şey bir kopyadır. Ancak parametre bir referans tipiyse, kopyaladığınız şey referanstır, işaret ettiği şey değil.

İşte Mainyöntemin ilk satırı :

string strMain = "main";

Bu satırda iki şey yarattık: bir mainyerde hafızada saklanan değere sahip bir dize ve ona strMainişaret eden bir referans değişkeni .

DoSomething(strMain);

Şimdi bu referansı aktarıyoruz DoSomething. Değerine göre geçtik, yani bir kopya çıkardık. Bu bir referans türüdür, yani dizeyi değil referansı kopyaladık. Şimdi bellekte her biri aynı değeri gösteren iki referansımız var.

Aranan ucun içinde

İşte DoSomethingyöntemin en tepesi :

void DoSomething(string strLocal)

Hiçbir refanahtar kelime, bu yüzden strLocalve strMainaynı değerde işaret iki farklı referanslar vardır. Yeniden atarsak strLocal...

strLocal = "local";   

... saklanan değeri değiştirmedik; denilen referansı aldık strLocalve yepyeni bir dizgiye hedefledik. Bunu strMainyaptığımızda ne olur ? Hiçbir şey değil. Hala eski dizgiye işaret ediyor.

string strMain = "main";    // Store a string, create a reference to it
DoSomething(strMain);       // Reference gets copied, copy gets re-pointed
Console.WriteLine(strMain); // The original string is still "main" 

Değişmezlik

Senaryoyu bir saniyeliğine değiştirelim. Dizelerle çalışmadığımızı, ancak oluşturduğunuz sınıf gibi değiştirilebilir bir referans türüyle çalıştığımızı hayal edin.

class MutableThing
{
    public int ChangeMe { get; set; }
}

Gösterdiği nesnenin referansını takip ederseniz objLocal, özelliklerini değiştirebilirsiniz:

void DoSomething(MutableThing objLocal)
{
     objLocal.ChangeMe = 0;
} 

MutableThingHafızada hala sadece bir tane var ve hem kopyalanan referans hem de orijinal referans hala onu gösteriyor. Kendisinin özellikleri MutableThingdeğişti :

void Main()
{
    var objMain = new MutableThing();
    objMain.ChangeMe = 5; 
    Console.WriteLine(objMain.ChangeMe); // it's 5 on objMain

    DoSomething(objMain);                // now it's 0 on objLocal
    Console.WriteLine(objMain.ChangeMe); // it's also 0 on objMain   
}

Ah, ama dizeler değişmez! ChangeMeAyarlanacak bir özellik yok . Sen yapamazsın strLocal[3] = 'H'sen C tarzı ile olabilir gibi C # chardizide; bunun yerine tamamen yeni bir dizi oluşturmanız gerekir. Değiştirmenin tek yolu strLocalreferansı başka bir dizeye yönlendirmektir ve bu, yapacağınız hiçbir şeyin strLocaletkileyemeyeceği anlamına gelir strMain. Değer sabittir ve referans bir kopyadır.

Referans ile bir referansın aktarılması

Bir fark olduğunu kanıtlamak için, referansla bir referansı ilettiğinizde şunlar olur :

void DoSomethingByReference(ref string strLocal)
{
    strLocal = "local";
}
void Main()
{
    string strMain = "main";
    DoSomethingByReference(ref strMain);
    Console.WriteLine(strMain);          // Prints "local"
}

Bu sefer, dizge Maingerçekten değişiyor çünkü referansı yığına kopyalamadan geçtiniz.

Dolayısıyla dizeler referans türler olsa bile, onları değere göre geçirmek, aranan uçta olup bitenlerin çağıran dizgeyi etkilemeyeceği anlamına gelir. Ancak referans türler oldukları için , dolaştırmak istediğinizde tüm dizeyi bellekte kopyalamanıza gerek yoktur.

Diğer kaynaklar:

• C # 'da referans türleri ve değer türleri arasındaki fark ve neden bir başvuru türünün referans geçirilmiş bir parametre ile aynı olmadığı konusunda okuduğum en iyi makale .
• Her zamanki gibi, Eric Lippert'in konuyla ilgili birkaç mükemmel blog yazısı da var .
• Onun da değişmezlik üzerine harika şeyleri var .

C # 'teki dizeler değişmez referans nesneleridir. Bu, onlara yapılan referansların (değere göre) aktarıldığı ve bir dize oluşturulduktan sonra onu değiştiremeyeceğiniz anlamına gelir. Dizenin değiştirilmiş sürümlerini (alt dizeler, kırpılmış sürümler, vb.) Üreten yöntemler, orijinal dizenin değiştirilmiş kopyalarını oluşturur .

Dizeler özel durumlardır. Her örnek değişmezdir. Bir dizenin değerini değiştirdiğinizde, belleğe yeni bir dizge ayırmış olursunuz.

Dolayısıyla, işlevinize yalnızca referans iletilir, ancak dize düzenlendiğinde yeni bir örnek olur ve eski örneği değiştirmez.