Merhaba hocam,

Çok basit bir soru ama yapamadımz mazur gör lütfen:

void main() {
  string bar;
  void foo(S)(S s)
  in(is(S == S)) {           // (in)
    bar ~= s;
  }
  foo('-');
  foo(" -");
  assert(bar == "- -");
  foo('\n');
  foo(" v");
  assert(bar == "- -\n v");
  foo(41);                   // (41)
  assert(bar == "- -\n v)");
}

Acaba std.traits kullanarak (in) bloğunda (41) satırı engellenebilir mi?

Çünkü foo'nun sadece char ve türevlerini hem birden fazla char hem tek almasını istiyorum da...

Teşekkürler...

On Tuesday, 7 June 2022 at 19:16:37 UTC, Ali Çehreli wrote:

Aslında in bloğunu kullanabilmek isterdim çünkü bu benim için çok daha kolay. Yani hata mesajı vermesini tercih ederdim. Tamam, zaten 2 satıra yönelik bir hata mesajı veriyor:

Deneyimli bir programcı için bunlar yeterli ve fakat herkes için en kolayı kendi dilinde bir hata atmasıdır. Çünkü program büyüdükçe nesneler arasındaki ilişki artıyor. Çıkan satırlar dolusu hata içinden birine odaklanabilse tüm hatalar otomatik düzelecek.

Steve Schveighoffer'ın makalesini okumaya karar verdim. Belki hatalar ile mücadele etme konusunda vakit kazandırıcı önerileri vardır.

Şimdilik her yerde kullanılabilen şöyle bir ekstra işlev ile istediğimi elde etmiş görünüyorum:

bool char_ise(S)() {
  import std.traits;
  if(isSomeString!S || isSomeChar!S) {
    return true;
  } else throw new Exception("Sadece char!");
  return false;
}

void main()
{
  string bar;

  void foo(S)(S s)
  if(char_ise!S())/*
  if(isSomeString!S || isSomeChar!S)//*/
  {
    bar ~= s;
  }
//  ....

Tabi çok aptalca lüzumsuz bir kullanım, tek satır varken. En azından, verdiği hata mesajından CTFE çalıştığını anlıyoruz:

false olma durumunda ekstra verdiği hatalar:

Teşekkürler...

On Wednesday, 8 June 2022 at 06:44:00 UTC, Ali Çehreli wrote:

Derleme zamanı verdiği hata, kapsamlı bir uygulama için bence de gereksiz kaçıyor. Bu tür olanakları ile arkadaş olmaya çalıştıkça sistemin işleyişini daha iyi anlıyorum ki düne kadar çoğunlukla assert() kullanan biri olarak söylüyorum, teşekkürler...

void main()
{
  string bar;
  enum Err { ch = "Sadece char!" }

  void foo(S)(S s)
  in(isSomeString!S || isSomeChar!S, Err.ch)/*
  in(char_ise!S())//*/
  {
  // ....

Çalışma Zamanı Hataları

• isSome...'lar in bloğundayken:

• isSome...'lar char_ise'deyken:

Dediğim gibi in bloğu kullanabilmek önemliydi ve görünüşe göre işin içine static girince, derleme zamanında da hata yakalamak mümkünmüş:

in bloğunda char_olmalı!S() kullanılırsa

Başarılar...

On Wednesday, 8 June 2022 at 07:32:14 UTC, Salih Dincer wrote:

D'ye gönül vermiş herkes lütfen 2. maddedeki web sayfasını incelesin. Çünkü orası diğerine göre daha kapsamlı (örnekli) anlatmış. Özellikle isSomeString için şöyle bir örnek var:

static struct Stringish
{
    string str;
    alias str this;
}
static assert(!isSomeString!Stringish);

Bu string gibi görünenleri geçirmediğini ifade ediyor. Çünkü bu bir yapı sarmalı ama standart işlev veya opCall() üzerinden string geçerse itiraz yok. Öyle ya tam bir string döndürüyor! Şöyle opCall() uygulamalı kapsamlı bir örnek yaptım, şahane çalışıyor:

string bar = "_character() {"; // TEST İÇİN

bool string_mi(S)() {
  import std.traits;
  enum Err { ch1 = "Sadece char!" }
  static assert(isSomeString!S ||
                isSomeChar!S, Err.ch1);
  return true;
}

void foo(S)(S s) in(string_mi!S()) {
    bar ~= s;
}

static struct SonEk {
    string ek;

    this(string str) {
      this.ek = str;
    }
    string opCall(bool lf) {
      if(lf) ek ~='\n';
      return ek;
    }
}

void main()
{
  import std.stdio;
  auto test = SonEk("}");
  test(true).foo();
  //foo(true); // derleme hatası
  //foo(1); // derleme hatası
  //foo(1.1); // derleme hatası
  bar.writeln("-SATIR SONU-");
}
**ÇIKTISI:**
> _character() {}
> -SATIR SONU-
> Compilation finished successfully.

Başarılar...

On Wednesday, 8 June 2022 at 16:17:43 UTC, Ali Çehreli wrote:

enum Err { ch1 = "Sadece char!" }

Hayır, bütün hataları Err isminde bir enum altında toparlamak için yazıyorum. Belki programlama tekniği açısından yanlış yapıyor olabilirim. Çünkü koda tekrar dönüp baktığımda, örneğin "ch1 de neymiş" diyeceğim. Gerçi kodu okumasını bilen "hata1" deyip geçiştirmek bile sorun değil.

Bir başka amacım ise belgelendirme ile vakit kaybetmemek. Yani kısaca, "stack boş", "length uzadı", "geçersiz unicode" vb. deyip geçtim. Kendimi kodu yazmaya odaklıyorum, text'leri enum'lara itekledim (teşbihte hata olmaz 😀) ve arada TO-DO comment atıyorum.

On Wednesday, 8 June 2022 at 16:17:43 UTC, Ali Çehreli wrote:

Bunu bilmiyordum hocam, bilgi için teşekkürler. Arada kod yazma teknikleri, kolaylıkları açısından önerilerde bulunursanız, inanın çok feyzleniyoruz. Örneğin
şu TO-DO yazıp daha sonra bakma olayına kendimi alıştırdım. DITTO nedir onu anlamıyorum gerçi sözlükten baksam bulurum da. Başka neler var?

On Wednesday, 8 June 2022 at 16:17:43 UTC, Ali Çehreli wrote:

void foo(S)(S s) in(string_mi!S()) {
     bar ~= s;
}

Örneğin bunu "stack boş" hatası için kullandım. Burada tartıştığımız isSome... olanaklarını test etmek içindi. Asıl kodda ne static var, ne de modüller arası string...

On Wednesday, 8 June 2022 at 16:17:43 UTC, Ali Çehreli wrote:

static struct SonEk {

Bunu anlamadım hocam ama zaten ne SonEk diye bir şey var ne de static bir yapı. Static öğeleri dikkatli kullanmaya çslışıyorum. Sizin SpellOut'u yazarken hızlı olması ve bellekte tek bir bölgeyi kullanmak için static buffer kullandığınızı hatırlıyorum.

Merak edenler olursa SONY-1: Short Scale Numbers başlığına bakabilir.

Şimdi aklıma geldi de yeni bir "Siz Olsanız Nasıl Yapardınız" meydan okumadının vakti gelmiş. Ama henüz aklıma bir şey gelmiyor...😀

Saygılar...