یک ویژگی قدرتمند هستند که به شما امکان میدهند بر اساس شرایط خاص، نوعی را انتخاب کنید. این ویژگی به ویژه در مواقعی مفید است که میخواهید نوعی را بر اساس ورودیهای دیگر تعیین کنید.
T extends U ? X : Y
T نوعی است که بررسی میشود.U نوعی است که T با آن مقایسه میشود.T از U گسترش یابد ، نوع X انتخاب میشود.Y انتخاب میشود.مثال : فرض کنید میخواهید تابعی بنویسید که اگر ورودی یک عدد باشد، نوع خروجی number باشد و اگر رشته باشد، نوع خروجی string باشد:
