ให้ C เป็นระดับทั่วไป หรือการประกาศชนิดตัวแปรแบบ A1 , . . . , , และให้ C < T1 , . . . , TN > เป็น parameterization ของ C ที่ 1 ≤ผม≤ n Ti เป็นชนิด ( แทนที่จะกว่าแทน ) จากนั้น :- ให้ M เป็นสมาชิกหรือปฏิญญาผู้รับเหมาก่อสร้างใน C ซึ่งประกาศเป็นชนิดที( § 8.2 , § 8.8.6 )ประเภทของ M C < T1 , . . . , TN > T [ A1 : = T1 , . . . , : = 0 ]- ให้ M เป็นสมาชิกหรือปฏิญญาผู้รับเหมาก่อสร้างใน D ที่ D คลาสขยายซีหรือติดต่อ ดำเนินการโดย ให้ D < U1 , . . . , UK > เป็น supertype c < T1 , TN > . . . . . . .ที่สอดคล้องกับ .ประเภทของ M C < T1 , . . . , TN มีประเภทของ M D < U1 , . . . , UK .ถ้าใด ๆของประเภทอาร์กิวเมนต์ใน parameterization ของ C เป็นสัญลักษณ์แทนแล้ว :- ชนิดของเขตข้อมูล วิธีการ และผู้รับเหมาใน C < T1 , . . . , TN > เป็นชนิดของเขตข้อมูล วิธีการ และผู้รับเหมาในการจับภาพการแปลง C < T1 , TN > . . . . . . .( § 5.1.10 )
การแปล กรุณารอสักครู่..