Alan çözümleme sırasını yönetme

Multiple Query Execution tarafından sağlanan @export direktifinin amacı, bir alanın (veya alan kümesinin) değerini bir değişkene aktarmak ve bunu sorguda başka bir yerde kullanmaktır.

Bu direktif, değeri değişkene aktarmadan önce değişkenin okunması durumunda çalışmaz. Bu nedenle motorun alan yürütme sırasını kontrol etmenin bir yolunu sağlaması gerekmektedir.

Gato GraphQL, sorgunun kendisi aracılığıyla alan yürütme sırasını yönetmenin bir yolunu sunar. Motor, her tür için yinelemeli olarak veri yükler; önce sorguda karşılaştığı ilk türdeki tüm alanları çözer, ardından sorguda karşılaştığı ikinci türdeki tüm alanları çözer ve işlenecek tür kalmayana kadar bu şekilde devam eder.

Örneğin, Director, Film ve Actor türündeki nesneleri içeren şu sorgu:

{
  directors {
    name
    films {
      title
      actors {
        name
      }
    }
  }
}Copy

...GraphQL motoru tarafından şu sırayla çözümlenir:

İşlendikten sonra, yüklenmemiş verileri almak için (örneğin: ek nesnelerden veya halihazırda yüklenmiş nesnelerin ek alanlarından) bir tür sorguda tekrar referans alınırsa, tür yineleme listesinin sonuna yeniden eklenir.

Örneğin, Actor'ın preferredDirector alanını da sorgularsak (bu alan Director türünde bir nesne döndürür):

{
  directors {
    name
    films {
      title
      actors {
        name
        preferredDirector {
          name
        }
      }
    }
  }
}Copy

...GraphQL motoru sorguyu şu sırayla işler:

Tek bir sorguda @export yürütmek için bunun nasıl işlediğini görelim. İlk denemede, alan yürütme sırasını düşünmeden normalde yapacağımız gibi sorguyu oluştururuz:

query GetPostsAuthorNames {
  user(by: { id: 1 }) {
    name @export(as: "authorName")
  }
  posts(filter: { search: $authorName }) {
    id
    title
  }
}Copy

Sorgu çalıştırıldığında şu yanıtı üretir:

...ve şu hatayı içerir:

{
  "errors": [
    {
      "message": "Expression 'authorName' is undefined",
    }
  ]
}Copy

Bu hata, $authorName değişkeni okunduğunda henüz ayarlanmamış olduğu anlamına gelir; undefined durumundaydı.

Bunun neden olduğunu görelim. Öncelikle, sorguda hangi türlerin göründüğünü aşağıda yorum olarak eklenmiş haliyle analiz edelim:

# Type: Root
query GetPostsAuthorNames {
  # Type: User
  user(by: {id: 1}) {
    # Type: String
    name @export(as: "authorName")
  }
  # Type: Post
  posts(filter: { search: $authorName }) {
    # Type: ID
    id
    # Type: String
    title
  }
}Copy

Türleri işlemek ve verilerini yüklemek için veri yükleme motoru, Root sorgu türünü bir FIFO (First-In, First-Out, "ilk giren ilk çıkar") listesine ekler; bu sayede [Root], algoritmaya iletilen başlangıç listesi olur ve ardından türler üzerinde sıralı olarak şu şekilde yineler:

Burada sorunu görebiliriz: @export 2b adımında yürütülür, ancak 1b adımında okunmuştur.

Alan yürütme akışını kontrol etmemiz gereken yer burasıdır. Uygulanan çözüm, Root türünden self alanını yapay olarak sorgulayarak aktarılan değişkenin ne zaman okunacağını geciktirmektir.

self alanı, adından da anlaşılacağı gibi aynı nesneyi döndürür; Root nesnesine uygulandığında aynı Root nesnesini döndürür. "Zaten kök nesneye sahipsem, neden onu tekrar almam gereksin?" diye merak edebilirsiniz. Çünkü motorun algoritması bu yeni Root referansını FIFO listesinin sonuna eklemek zorunda kalacak ve biz yinelemelerin her birinden önce veya sonra sorgulanan alanları bilinçli olarak dağıtabiliriz.

Bu nedenle posts(filter:{ search: $authorName }) alanı yukarıdaki sorguda bir self alanının içine yerleştirilmiştir ve sorgu çalıştırıldığında beklenen yanıtı üretir:

query GetPostsAuthorNames {
  user(by: {id: 1}) {
    name @export(as: "authorName")
  }
  self {
    posts(filter: { search: $authorName }) {
      id
      title
    }
  }
}Copy

Bu sorgunun neden düzgün çalıştığını anlamak için türlerin işlenme sırasını inceleyelim:

Artık sorunun çözüldüğünü görebiliriz: @export 2b adımında yürütülür ve 3b adımında okunur.

Multiple Query Execution, sorguları ayrıştırırken tam olarak bunu yapar: GraphQL belgesini self alanları ekleyerek dönüştürür; böylece her işlemdeki alanlar yalnızca önceki tüm işlemlerdeki tüm alanlar çözümlendikten sonra yürütülür.