A parameterized type C is well-form

A parameterized type C is well-formed if all of the following are true:
• C is the name of a generic type.
• The number of type arguments is the same as the number of type parameters in
the generic declaration of C.
• When subjected to capture conversion (§5.1.10) resulting in the type C,
each type argument Xi is a subtype of S[F1:=X1,...,Fn:=Xn] for each bound
type S in Bi.

ผลลัพธ์ (ไทย) 1:

ชนิดพารามิเตอร์ C มีรูปแบบที่ดีถ้าทั้งหมดต่อไปนี้เป็นจริง:• C คือ ชื่อของชนิดทั่วไป•จำนวนของอาร์กิวเมนต์ชนิดจะเหมือนกับหมายเลขของพารามิเตอร์ชนิดในประกาศทั่วไปของค•เมื่อต้องจับแปลง (§5.1.10) ในประเภท C,แต่ละอาร์กิวเมนต์ชนิดซีเป็นชนิดย่อยของ S [F1: = X 1,..., Fn: = Xn] สำหรับแต่ละขอบเขตชนิด S Bi

ผลลัพธ์ (ไทย) 2:

Parameterized ที่พิมพ์ Cเป็นรูปแบบที่ดีถ้าทั้งหมดต่อไปนี้เป็นจริง:
• C เป็นชื่อของประเภททั่วไป.
•จำนวนของอาร์กิวเมนต์ประเภทเป็นเช่นเดียวกับจำนวนของพารามิเตอร์ชนิดใน
การประกาศทั่วไปของซี
•เมื่ออยู่ภายใต้การจับภาพการแปลง (§5.1.10) ส่งผลให้ในประเภท C,
แต่ละประเภทอาร์กิวเมนต์ Xi เป็นชนิดย่อยของ S [F1 = X1, ... , Fn = Xn] สำหรับผูกพันแต่ละ
ประเภทใน Bi

ผลลัพธ์ (ไทย) 3:

เป็นพารามิเตอร์ชนิด C < T1 , . . . , TN > ได้ดีขึ้นถ้าทั้งหมดต่อไปนี้เป็นจริง :- C เป็นชื่อของชนิดทั่วไป- จำนวนของอาร์กิวเมนต์ชนิดเดียวกันคือเป็นหมายเลขของตัวแปรประเภทประกาศทั่วไปของ- เมื่อถูกจับแปลง ( § 5.1.10 ) ส่งผลให้พิมพ์ C < x1 , . . . , คริสเตียน ,แต่ละประเภทอาร์กิวเมนต์ Xi เป็นชนิดย่อยของ F1 [ s : = x1 , . . . , FN : = คริสเตียน ] สำหรับแต่ละขอบเขตประเภทของบี