Sınıf Değişmezi Nedir?

Nesne yönelimli bilgisayar programlama ve tasarımında, bir sınıf değişkeni, bir nesne örneğinin geçerli bir durumda bulunup bulunmadığını tanımlamak için kullanılabilecek bir dizi kuraldır. Tasarım açısından bakıldığında, kolay kredi veren bankalarbir nesnenin içindeki verilerin uygun, işlevsel bir durumda düşünüldüğü bir dizi sınırdır. Tasarım dokümanlarında veya kaynak kodlarında tanımlanabiliryorumlar veya bazı programlama dillerinde, uygulanabilir bilgisayar kodunda doğrudan uygulanabilir. Kodlanmış değişmezleri ve iddiaları kullanan bir program, programın çalışmayı durdurmasına veya değişmez koşullar karşılanmadığında çeşitli hatalar atmasına neden olabilir. Standart hata kontrolünden farklı olarak, sınıf değişmezleri genellikle sadece bir sınıfın içsel uygulamasının işleyişini sağlamak amacıyla kullanılır ve genellikle genel belgeler veya programlama arayüzlerinde listelenmezler.

Çok temel bir seviyede, bir sınıf değişkeni aslında bir sınıf için bir iddialar koleksiyonudur. Yine, basit terimlerle yapılan bir iddia, sınıfın bir kısmının kontrol edildiği ve devam etmek için program yürütme için doğru olarak değerlendirilmesi gereken bir ifadedir. Bir savın bir örneği, verilen bir tamsayı her zaman 1 ile 10 arasında olan bir ifadedir. Bir sınıf değişkeni kullanıldığında, iddialar nesne tarafından tutulan verilerin tüm ilgili kısımları için değerlendirilir, temelde tüm verilerin nesne tanımlanan aralıklar içinde.

Birçok durumda, bir sınıf değişkeni kullanmak, standart hata kontrolüne güçlü bir şekilde benzemektedir. Bu değişkenler, kullanılabilir sınırlar içinde olduklarından veya boş olmadıklarından emin olmak için ölçülmüştür. Bununla birlikte, sınıf değişmezlerinin kullanılması ile standart hata denetimi arasındaki fark, değişmezlerin ve iddiaların kodda esas bir kusur olmadığı sürece oluşmaması gereken hataları yakalamak için ağırlıklı olarak kullanıldığıdır. Diğer bir fark, standart hata kontrolünün, program kontrol akışında iyileşmeyi ve değişiklikleri içermesidir; buna karşın, değişmez bir arızanın sonucu, program sonlandırması olmalıdır. Çoğu programın, bir sınıf değişmez kontrolü başarısız olduğunda sona erdirilmesinin nedeni, hızlı kredi veren bankalarnesnenin tehlikeye düşmüş bir durumda olması ve tasarım görünümünden, tasarım sözleşmesine uymak için gerekli ön koşulları ve şartların yerine getirilememesidir.

Nesnel yönelimli programlama dillerindeki bir değişmez sınıfın özelliklerinden biri örtülü olarak tanımlandığı, değişmezin herhangi bir alt sınıfın miras aldığı bir mekanizma olduğu yönündedir. Bu, bir alt sınıfın, ana sınıfta gerçekleştirilen tüm değişmeyen kontrolleri geçersiz kılmasını engeller. Sonuç olarak, bu, bir alt sınıfın, beklenmedik sonuçlara veya bulunması zor program hatalarına yol açabilecek olan, süper sınıfın oluşturduğu tasarım sözleşmesini kıramadığı anlamına gelir.