Birçok dilde olduğu gibi D'de overflow kontrol edilmiyor.

Örneğin bu kod hata vermeyecektir:

-----
int x = int.max + 1;
int y = x;
-----

Bildiğim çözümler:

1. core.checkedint modülü:

Modülü baştan sona inceledim. Fonksiyonlar anlaması kolay olduğu kadar o kadar basit ki pragma(inline) yerleştirilmiş. Yani, bu öğretici de demek.

2. Bir takım kurallar öğrenmek, örneğin:

- eğer iki pozitif sayının toplamı negatif sayıysa sonuç overflowed durumdadır,
- eğer iki negatif sayının toplamı pozitif sayıysa sonuç overflowed durumdadır,
- aksi hâlde iki sayının toplamı overflowed durumda değildir.

Kodumdaki if blokları bu kuralları uyguluyor.

-----
int sumSequence(in int b, in int e)
    in (b < e, "Begin value is bigger than end value.")
{
    int result = 0;

    int current = b;
    for (; current < e; current += 1)
    {
        if (0 < result && 0 < current && 0 > result + current)
        {
            assert(false,
	    "Integer overflow: sum of two positive numbers yield a negative result.");
        }
        else if (0 > result && 0 > current && 0 < result + current)
        {
            assert(false,
	    "Integer overflow: sum of two negative numbers yield a positive result.");
        }

        result = result + current;
    }

    return result;
}
-----

Bana kalırsa bir sistem programlama dili olarak D'nin böylesine asla istemeyeceğiniz bir durum için compiler/run-time hatası vermemesi büyük bir problem; derleyici flag'leri ile açılıp kapatılabilirdi. D'nin hata mesajları genel olarak iyi olsa da bu konuyu tartışmamız gerekiyor diye düşünüyorum, çok eksik var aynı zamanda.

Siz overflow'ları kontrol etmek için nasıl bir yöntem izliyorsunuz, D'nin bu durumlardan kaçınmak için başka nasıl yöntemleri var, derleyiciyle etkileşime geçebilir miyiz?

On Thursday, 28 July 2022 at 04:27:19 UTC, dunecourser wrote:
>
>
On Thursday, 28 July 2022 at 04:27:19 UTC, dunecourser wrote:
Underflow vb. terimler de var elbette, basitleştirmek için sadece overflow kullandım.

On 7/27/22 21:27, dunecourser wrote:

> Modülü baştan sona inceledim. Fonksiyonlar anlaması kolay olduğu kadar o
> kadar basit ki pragma(inline) yerleştirilmiş. Yani, bu öğretici de demek.

Phobos'taki o basitlik, tam da benim bu seneki DConf konumun ana konusu. Bir dilin standart kütüphanesinin kullanıcılar tarafından okunabilir olması ve aynılarını yazılabilir olması bir üstünlük olarak kabul edilmeli.

> 2. Bir takım kurallar öğrenmek, örneğin:
>
> - eğer iki pozitif sayının toplamı negatif sayıysa sonuç overflowed
> durumdadır,
> - eğer iki negatif sayının toplamı pozitif sayıysa sonuç overflowed
> durumdadır,
> - aksi hâlde iki sayının toplamı overflowed durumda değildir.

Doğal olarak, onları ancak işaretli sayılarda uygulayabiliriz. İşaretsizlerin kötü tarafı, farkında olmadan bütün ifadeyi garipleştirmeleridir. "int terfileri" başlığında yazmışım:


http://ddili.org/ders/d/tur_donusumleri.html#ix_tur_donusumleri.terfi,%20tamsay%C4%B1

Uygulanabildiğinde, başka seçenekler de olabilir:

3. Sonucun hatalı olacağını baştan bilmek. Bu, programa göre farklı işleyecektir. Ama çarpmayı da karşılar.

4. Sonucu daha büyük bir türe yerleştirmek: Örneğin, 'int'ler için 'long' kullanılabilir.

> Bana kalırsa bir sistem programlama dili olarak D'nin böylesine asla
> istemeyeceğiniz bir durum için compiler/run-time hatası vermemesi büyük
> bir problem

Bu konunun nedenini tam hatırlamıyorum ama büyük olasılıkla masraf olmasın diyedir.

> derleyici flag'leri ile açılıp kapatılabilirdi.

Doğru. Walter Bright'ın bildiğim ilkelerinden birisi, programın davranışının derleyici flag'lerine bağlı olmamasıdır. Derlenebilmişse çalışmalıdır ve aynı sonucu üretmelidir.

> bu konuyu tartışmamız gerekiyor diye düşünüyorum

Bütün camiayı ilgilendirdiğinden bu konunun İngilizce forumlarda daha etkili olacağını düşünürüm. Ben kendimi bu konuda bilgili hissetmiyorum. (Doğrusu, pek deneyimli de değilim çünkü konu her ne kadar tehlikle gözükse de benim başıma geldiğini hatırlamıyorum.)

Ali

On 7/27/22 21:30, dunecourser wrote:
> On Thursday, 28 July 2022 at 04:27:19 UTC, dunecourser wrote:
>>
>>
> On Thursday, 28 July 2022 at 04:27:19 UTC, dunecourser wrote:
> Underflow vb. terimler de var elbette, basitleştirmek için sadece
> overflow kullandım.

Tabii ki. :) Üstelik ben eskiden alttan taşmayı (underlow) çıkarma işlemiyle ilgili sanıyordum, yalnızca kesirli sayılarla ilgili bir terimmiş:

Taşma (overflow):


http://ddili.org/ders/d/aritmetik_islemler.html#ix_aritmetik_islemler.ta%C5%9Fma

Alttan taşma (underflow):


http://ddili.org/ders/d/kesirli_sayilar.html#ix_kesirli_sayilar.alttan%20ta%C5%9Fma

Ali