Apakah itu Undiverting dalam Sains Komputer dan Kejuruteraan Perisian?

Dalam konteks sains komputer dan kejuruteraan perisian, "undiverting" merujuk kepada teknik yang digunakan dalam bahasa pengaturcaraan untuk membuang titik perbezaan yang tidak perlu daripada aliran kawalan program.

Titik divergence ialah lokasi dalam program di mana aliran kawalan berpecah kepada berbilang cawangan, setiap satunya boleh melaksanakan kod yang berbeza. Titik perbezaan diperlukan dalam atur cara yang perlu mengendalikan kes atau pengecualian yang berbeza, tetapi ia juga boleh menjadikan atur cara lebih kompleks dan sukar untuk difahami.

Penyahlencongan melibatkan mengalih keluar titik perbezaan yang tidak perlu dengan meruntuhkan berbilang cawangan menjadi satu cawangan, atau dengan menggabungkan berbilang pernyataan bersyarat menjadi satu. Ini boleh memudahkan aliran kawalan atur cara dan memudahkan untuk memahami dan mengekalkan.

Sebagai contoh, pertimbangkan kod berikut:
```
if (x > 0) {
y = x * 2;
} else {
y = - x * 2;
}
```
Kod ini mempunyai titik perbezaan pada pernyataan `jika`, kerana aliran kawalan berpecah kepada dua cabang berdasarkan nilai `x`. Untuk tidak mengalihkan kod ini, kita boleh meruntuhkan dua cawangan menjadi satu cawangan seperti ini:
```
y = (x > 0) ? x * 2 : -x * 2;
```
Kini tiada titik perbezaan, dan aliran kawalan lebih mudah dan lebih mudah difahami.