Дарти чӣ ҳолатҳо метавонад аз навъи Never истифода барад?

Типи Never дари барои нишон додани он, ки функсия ё ибора ҳеҷ гоҳ ба таври оддӣ анҷом намеёбад. Ин метавонад бо сабабҳои зерин рӯй диҳад:

• Функсия ҳамеша истисно меандозад.
• Функсия дорои доираи беохир аст.

Never зери навъи ҳар гуна навъи дигар, аз ҷумла null аст. Ин маъно дорад, ки арзиши навъи Never метавонад ба тағйирёбандаи ҳар гуна навъ таъин карда шавад.

Маслиҳатҳо барои истифода:

1. Функсияҳое, ки истисно меандозанд:

   Never throwError(String message) {
     throw Exception(message); // Функсия ҳамеша истисно меандозад
   }
   

2. Функсияҳое бо доираи беохир:

   Never infiniteLoop() {
     while (true) {
       // Иҷрои беохир
     }
   }
   

Истифодаи Never кӯмак мекунад, ки компилятор ва таҳлилгари статикӣ беҳтар фаҳманд ҷараёнҳои иҷрои барнома ва пайдо кардани мушкилоти эҳтимолӣ. Масалан, агар функсия нишон дода шавад, ки Never бармегардонад, компилятор метавонад фаҳмад, ки коди пас аз он ҳеҷ гоҳ нарасида мешавад.