มันไม่ได้มีความหมายอะไรโดยเฉพาะในการอ้างอิงถึง java
คลาสคงที่เป็นเพียงคุณสมบัติที่เก็บอินสแตนซ์ทั้งหมดของคลาสเสมอไม่ว่าโค้ดอื่นจะทำอะไรก็ตาม
ตัวอย่างเช่น,
class X {
final Y y = new Y();
}
X มีค่าคงที่ระดับว่ามีyทรัพย์สินและมันจะไม่และมีค่าของชนิดnullY
class Counter {
private int x;
public int count() { return x++; }
}
ล้มเหลวในการรักษาค่าคงที่ที่สำคัญสองตัว
- ที่
countไม่ส่งคืนค่าลบเนื่องจากอาจมีการไหลน้อยเกินไป
- การโทรที่
countเพิ่มขึ้นอย่างซ้ำซากจำเจ
คลาสที่แก้ไขจะรักษาค่าคงที่ทั้งสองไว้
class Counter {
private int x;
public synchronized int count() {
if (x == Integer.MAX_VALUE) { throw new IllegalStateException(); }
return x++;
}
}
แต่ล้มเหลวในการรักษาค่าคงที่ที่เรียกให้countประสบความสำเร็จตามปกติ (ไม่มีการละเมิด TCB † ) เนื่องจากcountอาจทำให้เกิดข้อยกเว้นหรืออาจบล็อกหากเธรดที่หยุดชะงักเป็นเจ้าของจอภาพของตัวนับ
แต่ละภาษาที่มีคลาสทำให้ง่ายต่อการรักษาค่าคงที่ของคลาส แต่ไม่ใช่ภาษาอื่น Java ไม่มีข้อยกเว้น:
- คลาส Java มีหรือไม่มีคุณสมบัติและเมธอดอย่างสม่ำเสมอดังนั้นอินเทอร์เฟซอินเทอร์เฟซจึงดูแลรักษาได้ง่าย
- คลาส Java สามารถป้องกัน
privateฟิลด์ของตนได้ดังนั้นค่าคงที่ที่อาศัยข้อมูลส่วนตัวจึงดูแลรักษาได้ง่าย
- คลาส Java สามารถเป็นขั้นสุดท้ายได้ดังนั้นจึงสามารถรักษาค่าคงที่ที่ขึ้นอยู่กับโค้ดที่ละเมิดค่าคงที่โดยการสร้างคลาสย่อยที่เป็นอันตรายได้
- Java ช่วยให้
nullค่าสามารถแอบได้หลายวิธีดังนั้นจึงเป็นเรื่องยากที่จะรักษาค่าคงที่ "มีค่าจริง"
- Java มีเธรดซึ่งหมายความว่าคลาสที่ไม่ซิงโครไนซ์มีปัญหาในการรักษาค่าคงที่ที่อาศัยการดำเนินการตามลำดับในเธรดที่เกิดขึ้นพร้อมกัน
- Java มีข้อยกเว้นซึ่งทำให้ง่ายต่อการรักษาค่าคงที่เช่น "ส่งคืนผลลัพธ์ที่มีคุณสมบัติ p หรือไม่ส่งคืนผลลัพธ์" แต่ยากกว่าที่จะรักษาค่าคงที่เช่น "ส่งคืนผลลัพธ์เสมอ"
† - การละเมิดภายนอกหรือTCBคือเหตุการณ์ที่ผู้ออกแบบระบบมองโลกในแง่ดีว่าจะไม่เกิดขึ้น
โดยทั่วไปเราเชื่อว่าฮาร์ดแวร์พื้นฐานทำงานได้ตามที่โฆษณาเมื่อพูดถึงคุณสมบัติของภาษาระดับสูงที่สร้างขึ้นจากภาษาเหล่านี้และข้อโต้แย้งของเราที่มีค่าคงที่ไม่ได้คำนึงถึงความเป็นไปได้ของ:
- โปรแกรมเมอร์ที่ใช้ debug hooks เพื่อแก้ไขตัวแปรโลคัลเนื่องจากโปรแกรมทำงานในรูปแบบที่โค้ดไม่สามารถทำได้
- เพื่อนของคุณไม่ได้ใช้การสะท้อน
setAccessibleเพื่อแก้ไขprivateตารางการค้นหา
- Loki เปลี่ยนแปลงฟิสิกส์ทำให้โปรเซสเซอร์ของคุณเปรียบเทียบตัวเลขสองตัวไม่ถูกต้อง
สำหรับบางระบบ TCB ของเราอาจรวมเฉพาะบางส่วนของระบบดังนั้นเราจึงไม่สามารถสรุปได้
- ผู้ดูแลระบบหรือดีมอนที่มีสิทธิ์จะไม่ฆ่ากระบวนการ JVM ของเรา
แต่เราอาจสันนิษฐานได้ว่า
- เราสามารถตรวจสอบไปยังระบบไฟล์ธุรกรรมที่เชื่อถือได้
ยิ่งระบบระดับสูง TCB มักจะมีขนาดใหญ่ขึ้น แต่สิ่งที่ไม่น่าเชื่อถือมากขึ้นคุณสามารถออกจาก TCB ของคุณได้มากเท่าไหร่ก็จะยิ่งมีโอกาสที่ค่าคงที่ของคุณจะคงอยู่ได้มากขึ้นเท่านั้น