Neden salt okunur ve uçucu değiştiriciler karşılıklı olarak münhasırdır?

Question

readonly numaralı bir referans türü değişkeni var, çünkü başvuru hiçbir zaman değişmiyor, yalnızca özellikleri. volatile değiştiricisini eklemeyi denediğimde, her iki değiştiricinin de aynı değişkene uygulanmasına izin vermeyeceği uyarısında bulundu. Ama bence uçuculuğa ihtiyacım var çünkü özelliklerini okurken problemleri önbelleğe almak istemiyorum. Ben bir şey eksik miyim? Yoksa derleyici yanlış mı?

Güncelleştirme Martin aşağıdaki yorumlardan birinde belirtildiği gibi: Hem salt okunur hem de uçucu değiştiriciler, başvuru tipi nesneler söz konusu olduğunda, nesnenin özelliklerine değil, yalnızca başvuruma uygulanır. Kaybettiğim şey buydu, bu yüzden derleyici haklı.

class C 
{ 
    readonly volatile string s; // error CS0678: 'C.s': a field cannot be both volatile and readonly 
} 

Answer 1

Ne readonly ne de volatile değiştiricileri giricidir. Nesnenin özelliklerine değil, referansın kendisine uygulanırlar.

readonly anahtar sözcüğü, değişkeni başlatıldıktan sonra değişemeyeceğini ve zorladığını belirtir. Değişken, referansın depolandığı küçük bellek yığınıdır.

volatile anahtar sözcüğü, derleyiciye, bir değişkenin içeriğinin birden fazla iş parçacığı tarafından değiştirilebileceğini bildirir. Bu, derleyicinin eşzamanlı erişimde sorunlara yol açabilecek optimizasyonları (değişkenin değerini bir kayıt içine okuma ve bu değeri birkaç komutta kullanma gibi) kullanmasını engeller. Yine, bu sadece referansın depolandığı küçük bellek parçasını etkiler.

Bu şekilde uygulandıklarında, bunların karşılıklı olarak münhasır olduklarını görebilirsiniz. Eğer bir şey okunduğunda (sadece bir kez, başlatma veya yapım aşamasında yazılabilir), o zaman aynı zamanda uçucu olamaz (herhangi bir zamanda birden fazla iş parçacığı ile yazılabilir).

önbelleğe alma sorunları, IIRC ilgiye gelince

---

, derleyici bir özellik çağrısının sonucunu önbelleğe alabilir ne zaman oldukça sıkı kurallar vardır. 'un bir yöntem çağrısı olduğunu ve onun değerini önbelleğe almak ve onu yeniden çağırmak için oldukça ağır bir optimizasyon (derleyicinin stand-point noktasından) olduğunu unutmayın. Kendini çok fazla endişelendirmen gereken bir şey olduğunu düşünmüyorum.

Answer 2

Yalnızca bir nesne ilk oluşturulduğunda salt okunur bir alan yazılabilir. Bu nedenle, CPU üzerinde herhangi bir önbellekleme sorunu olmayacaktır çünkü alanın değişmez ve değişmesi mümkün değildir.

Answer 3

Referansın kendisi iş parçacığı olabilir, ancak özellikleri değişmeyebilir. İki iş parçacığının eşzamanlı olarak, içinde numaralı başvuru nesnesinde yineleme gerçekleştirmeye çalıştığı durumlarda ne olacağını düşünün.