subtyping

ผู้เขียน: Randy Alexander
วันที่สร้าง: 25 เมษายน 2021
วันที่อัปเดต: 26 มิถุนายน 2024
Anonim
Subclassing vs Subtyping
วิดีโอ: Subclassing vs Subtyping

เนื้อหา

คำจำกัดความ - ประเภทย่อยหมายถึงอะไร

Subtyping เป็นแนวคิดในการเขียนโปรแกรมภาษาทฤษฎีที่ subtype ซึ่งเป็นชนิดข้อมูลที่เกี่ยวข้องกับ supertype ตามความคิดของ substitutability ที่องค์ประกอบของโปรแกรมเช่นฟังก์ชั่นและรูทีนย่อยที่เขียนสำหรับ supertype จะยังคงทำงานหากได้รับ ชนิดย่อยแทน ชนิดย่อยเป็นแนวคิดที่สำคัญในการเขียนโปรแกรมเชิงวัตถุและถูกแทนที่ด้วย supertype และบางครั้งก็มีข้อกำหนดที่เข้มงวดกว่า supertype


ข้อมูลเบื้องต้นเกี่ยวกับ Microsoft Azure และ Microsoft Cloud | ในคู่มือนี้คุณจะได้เรียนรู้ว่าการประมวลผลแบบคลาวด์คืออะไรและ Microsoft Azure สามารถช่วยคุณในการโยกย้ายและดำเนินธุรกิจจากคลาวด์อย่างไร

Techopedia อธิบาย Subtyping

การพิมพ์ย่อยเป็นวิธีการทดแทนและการใช้รหัสซ้ำในภาษาโปรแกรมเชิงวัตถุเพื่อป้องกันการคัดลอกรหัสที่คล้ายกันโดยไม่จำเป็นและส่งเสริมการอ่านรหัสและป้องกันข้อบกพร่อง ชนิดย่อยนั้นเป็นสิ่งที่ใช้แทน supertype ที่สามารถทำตามข้อกำหนด latters ทั้งหมดได้ ดังนั้นหาก B เป็นประเภทย่อยของ A ดังนั้น B สามารถใช้แทน A และคุณสมบัติใด ๆ ที่รับประกันโดย A จะต้องได้รับการรับประกันโดย B เสมอ

subtype ได้รับอนุญาตให้เสริมสร้างและแม้แต่เพิ่มคุณสมบัติที่ไม่ได้อยู่ใน supertype ซึ่งหมายความว่ามันจะช่วยให้ขยาย supertype ดังนั้นแทนที่จะสร้าง supertype ใหม่ทุกครั้งที่จำเป็นต้องมีสิ่งใหม่และคัดลอกคุณสมบัติและเงื่อนไขจาก supertype อื่นแล้ว subtype ก็สามารถสร้างได้ง่ายซึ่งขยาย supertype ด้วยคุณสมบัติหรือคุณสมบัติเพิ่มเติมโดยไม่ต้องเปลี่ยน supertype จากนั้นในกรณีนี้ทุกสิ่งที่สามารถพิสูจน์ได้กับซูเปอร์ไทป์จะสามารถพิสูจน์ได้กับประเภทย่อยและอีกมากมาย หากประเภทย่อยจะได้รับการปฏิบัติอย่างหมดจดในลักษณะเดียวกับ supertype โดยใช้และสอบถามวิธีการและเขตข้อมูลชนิด supertype เท่านั้นผลลัพธ์ที่ได้จะสอดคล้องกับวัตถุของประเภท supertype