Go programlama dili, basitli\u011fi, verimlili\u011fi ve e\u015fzamanl\u0131l\u0131k yetenekleriyle bilinir. Ancak, dilin ilk \u00e7\u0131kt\u0131\u011f\u0131 y\u0131llardan itibaren en \u00e7ok tart\u0131\u015f\u0131lan ve talep edilen \u00f6zelliklerden biri “generics” (genel tipler) olmu\u015ftur. Go 1.18 s\u00fcr\u00fcm\u00fcyle birlikte nihayet dilin \u00e7ekirde\u011fine entegre edilen generics, geli\u015ftiricilere daha esnek, tip g\u00fcvenli ve tekrar kullan\u0131labilir kod yazma imkan\u0131 sunmu\u015ftur. Bu makale, Go’da generics’in ne oldu\u011funu, neden \u00f6nemli oldu\u011funu, nas\u0131l kullan\u0131ld\u0131\u011f\u0131n\u0131 ve en iyi pratiklerini detayl\u0131 bir \u015fekilde ele alacakt\u0131r.<\/p>\n
Generics, bir fonksiyonun, metodun veya tipin belirli bir tipe ba\u011fl\u0131 kalmadan farkl\u0131 tiplerle \u00e7al\u0131\u015fabilmesini sa\u011flayan bir programlama \u00f6zelli\u011fidir. Di\u011fer bir deyi\u015fle, ayn\u0131 mant\u0131\u011f\u0131 farkl\u0131 veri tipleri \u00fczerinde uygulamak i\u00e7in kodu tekrar tekrar yazmak yerine, tek bir genel (generic) yap\u0131 olu\u015fturarak bu sorunu \u00e7\u00f6zer. Go 1.18’den \u00f6nce, Go’da generic benzeri davran\u0131\u015flar elde etmek i\u00e7in * Generics’in Go’ya dahil edilmesiyle, bu sorunlar tip g\u00fcvenli bir \u015fekilde ve dilin do\u011fal yap\u0131s\u0131 i\u00e7inde \u00e7\u00f6z\u00fclebilmektedir. Art\u0131k geli\u015ftiriciler, derleme zaman\u0131nda tip kontrol\u00fc sa\u011flayan ve kod tekrar\u0131n\u0131 \u00f6nemli \u00f6l\u00e7\u00fcde azaltan generic fonksiyonlar, tipler ve metotlar yazabilirler.<\/p>\n Go’da generics’in getirilmesinin temel nedeni, dilin ifade g\u00fcc\u00fcn\u00fc art\u0131rmak ve geli\u015ftiricilerin kar\u015f\u0131la\u015ft\u0131\u011f\u0131 yayg\u0131n sorunlara zarif \u00e7\u00f6z\u00fcmler sunmakt\u0131r. Bu sorunlar\u0131 daha yak\u0131ndan inceleyelim:<\/p>\n * Tekrar Eden Kod (Code Duplication):<\/strong> Go’da s\u0131k\u00e7a kar\u015f\u0131la\u015f\u0131lan bir durum, ayn\u0131 algoritman\u0131n veya veri yap\u0131s\u0131n\u0131n farkl\u0131 tipler i\u00e7in tekrar tekrar yaz\u0131lmas\u0131yd\u0131. \u00d6rne\u011fin, bir dilim (slice) i\u00e7inde bir eleman olup olmad\u0131\u011f\u0131n\u0131 kontrol eden bir Generics, bu zorluklar\u0131 a\u015farak Go’yu daha modern, g\u00fc\u00e7l\u00fc ve geli\u015ftirici dostu bir dil haline getirme yolunda \u00f6nemli bir ad\u0131md\u0131r.<\/p>\n Go’da generics kullanman\u0131n iki ana bile\u015feni vard\u0131r: Tip Parametreleri (Type Parameters)<\/strong> ve Tip K\u0131s\u0131tlamalar\u0131 (Type Constraints)<\/strong>.<\/p>\n Tip parametreleri, bir fonksiyonun, metodun veya tipin belirli bir tip yerine genel bir “yer tutucu” ile tan\u0131mlanmas\u0131n\u0131 sa\u011flar. Bu yer tutucular, \u00e7a\u011fr\u0131ld\u0131klar\u0131nda veya \u00f6rneklendirildiklerinde ger\u00e7ek tiplerle de\u011fi\u015ftirilir. Tip parametreleri, k\u00f6\u015feli parantezler \u00d6rnek:<\/strong><\/p>\n Yukar\u0131daki \u00f6rnekte Tip parametreleri sadece fonksiyonlar i\u00e7in de\u011fil, struct’lar (yap\u0131lar) ve interface’ler i\u00e7in de kullan\u0131labilir:<\/p>\n Burada Tip k\u0131s\u0131tlamalar\u0131, bir tip parametresinin alabilece\u011fi tipleri s\u0131n\u0131rlayan interface’lerdir. Bu interface’ler, tip parametresinin belirli metotlara sahip olmas\u0131n\u0131 veya belirli operat\u00f6rlerle uyumlu olmas\u0131n\u0131 garanti eder.<\/p>\n Go’da iki yerle\u015fik (built-in) k\u0131s\u0131tlama bulunur:<\/p>\n 1. \u00d6rnek: \u00d6zel K\u0131s\u0131tlamalar (Custom Constraints):<\/strong> \u00d6rnek: Say\u0131sal tipler i\u00e7in \u00f6zel k\u0131s\u0131tlama<\/strong><\/p>\n Bu \u00f6rnekte Bir k\u0131s\u0131tlama interface’i, ayn\u0131 zamanda metot imzalar\u0131 da i\u00e7erebilir:<\/p>\n Bu \u00f6rnekte Generics, Go’da bir\u00e7ok farkl\u0131 senaryoda kod tekrar\u0131n\u0131 azaltmak ve tip g\u00fcvenli\u011fini art\u0131rmak i\u00e7in kullan\u0131labilir.<\/p>\n Generics’in en bariz kullan\u0131m alanlar\u0131ndan biri, tip ba\u011f\u0131ms\u0131z veri yap\u0131lar\u0131 (konteyner tipleri) olu\u015fturmakt\u0131r. \u00d6nceden S\u0131ralama, arama, filtreleme, d\u00f6n\u00fc\u015ft\u00fcrme gibi yayg\u0131n algoritmalar da generic olarak yaz\u0131labilir. Bu, farkl\u0131 veri tipleri \u00fczerinde ayn\u0131 mant\u0131\u011f\u0131 uygulamak i\u00e7in kodu tekrar yazma ihtiyac\u0131n\u0131 ortadan kald\u0131r\u0131r.<\/p>\n Daha \u00f6nce de bahsedildi\u011fi gibi, Bu Ne zaman \u00d6rnek:<\/strong><\/p>\n Go’da hem interface’ler hem de generics, esneklik ve tekrar kullan\u0131labilirlik sa\u011flamak i\u00e7in kullan\u0131l\u0131r, ancak farkl\u0131 mekanizmalar ve kullan\u0131m alanlar\u0131na sahiptirler.<\/p>\n Interface’ler:<\/strong> Generics:<\/strong> Birlikte Kullan\u0131m:<\/strong> \u00d6rne\u011fin, Burada Go’da generics’in nas\u0131l uyguland\u0131\u011f\u0131, performans ve derleme zaman\u0131 \u00fczerinde baz\u0131 etkilere sahiptir. Go derleyicisi, generics’i uygulamak i\u00e7in “stenciling” ad\u0131 verilen bir yakla\u015f\u0131m kullan\u0131r.<\/p>\n Stenciling (\u015eablonlama):<\/strong> Performans Etkisi:<\/strong> Genel olarak, Go’daki generics uygulamas\u0131, dilin performans felsefesine uygun olarak tasarlanm\u0131\u015ft\u0131r. Geli\u015ftiricilerin \u00e7o\u011fu durumda, generics kullanman\u0131n performans \u00fczerinde olumsuz bir etkisi oldu\u011funu hissetmeyeceklerdir. Aksine, Generics, Go diline g\u00fc\u00e7l\u00fc bir ara\u00e7 katm\u0131\u015ft\u0131r, ancak her ara\u00e7 gibi, en iyi sonu\u00e7lar\u0131 elde etmek i\u00e7in do\u011fru \u015fekilde kullan\u0131lmas\u0131 gerekir.<\/p>\n * Anlaml\u0131 Tip Parametresi \u0130simleri:<\/strong> Tip parametreleri i\u00e7in * Yorum Sat\u0131rlar\u0131:<\/strong> Generic fonksiyonlar\u0131n veya tiplerin ne i\u015f yapt\u0131\u011f\u0131n\u0131, hangi k\u0131s\u0131tlamalar\u0131 bekledi\u011fini ve neden bu k\u0131s\u0131tlamalar\u0131n se\u00e7ildi\u011fini a\u00e7\u0131klayan yorum sat\u0131rlar\u0131 eklemek \u00f6nemlidir.<\/p>\n Her sorunu generics ile \u00e7\u00f6zmeye \u00e7al\u0131\u015fmak her zaman en iyi yakla\u015f\u0131m de\u011fildir. * En Az K\u0131s\u0131tlay\u0131c\u0131 Olmayan K\u0131s\u0131tlama:<\/strong> Generic kodunuzun ihtiya\u00e7 duydu\u011fu en az k\u0131s\u0131tlay\u0131c\u0131 k\u0131s\u0131tlamay\u0131 se\u00e7in. \u00d6rne\u011fin, sadece Generic kod yazarken de standart Go hata y\u00f6netimi pratiklerini uygulamay\u0131 unutmay\u0131n. Fonksiyonlar\u0131n\u0131z\u0131n beklenen hata senaryolar\u0131n\u0131 ele ald\u0131\u011f\u0131ndan ve uygun Go generics, dilin evriminde \u00f6nemli bir d\u00f6n\u00fcm noktas\u0131d\u0131r. Go 1.18 ile tan\u0131t\u0131lmas\u0131, dilin bir\u00e7ok alanda daha rekabet\u00e7i ve g\u00fc\u00e7l\u00fc hale gelmesini sa\u011flam\u0131\u015ft\u0131r. Gelecekte generics ile ilgili beklentiler ve geli\u015fmeler \u015funlar\u0131 i\u00e7erebilir:<\/p>\n * Standart K\u00fct\u00fcphane Entegrasyonu:<\/strong> Go’nun standart k\u00fct\u00fcphanesi, generics’in yayg\u0131nla\u015fmas\u0131yla birlikte daha fazla generic fonksiyon ve veri yap\u0131s\u0131 i\u00e7erecektir. \u00d6rne\u011fin, Generics, Go’nun gelecekteki geli\u015fiminde merkezi bir rol oynamaya devam edecektir.<\/p>\n Go’da generics’in tan\u0131t\u0131lmas\u0131, dilin ifade g\u00fcc\u00fcn\u00fc \u00f6nemli \u00f6l\u00e7\u00fcde art\u0131ran ve geli\u015ftiricilerin daha esnek, tip g\u00fcvenli ve tekrar kullan\u0131labilir kod yazmalar\u0131n\u0131 sa\u011flayan devrim niteli\u011finde bir ad\u0131md\u0131r. Kod tekrar\u0131n\u0131 azaltma, Generics’i etkili bir \u015fekilde kullanmak i\u00e7in tip parametreleri ve tip k\u0131s\u0131tlamalar\u0131 kavramlar\u0131n\u0131 iyi anlamak, interface{}<\/code> (veya Go 1.18 sonras\u0131 any<\/code>) kullan\u0131m\u0131 veya kod \u00fcretimi (code generation) gibi y\u00f6ntemlere ba\u015fvuruluyordu. Bu yakla\u015f\u0131mlar belirli dezavantajlar\u0131 beraberinde getiriyordu:<\/p>\ninterface{}<\/code> Kullan\u0131m\u0131:<\/strong> interface{}<\/code> (bo\u015f aray\u00fcz), herhangi bir de\u011feri tutabilir. Bu, esneklik sa\u011flasa da, derleme zaman\u0131 tip g\u00fcvenli\u011fini ortadan kald\u0131r\u0131r. De\u011ferlerin ger\u00e7ek tiplerini \u00e7al\u0131\u015fma zaman\u0131nda (runtime) tip d\u00f6n\u00fc\u015f\u00fcmleri (type assertion) ile kontrol etmek gerekir ki bu da potansiyel runtime hatalar\u0131na yol a\u00e7abilir ve kodun okunabilirli\u011fini d\u00fc\u015f\u00fcrebilir.
\n* Kod \u00dcretimi (Code Generation):<\/strong> Farkl\u0131 tipler i\u00e7in ayn\u0131 kodu otomatik olarak olu\u015fturan ara\u00e7lar kullanmak, derleme \u00f6ncesi ek bir ad\u0131m gerektirir ve geli\u015ftirme s\u00fcrecini karma\u015f\u0131kla\u015ft\u0131rabilir.<\/p>\nNeden Generics’e \u0130htiya\u00e7 Duyuldu?<\/h3>\n
Contains<\/code> fonksiyonu yazmak istedi\u011finizde, []int<\/code> i\u00e7in ayr\u0131, []string<\/code> i\u00e7in ayr\u0131, []MyStruct<\/code> i\u00e7in ayr\u0131 fonksiyonlar yazman\u0131z gerekirdi. Bu durum, kod taban\u0131n\u0131 b\u00fcy\u00fct\u00fcyor, bak\u0131m\u0131 zorla\u015ft\u0131r\u0131yor ve hata yapma potansiyelini art\u0131r\u0131yordu.
\n* Tip G\u00fcvenli\u011fi Eksikli\u011fi:<\/strong> interface{}<\/code> kullan\u0131m\u0131, esneklik sa\u011flasa da, tip g\u00fcvenli\u011fini derleme zaman\u0131ndan \u00e7al\u0131\u015fma zaman\u0131na kayd\u0131r\u0131r. Bir interface{}<\/code> de\u011feri \u00fczerinde i\u015flem yapmadan \u00f6nce tipini kontrol etmek (type assertion) zorunludur. Yanl\u0131\u015f bir tip d\u00f6n\u00fc\u015f\u00fcm\u00fc, program\u0131n \u00e7al\u0131\u015fma zaman\u0131nda panic<\/code> ile \u00e7\u00f6kmesine neden olabilir. Generics, bu tip kontrollerini derleme zaman\u0131na ta\u015f\u0131yarak potansiyel hatalar\u0131 erkenden yakalamay\u0131 sa\u011flar.
\n* Konteyner Tipleri ve Algoritmalar:<\/strong> Go’nun standart k\u00fct\u00fcphanesinde, list\/container<\/code> gibi baz\u0131 genel veri yap\u0131lar\u0131 olmas\u0131na ra\u011fmen, bunlar interface{}<\/code> kulland\u0131\u011f\u0131 i\u00e7in yukar\u0131da bahsedilen tip g\u00fcvenli\u011fi sorunlar\u0131n\u0131 ta\u015f\u0131yordu. Generics ile birlikte, bir Stack<\/code>, Queue<\/code>, LinkedList<\/code> veya Tree<\/code> gibi veri yap\u0131lar\u0131n\u0131, i\u00e7erdikleri elemanlar\u0131n tipinden ba\u011f\u0131ms\u0131z olarak, tam tip g\u00fcvenli\u011fiyle tan\u0131mlamak m\u00fcmk\u00fcn hale geldi. Ayn\u0131 \u015fekilde, Map<\/code>, Filter<\/code>, Reduce<\/code> gibi yayg\u0131n algoritmalar da generic olarak yaz\u0131labilir.
\n* Kod \u00dcretiminin Karma\u015f\u0131kl\u0131\u011f\u0131:<\/strong> Baz\u0131 durumlarda, interface{}<\/code> kullanmak yerine, farkl\u0131 tipler i\u00e7in \u00f6zel kod bloklar\u0131 olu\u015fturan kod \u00fcreticileri (code generators) kullan\u0131l\u0131rd\u0131. Bu ara\u00e7lar, geli\u015ftirme s\u00fcrecine ek bir ad\u0131m ekler, ba\u011f\u0131ml\u0131l\u0131klar\u0131 art\u0131r\u0131r ve derleme s\u00fcrecini karma\u015f\u0131kla\u015ft\u0131rabilirdi. Generics, \u00e7o\u011fu durumda bu t\u00fcr ara\u00e7lara olan ihtiyac\u0131 ortadan kald\u0131r\u0131r.<\/p>\nGenerics Temelleri: Type Parameters ve Type Constraints<\/h3>\n
Tip Parametreleri (Type Parameters)<\/h4>\n
[]<\/code> i\u00e7inde belirtilir.<\/p>\npackage main\n\nimport \"fmt\"\n\n\/\/ PrintSlice ad\u0131nda generic bir fonksiyon tan\u0131mlad\u0131k.\n\/\/ T bir tip parametresidir ve herhangi bir tip olabilir (any).\nfunc PrintSlice[T any](s []T) {\n\tfor i, v := range s {\n\t\tfmt.Printf(\"%d: %v\\n\", i, v)\n\t}\n}\n\nfunc main() {\n\t\/\/ int dilimi ile PrintSlice fonksiyonunu \u00e7a\u011f\u0131r\u0131yoruz.\n\tintSlice := []int{1, 2, 3, 4, 5}\n\tfmt.Println(\"Integer dilimi:\")\n\tPrintSlice(intSlice)\n\n\t\/\/ string dilimi ile PrintSlice fonksiyonunu \u00e7a\u011f\u0131r\u0131yoruz.\n\tstringSlice := []string{\"elma\", \"armut\", \"kiraz\"}\n\tfmt.Println(\"\\nString dilimi:\")\n\tPrintSlice(stringSlice)\n\n\t\/\/ float64 dilimi ile PrintSlice fonksiyonunu \u00e7a\u011f\u0131r\u0131yoruz.\n\tfloatSlice := []float64{1.1, 2.2, 3.3}\n\tfmt.Println(\"\\nFloat dilimi:\")\n\tPrintSlice(floatSlice)\n}<\/code><\/pre>\nPrintSlice[T any]<\/code> ifadesi, T<\/code> ad\u0131nda bir tip parametresi tan\u0131mlar. any<\/code> anahtar kelimesi, T<\/code>‘nin herhangi bir tip olabilece\u011fi anlam\u0131na gelir. Bu fonksiyonu \u00e7a\u011f\u0131r\u0131rken, Go derleyicisi T<\/code> i\u00e7in uygun tipi otomatik olarak \u00e7\u0131kar\u0131r (type inference). \u00d6rne\u011fin, PrintSlice(intSlice)<\/code> \u00e7a\u011fr\u0131ld\u0131\u011f\u0131nda T<\/code> tipi int<\/code> olarak \u00e7\u0131kar\u0131l\u0131r.<\/p>\n\/\/ Generic bir Stack yap\u0131s\u0131\ntype Stack[T any] struct {\n\telements []T\n}\n\nfunc (s *Stack[T]) Push(item T) {\n\ts.elements = append(s.elements, item)\n}\n\nfunc (s *Stack[T]) Pop() (T, bool) {\n\tif len(s.elements) == 0 {\n\t\tvar zero T \/\/ T'nin s\u0131f\u0131r de\u011ferini d\u00f6nd\u00fcr\u00fcr\n\t\treturn zero, false\n\t}\n\tlastIndex := len(s.elements) - 1\n\titem := s.elements[lastIndex]\n\ts.elements = s.elements[:lastIndex]\n\treturn item, true\n}<\/code><\/pre>\nStack[T any]<\/code> generic bir yap\u0131 tan\u0131mlar. Bu sayede Stack[int]<\/code>, Stack[string]<\/code> gibi farkl\u0131 tiplerde y\u0131\u011f\u0131nlar olu\u015fturabiliriz.<\/p>\nTip K\u0131s\u0131tlamalar\u0131 (Type Constraints)<\/h4>\n
any<\/code> anahtar kelimesi, tip parametresinin herhangi bir tip olabilece\u011fini belirtir. Ancak \u00e7o\u011fu zaman, generic fonksiyonumuzun veya tipimizin belirli \u00f6zelliklere sahip tiplerle \u00e7al\u0131\u015fmas\u0131n\u0131 isteriz. \u00d6rne\u011fin, say\u0131sal bir de\u011fer \u00fczerinde matematiksel i\u015flemler yapmak veya kar\u015f\u0131la\u015ft\u0131rma operat\u00f6rleri kullanmak gibi. \u0130\u015fte bu noktada tip k\u0131s\u0131tlamalar\u0131 (type constraints)<\/strong> devreye girer.<\/p>\nany<\/code>:<\/strong> Daha \u00f6nce de belirtildi\u011fi gibi, interface{}<\/code> ile ayn\u0131 anlama gelir ve hi\u00e7bir k\u0131s\u0131tlama getirmez. Tip parametresinin herhangi bir tip olabilece\u011fini belirtir.
\n2. comparable<\/code>:<\/strong> Bu k\u0131s\u0131tlama, tip parametresinin ==<\/code> ve !=<\/code> operat\u00f6rleri ile kar\u015f\u0131la\u015ft\u0131r\u0131labilir olmas\u0131 gerekti\u011fini belirtir. Say\u0131sal tipler, string’ler, boolean’lar, pointer’lar, kanallar (channels) ve comparable<\/code> alanlara sahip struct’lar bu k\u0131s\u0131tlamay\u0131 kar\u015f\u0131lar. Dilimler (slices), map’ler ve fonksiyonlar comparable<\/code> de\u011fildir.<\/p>\ncomparable<\/code> k\u0131s\u0131tlamas\u0131 ile Contains<\/code> fonksiyonu<\/strong><\/p>\n\/\/ Contains fonksiyonu, bir dilimde belirli bir eleman\u0131n olup olmad\u0131\u011f\u0131n\u0131 kontrol eder.\n\/\/ T tip parametresi comparable olmal\u0131d\u0131r, yani == ve != ile kar\u015f\u0131la\u015ft\u0131r\u0131labilir.\nfunc Contains[T comparable](slice []T, element T) bool {\n\tfor _, v := range slice {\n\t\tif v == element { \/\/ T tipi comparable oldu\u011fu i\u00e7in == operat\u00f6r\u00fcn\u00fc kullanabiliriz.\n\t\t\treturn true\n\t\t}\n\t}\n\treturn false\n}\n\nfunc main() {\n\tintSlice := []int{1, 2, 3, 4, 5}\n\tfmt.Println(\"intSlice 3 i\u00e7eriyor mu?\", Contains(intSlice, 3)) \/\/ true\n\tfmt.Println(\"intSlice 6 i\u00e7eriyor mu?\", Contains(intSlice, 6)) \/\/ false\n\n\tstringSlice := []string{\"elma\", \"armut\", \"kiraz\"}\n\tfmt.Println(\"stringSlice 'armut' i\u00e7eriyor mu?\", Contains(stringSlice, \"armut\")) \/\/ true\n\tfmt.Println(\"stringSlice 'muz' i\u00e7eriyor mu?\", Contains(stringSlice, \"muz\")) \/\/ false\n\n\t\/\/ []int veya map[string]int gibi comparable olmayan tiplerle kullan\u0131lamaz.\n\t\/\/ \u00d6rne\u011fin: Contains([][]int{{1}}, []int{1}) derleme hatas\u0131 verir.\n}<\/code><\/pre>\n
\nany<\/code> ve comparable<\/code> d\u0131\u015f\u0131nda, kendi interface’lerimizi tan\u0131mlayarak \u00f6zel k\u0131s\u0131tlamalar olu\u015fturabiliriz. Bu interface’ler, bir tipin belirli metotlara sahip olmas\u0131n\u0131 veya belirli tiplerin birle\u015fimi (union) olmas\u0131n\u0131 sa\u011flayabilir.<\/p>\n\/\/ Number interface'i, int, int8, int16, ... float32, float64 gibi\n\/\/ t\u00fcm say\u0131sal tipleri kapsayan bir k\u0131s\u0131tlamad\u0131r.\n\/\/ Bu, bir interface'in tip listesi (type list) olarak kullan\u0131lmas\u0131na \u00f6rnektir.\ntype Number interface {\n\tint | int8 | int16 | int32 | int64 |\n\t\tuint | uint8 | uint16 | uint32 | uint64 | uintptr |\n\t\tfloat32 | float64\n}\n\n\/\/ Add fonksiyonu, Number k\u0131s\u0131tlamas\u0131na uyan herhangi iki say\u0131y\u0131 toplar.\nfunc Add[T Number](a, b T) T {\n\treturn a + b \/\/ T tipi Number k\u0131s\u0131tlamas\u0131na uydu\u011fu i\u00e7in + operat\u00f6r\u00fcn\u00fc kullanabiliriz.\n}\n\nfunc main() {\n\tfmt.Println(\"10 + 20 =\", Add(10, 20)) \/\/ T int olarak \u00e7\u0131kar\u0131l\u0131r\n\tfmt.Println(\"10.5 + 20.3 =\", Add(10.5, 20.3)) \/\/ T float64 olarak \u00e7\u0131kar\u0131l\u0131r\n\n\tvar x int32 = 5\n\tvar y int32 = 7\n\tfmt.Println(\"int32 5 + 7 =\", Add(x, y)) \/\/ T int32 olarak \u00e7\u0131kar\u0131l\u0131r\n\n\t\/\/ Add(\"hello\", \"world\") derleme hatas\u0131 verir \u00e7\u00fcnk\u00fc string Number de\u011fildir.\n}<\/code><\/pre>\nNumber<\/code> interface’i, |<\/code> operat\u00f6r\u00fc ile bir tipler listesini tan\u0131mlar. Bu, Number<\/code> k\u0131s\u0131tlamas\u0131na uyan bir tipin, listedeki tiplerden herhangi biri olmas\u0131 gerekti\u011fi anlam\u0131na gelir. Bu sayede Add<\/code> fonksiyonu, t\u00fcm say\u0131sal tiplerle tip g\u00fcvenli bir \u015fekilde \u00e7al\u0131\u015fabilir.<\/p>\ntype Stringer interface {\n\tString() string\n}\n\n\/\/ GenericPrint fonksiyonu, Stringer k\u0131s\u0131tlamas\u0131na uyan herhangi bir tipin String() metodunu \u00e7a\u011f\u0131r\u0131r.\nfunc GenericPrint[T Stringer](s T) {\n\tfmt.Println(s.String())\n}\n\ntype MyStruct struct {\n\tName string\n}\n\nfunc (m MyStruct) String() string {\n\treturn \"MyStruct: \" + m.Name\n}\n\nfunc main() {\n\tmyVal := MyStruct{Name: \"Test\"}\n\tGenericPrint(myVal) \/\/ MyStruct, Stringer interface'ini uygulad\u0131\u011f\u0131 i\u00e7in sorunsuz \u00e7al\u0131\u015f\u0131r.\n\t\/\/ GenericPrint(123) derleme hatas\u0131 verir \u00e7\u00fcnk\u00fc int, Stringer interface'ini uygulamaz.\n}<\/code><\/pre>\nGenericPrint<\/code> fonksiyonu, Stringer<\/code> k\u0131s\u0131tlamas\u0131na sahip tipleri kabul eder. Bu da, kabul edilen her tipin bir String() string<\/code> metoduna sahip olmas\u0131n\u0131 garanti eder.<\/p>\nGenerics Kullan\u0131m Senaryolar\u0131<\/h3>\n
Konteyner Tipleri (Container Types)<\/h4>\n
interface{}<\/code> ile yaz\u0131lan ancak tip g\u00fcvenli\u011fi sorunlar\u0131 olan Stack<\/code>, Queue<\/code>, LinkedList<\/code>, Tree<\/code> gibi yap\u0131lar art\u0131k generic olarak tan\u0131mlanabilir.<\/p>\n\/\/ Generic bir Kuyruk (Queue) yap\u0131s\u0131\ntype Queue[T any] struct {\n\telements []T\n}\n\n\/\/ Enqueue metodu, kuyru\u011fa eleman ekler.\nfunc (q *Queue[T]) Enqueue(item T) {\n\tq.elements = append(q.elements, item)\n}\n\n\/\/ Dequeue metodu, kuyruktan eleman \u00e7\u0131kar\u0131r ve d\u00f6nd\u00fcr\u00fcr.\n\/\/ Kuyruk bo\u015fsa, T'nin s\u0131f\u0131r de\u011ferini ve false d\u00f6nd\u00fcr\u00fcr.\nfunc (q *Queue[T]) Dequeue() (T, bool) {\n\tif q.IsEmpty() {\n\t\tvar zero T\n\t\treturn zero, false\n\t}\n\titem := q.elements[0]\n\tq.elements = q.elements[1:]\n\treturn item, true\n}\n\n\/\/ IsEmpty metodu, kuyru\u011fun bo\u015f olup olmad\u0131\u011f\u0131n\u0131 kontrol eder.\nfunc (q *Queue[T]) IsEmpty() bool {\n\treturn len(q.elements) == 0\n}\n\nfunc main() {\n\t\/\/ int tipinde bir kuyruk olu\u015ftur\n\tintQueue := &Queue[int]{}\n\tintQueue.Enqueue(10)\n\tintQueue.Enqueue(20)\n\tfmt.Println(\"Int kuyruk bo\u015f mu?\", intQueue.IsEmpty()) \/\/ false\n\n\tval, ok := intQueue.Dequeue()\n\tif ok {\n\t\tfmt.Println(\"Kuyruktan \u00e7\u0131kar\u0131lan int:\", val) \/\/ 10\n\t}\n\n\tval, ok = intQueue.Dequeue()\n\tif ok {\n\t\tfmt.Println(\"Kuyruktan \u00e7\u0131kar\u0131lan int:\", val) \/\/ 20\n\t}\n\n\t_, ok = intQueue.Dequeue()\n\tfmt.Println(\"Kuyruk bo\u015f mu?\", intQueue.IsEmpty()) \/\/ true\n\tfmt.Println(\"Bo\u015f kuyruktan \u00e7\u0131karma ba\u015far\u0131l\u0131 m\u0131?\", ok) \/\/ false\n\n\t\/\/ string tipinde bir kuyruk olu\u015ftur\n\tstringQueue := &Queue[string]{}\n\tstringQueue.Enqueue(\"bir\")\n\tstringQueue.Enqueue(\"iki\")\n\tstrVal, strOk := stringQueue.Dequeue()\n\tif strOk {\n\t\tfmt.Println(\"Kuyruktan \u00e7\u0131kar\u0131lan string:\", strVal) \/\/ bir\n\t}\n}<\/code><\/pre>\nAlgoritmalar<\/h4>\n
\/\/ Filter fonksiyonu, bir dilimi belirli bir ko\u015fula g\u00f6re filtreler.\nfunc Filter[T any](slice []T, predicate func(T) bool) []T {\n\tvar result []T\n\tfor _, v := range slice {\n\t\tif predicate(v) {\n\t\t\tresult = append(result, v)\n\t\t}\n\t}\n\treturn result\n}\n\n\/\/ Map fonksiyonu, bir dilimdeki her eleman\u0131 belirli bir fonksiyona g\u00f6re d\u00f6n\u00fc\u015ft\u00fcr\u00fcr.\nfunc Map[T, U any](slice []T, fn func(T) U) []U {\n\tresult := make([]U, len(slice))\n\tfor i, v := range slice {\n\t\tresult[i] = fn(v)\n\t}\n\treturn result\n}\n\n\/\/ Reduce fonksiyonu, bir dilimdeki elemanlar\u0131 tek bir de\u011fere indirger.\nfunc Reduce[T, U any](slice []T, accumulator func(U, T) U, initial U) U {\n\tacc := initial\n\tfor _, v := range slice {\n\t\tacc = accumulator(acc, v)\n\t}\n\treturn acc\n}\n\nfunc main() {\n\tnumbers := []int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}\n\n\t\/\/ \u00c7ift say\u0131lar\u0131 filtrele\n\tevenNumbers := Filter(numbers, func(n int) bool { return n%2 == 0 })\n\tfmt.Println(\"\u00c7ift say\u0131lar:\", evenNumbers) \/\/ [2 4 6 8 10]\n\n\t\/\/ Her say\u0131n\u0131n karesini al\n\tsquares := Map(numbers, func(n int) int { return n * n })\n\tfmt.Println(\"Say\u0131lar\u0131n kareleri:\", squares) \/\/ [1 4 9 16 25 36 49 64 81 100]\n\n\t\/\/ T\u00fcm say\u0131lar\u0131 topla\n\tsum := Reduce(numbers, func(acc int, n int) int { return acc + n }, 0)\n\tfmt.Println(\"Say\u0131lar\u0131n toplam\u0131:\", sum) \/\/ 55\n\n\t\/\/ String dilimi \u00fczerinde Map kullan\u0131m\u0131\n\tnames := []string{\"ali\", \"veli\", \"ay\u015fe\"}\n\tupperNames := Map(names, func(s string) string { return strings.ToUpper(s) })\n\tfmt.Println(\"B\u00fcy\u00fck harfli isimler:\", upperNames) \/\/ [ALI VELI AY\u015eE]\n}<\/code><\/pre>\nFonksiyonel Programlama Desenleri<\/h4>\n
Map<\/code>, Filter<\/code>, Reduce<\/code> gibi fonksiyonlar, fonksiyonel programlama dillerinde yayg\u0131n olarak bulunur. Go’da generics sayesinde bu desenleri tip g\u00fcvenli ve esnek bir \u015fekilde uygulamak art\u0131k m\u00fcmk\u00fcnd\u00fcr. Bu, \u00f6zellikle veri i\u015fleme ve d\u00f6n\u00fc\u015f\u00fcm senaryolar\u0131nda kodun daha temiz ve ifade edici olmas\u0131n\u0131 sa\u011flar.<\/p>\ncomparable<\/code> Constraint<\/h3>\ncomparable<\/code> k\u0131s\u0131tlamas\u0131, bir tip parametresinin ==<\/code> ve !=<\/code> operat\u00f6rleri ile kar\u015f\u0131la\u015ft\u0131r\u0131labilir olmas\u0131 gerekti\u011fini belirtir. Bu, \u00f6zellikle arama, k\u00fcme (set) i\u015flemleri veya e\u015fsiz elemanlar\u0131 bulma gibi senaryolarda \u00e7ok kullan\u0131\u015fl\u0131d\u0131r.<\/p>\ncomparable<\/code> tipler \u015funlard\u0131r:
\n* Boolean tipler (bool<\/code>)
\n* Say\u0131sal tipler (int<\/code>, float64<\/code>, complex128<\/code> vb.)
\n* String tipler (string<\/code>)
\n Pointer tipler (<\/em>T<\/code>)
\n* Kanal tipleri (chan T<\/code>)
\n* Interface tipleri (e\u011fer i\u00e7erdi\u011fi dinamik tip comparable<\/code> ise)
\n* Struct tipleri (e\u011fer t\u00fcm alanlar\u0131 comparable<\/code> ise)
\n* Array tipleri (e\u011fer eleman tipleri comparable<\/code> ise)<\/p>\ncomparable<\/code> olmayan tipler:
\n* Dilimler ([]T<\/code>)
\n* Map’ler (map[K]V<\/code>)
\n* Fonksiyonlar (func(...)<\/code>)<\/p>\ncomparable<\/code> ile bir Set<\/code> veri yap\u0131s\u0131 \u00f6rne\u011fi:<\/strong><\/p>\n\/\/ Set[T comparable] generic bir k\u00fcme yap\u0131s\u0131 tan\u0131mlar.\n\/\/ T tipi comparable olmal\u0131d\u0131r ki elemanlar\u0131 kar\u015f\u0131la\u015ft\u0131rabilelim.\ntype Set[T comparable] struct {\n\telements map[T]struct{}\n}\n\n\/\/ NewSet, yeni bir Set \u00f6rne\u011fi olu\u015fturur.\nfunc NewSet[T comparable]() *Set[T] {\n\treturn &Set[T]{\n\t\telements: make(map[T]struct{}),\n\t}\n}\n\n\/\/ Add metodu, k\u00fcmeye bir eleman ekler.\nfunc (s *Set[T]) Add(item T) {\n\ts.elements[item] = struct{}{}\n}\n\n\/\/ Contains metodu, k\u00fcmede bir eleman\u0131n olup olmad\u0131\u011f\u0131n\u0131 kontrol eder.\nfunc (s *Set[T]) Contains(item T) bool {\n\t_, ok := s.elements[item]\n\treturn ok\n}\n\n\/\/ Remove metodu, k\u00fcmeden bir eleman\u0131 siler.\nfunc (s *Set[T]) Remove(item T) {\n\tdelete(s.elements, item)\n}\n\n\/\/ Size metodu, k\u00fcmedeki eleman say\u0131s\u0131n\u0131 d\u00f6nd\u00fcr\u00fcr.\nfunc (s *Set[T]) Size() int {\n\treturn len(s.elements)\n}\n\nfunc main() {\n\tintSet := NewSet[int]()\n\tintSet.Add(1)\n\tintSet.Add(2)\n\tintSet.Add(3)\n\tintSet.Add(2) \/\/ Zaten var, eklenmez\n\n\tfmt.Println(\"intSet 1 i\u00e7eriyor mu?\", intSet.Contains(1)) \/\/ true\n\tfmt.Println(\"intSet 4 i\u00e7eriyor mu?\", intSet.Contains(4)) \/\/ false\n\tfmt.Println(\"intSet boyutu:\", intSet.Size()) \/\/ 3\n\n\tintSet.Remove(2)\n\tfmt.Println(\"intSet 2 i\u00e7eriyor mu (silindikten sonra)?\", intSet.Contains(2)) \/\/ false\n\tfmt.Println(\"intSet boyutu (silindikten sonra):\", intSet.Size()) \/\/ 2\n\n\tstringSet := NewSet[string]()\n\tstringSet.Add(\"apple\")\n\tstringSet.Add(\"banana\")\n\tfmt.Println(\"stringSet 'apple' i\u00e7eriyor mu?\", stringSet.Contains(\"apple\")) \/\/ true\n}<\/code><\/pre>\nSet<\/code> yap\u0131s\u0131, comparable<\/code> k\u0131s\u0131tlamas\u0131 sayesinde map<\/code> anahtar\u0131 olarak kullan\u0131labilecek herhangi bir tip ile \u00e7al\u0131\u015fabilir.<\/p>\nany<\/code> Constraint<\/h3>\nany<\/code> k\u0131s\u0131tlamas\u0131, Go 1.18 ile birlikte tan\u0131t\u0131lan ve interface{}<\/code> ile tamamen ayn\u0131 anlama gelen bir takma add\u0131r (alias). Bir tip parametresine any<\/code> k\u0131s\u0131tlamas\u0131 uygulamak, o tip parametresinin herhangi bir Go tipiyle de\u011fi\u015ftirilebilece\u011fi anlam\u0131na gelir. Bu, en az k\u0131s\u0131tlay\u0131c\u0131 k\u0131s\u0131tlamad\u0131r.<\/p>\nany<\/code> kullanmal\u0131y\u0131z?
\n* Generic kodunuzun, tip hakk\u0131nda hi\u00e7bir \u00f6zel varsay\u0131m yapmad\u0131\u011f\u0131 durumlarda. Yani, tip \u00fczerinde herhangi bir metot \u00e7a\u011f\u0131rmayacak, herhangi bir operat\u00f6r kullanmayacak veya belirli bir yap\u0131s\u0131 olmas\u0131n\u0131 beklemeyecekseniz.
\n* Sadece bir de\u011feri bir yerden al\u0131p ba\u015fka bir yere aktard\u0131\u011f\u0131n\u0131z veya ekrana yazd\u0131rd\u0131\u011f\u0131n\u0131z durumlarda.<\/p>\n\/\/ Identity fonksiyonu, ald\u0131\u011f\u0131 de\u011feri oldu\u011fu gibi geri d\u00f6nd\u00fcr\u00fcr.\n\/\/ T any oldu\u011fu i\u00e7in herhangi bir tip ile \u00e7al\u0131\u015fabilir.\nfunc Identity[T any](val T) T {\n\treturn val\n}\n\nfunc main() {\n\tfmt.Println(\"Identity(5) =\", Identity(5)) \/\/ T int\n\tfmt.Println(\"Identity(\\\"hello\\\") =\", Identity(\"hello\")) \/\/ T string\n\tfmt.Println(\"Identity(true) =\", Identity(true)) \/\/ T bool\n\n\ttype Person struct { Name string }\n\tp := Person{Name: \"Alice\"}\n\tfmt.Println(\"Identity(p) =\", Identity(p)) \/\/ T Person\n}<\/code><\/pre>\nany<\/code> k\u0131s\u0131tlamas\u0131, interface{}<\/code>‘\u0131n yerini alarak kodun daha modern ve okunabilir olmas\u0131n\u0131 sa\u011flar. Ancak, any<\/code> kullan\u0131rken, generic kodunuzun tip g\u00fcvenli\u011fi avantajlar\u0131n\u0131 tam olarak kullanamayaca\u011f\u0131n\u0131z\u0131 unutmay\u0131n; \u00e7\u00fcnk\u00fc derleyici, any<\/code> bir tip parametresi \u00fczerinde herhangi bir spesifik metot veya operat\u00f6r\u00fcn varl\u0131\u011f\u0131n\u0131 garanti edemez. Daha spesifik ihtiya\u00e7lar i\u00e7in \u00f6zel k\u0131s\u0131tlamalar tan\u0131mlamak daha iyidir.<\/p>\nInterface’ler ve Generics Aras\u0131ndaki Farklar<\/h3>\n
\n* Polimorfizm:<\/strong> Davran\u0131\u015fsal polimorfizm sa\u011flar. Bir interface, belirli bir metot k\u00fcmesini tan\u0131mlar ve bu metotlar\u0131 uygulayan herhangi bir tip, o interface’i kar\u015f\u0131lar.
\n* Davran\u0131\u015fsal K\u0131s\u0131tlamalar:<\/strong> Bir tipin ne yapabilece\u011fini (hangi metotlara sahip oldu\u011funu) tan\u0131mlar.
\n* \u00c7al\u0131\u015fma Zaman\u0131 (Runtime) Dinamik Dispatch:<\/strong> Interface metot \u00e7a\u011fr\u0131lar\u0131 \u00e7al\u0131\u015fma zaman\u0131nda \u00e7\u00f6z\u00fcmlenir. Derleyici, interface de\u011ferinin alt\u0131nda yatan ger\u00e7ek tipi bilmedi\u011fi i\u00e7in, metodu dinamik olarak bulup \u00e7a\u011f\u0131r\u0131r.
\n* Tip G\u00fcvenli\u011fi:<\/strong> interface{}<\/code> kullan\u0131ld\u0131\u011f\u0131nda derleme zaman\u0131 tip g\u00fcvenli\u011fi azal\u0131r, ancak belirli bir interface kullan\u0131ld\u0131\u011f\u0131nda (\u00f6rne\u011fin io.Reader<\/code>), o interface’i kar\u015f\u0131lamayan tipler derleme hatas\u0131 verir.
\n* \u00d6rnek:<\/strong> io.Reader<\/code> interface’i, Read([]byte) (int, error)<\/code> metoduna sahip herhangi bir tipi kabul eder.<\/p>\n
\n* Parametrik Polimorfizm:<\/strong> Tip parametreleri arac\u0131l\u0131\u011f\u0131yla polimorfizm sa\u011flar. Ayn\u0131 kod mant\u0131\u011f\u0131, farkl\u0131 (ancak k\u0131s\u0131tlamalara uyan) tiplerle derleme zaman\u0131nda \u00e7al\u0131\u015facak \u015fekilde \u00f6zelle\u015ftirilir.
\n* Tip Parametreleri ve K\u0131s\u0131tlamalar\u0131:<\/strong> Bir fonksiyonun veya tipin hangi tiplerle \u00e7al\u0131\u015fabilece\u011fini (tip parametreleri) ve bu tiplerin hangi \u00f6zelliklere sahip olmas\u0131 gerekti\u011fini (k\u0131s\u0131tlamalar) tan\u0131mlar.
\n* Derleme Zaman\u0131 (Compile-time) Tip G\u00fcvenli\u011fi:<\/strong> T\u00fcm tip kontrolleri derleme zaman\u0131nda yap\u0131l\u0131r. Bu, runtime hatalar\u0131n\u0131 \u00f6nler.
\n* Kod Tekrar\u0131n\u0131 Azaltma:<\/strong> Ayn\u0131 algoritman\u0131n veya veri yap\u0131s\u0131n\u0131n farkl\u0131 tipler i\u00e7in tekrar tekrar yaz\u0131lmas\u0131n\u0131 engeller.
\n* \u00d6rnek:<\/strong> func Map[T, U any](slice []T, fn func(T) U) []U<\/code>, farkl\u0131 giri\u015f ve \u00e7\u0131k\u0131\u015f tiplerine sahip dilimler \u00fczerinde \u00e7al\u0131\u015fabilir.<\/p>\n
\nGenerics ve interface’ler birbirinin alternatifi de\u011fil, tamamlay\u0131c\u0131s\u0131d\u0131r. Interface’ler, generic tip parametreleri i\u00e7in k\u0131s\u0131tlama olarak kullan\u0131labilir. Bu, generic kodunuzun belirli davran\u0131\u015flara sahip tiplerle \u00e7al\u0131\u015fmas\u0131n\u0131 sa\u011flarken, ayn\u0131 zamanda derleme zaman\u0131 tip g\u00fcvenli\u011fini korur.<\/p>\nStringer<\/code> interface’ini k\u0131s\u0131tlama olarak kulland\u0131\u011f\u0131m\u0131z GenericPrint<\/code> fonksiyonunu tekrar hat\u0131rlayal\u0131m:<\/p>\ntype Stringer interface {\n\tString() string\n}\n\nfunc GenericPrint[T Stringer](s T) {\n\tfmt.Println(s.String())\n}<\/code><\/pre>\nStringer<\/code> bir interface’tir ve GenericPrint<\/code> fonksiyonu generic’tir. T<\/code> tip parametresi, Stringer<\/code> interface’ini k\u0131s\u0131tlama olarak kullanarak, T<\/code>‘nin String()<\/code> metoduna sahip olmas\u0131n\u0131 garanti eder. Bu, Go’da hem davran\u0131\u015fsal polimorfizmi (interface’ler) hem de parametrik polimorfizmi (generics) birle\u015ftirmenin g\u00fc\u00e7l\u00fc bir yoludur.<\/p>\nPerformans ve Derleme Zaman\u0131 Hususlar\u0131<\/h3>\n
\nBu yakla\u015f\u0131mda, generic bir fonksiyon veya tip, farkl\u0131 tip parametreleri ile kullan\u0131ld\u0131\u011f\u0131nda, derleyici her benzersiz tip kombinasyonu i\u00e7in ayr\u0131 bir “somut” (concrete) versiyonunu olu\u015fturur. \u00d6rne\u011fin, PrintSlice[int]<\/code> ve PrintSlice[string]<\/code> \u00e7a\u011fr\u0131ld\u0131\u011f\u0131nda, derleyici int<\/code> i\u00e7in bir PrintSlice<\/code> versiyonu ve string<\/code> i\u00e7in ba\u015fka bir PrintSlice<\/code> versiyonu olu\u015fturur. Bu, C++’daki template’lere benzer bir yakla\u015f\u0131md\u0131r.<\/p>\n
\n* \u00c7al\u0131\u015fma Zaman\u0131 Performans\u0131:<\/strong> Generics’in \u00e7al\u0131\u015fma zaman\u0131 performans\u0131 genellikle interface{}<\/code> kullan\u0131m\u0131na g\u00f6re daha iyidir. \u00c7\u00fcnk\u00fc interface{}<\/code> dinamik dispatch gerektirirken, generic kod derleme zaman\u0131nda somutla\u015ft\u0131r\u0131ld\u0131\u011f\u0131 i\u00e7in do\u011frudan metot \u00e7a\u011fr\u0131lar\u0131 yapar. Bu, genellikle daha h\u0131zl\u0131 ve daha tahmin edilebilir performans sa\u011flar.
\n* Derleme S\u00fcresi:<\/strong> Her benzersiz tip kombinasyonu i\u00e7in ayr\u0131 bir kod olu\u015fturuldu\u011fu i\u00e7in, \u00e7ok say\u0131da farkl\u0131 tip parametresi ile kullan\u0131lan karma\u015f\u0131k generic kodlar, derleme s\u00fcresini bir miktar art\u0131rabilir. Ancak, Go derleyicisi bu durumu optimize etmek i\u00e7in ak\u0131ll\u0131 algoritmalar kullan\u0131r ve \u00e7o\u011fu durumda bu art\u0131\u015f ihmal edilebilir d\u00fczeydedir.
\n* Binary Boyutu:<\/strong> Stenciling yakla\u015f\u0131m\u0131 nedeniyle, derlenen binary dosyas\u0131n\u0131n boyutu, ayn\u0131 generic fonksiyonun birden \u00e7ok kez somutla\u015ft\u0131r\u0131lmas\u0131 durumunda, generics olmayan kodlara g\u00f6re biraz daha b\u00fcy\u00fck olabilir. Her somutla\u015ft\u0131r\u0131lm\u0131\u015f fonksiyon, binary’de kendi kod kopyas\u0131na sahip olur. Ancak, bu art\u0131\u015f genellikle modern uygulamalar i\u00e7in kabul edilebilir s\u0131n\u0131rlar i\u00e7indedir.<\/p>\ninterface{}<\/code> kullan\u0131m\u0131ndan ge\u00e7i\u015f yapan senaryolarda performans art\u0131\u015f\u0131 bile g\u00f6zlemlenebilir.<\/p>\nGenerics Kullan\u0131m\u0131nda En \u0130yi Pratikler<\/h3>\n
Okunabilirlik ve Anla\u015f\u0131l\u0131rl\u0131k<\/h4>\n
T<\/code>, E<\/code>, K<\/code>, V<\/code> gibi tek harfli isimler yayg\u0131n olsa da, kodun ba\u011flam\u0131na g\u00f6re daha a\u00e7\u0131klay\u0131c\u0131 isimler kullanmak okunabilirli\u011fi art\u0131rabilir. \u00d6rne\u011fin, bir List<\/code> i\u00e7in Item<\/code>, bir Map<\/code> i\u00e7in Key<\/code> ve Value<\/code> gibi.<\/p>\n\/\/ K ve V yerine Key ve Value kullanmak daha a\u00e7\u0131klay\u0131c\u0131 olabilir.\n func GetValue[Key comparable, Value any](m map[Key]Value, key Key) (Value, bool) {\n val, ok := m[key]\n return val, ok\n }<\/code><\/pre>\nGereksiz Generic Kullan\u0131m\u0131ndan Ka\u00e7\u0131nma<\/h4>\n
\n* Basit Durumlar:<\/strong> E\u011fer sadece bir veya iki belirli tiple \u00e7al\u0131\u015fman\u0131z gerekiyorsa, generic yerine do\u011frudan bu tipler i\u00e7in \u00f6zel fonksiyonlar yazmak daha basit ve anla\u015f\u0131l\u0131r olabilir.
\n* interface{}<\/code> veya any<\/code> Yeterliyse:<\/strong> E\u011fer kodunuz, tipler \u00fczerinde hi\u00e7bir spesifik i\u015flem yapm\u0131yor ve sadece de\u011ferleri bir yerden al\u0131p ba\u015fka bir yere aktar\u0131yorsa, any<\/code> kullanmak yeterli olabilir. Ancak bu durumda tip g\u00fcvenli\u011finden feragat edildi\u011fini unutmay\u0131n.
\n* Interface’lerin Yeri:<\/strong> E\u011fer temel ihtiya\u00e7 davran\u0131\u015fsal polimorfizm ise (yani, belirli metotlara sahip tiplerle \u00e7al\u0131\u015fmak), interface’ler hala en uygun \u00e7\u00f6z\u00fcmd\u00fcr. Generics, tip parametreleriyle \u00e7al\u0131\u015f\u0131rken interface’leri k\u0131s\u0131tlama olarak kullanmak, her iki d\u00fcnyan\u0131n en iyi y\u00f6nlerini birle\u015ftiren g\u00fc\u00e7l\u00fc bir yakla\u015f\u0131md\u0131r.<\/p>\nDo\u011fru Constraint Se\u00e7imi<\/h4>\n
==<\/code> veya !=<\/code> kullanman\u0131z gerekiyorsa comparable<\/code> yeterlidir. T\u00fcm say\u0131sal i\u015flemleri yapman\u0131z gerekiyorsa, Number<\/code> gibi \u00f6zel bir k\u0131s\u0131tlama tan\u0131mlay\u0131n.
\n* Geni\u015f Kapsaml\u0131 any<\/code> Yerine Spesifik Interface’ler:<\/strong> E\u011fer bir tip parametresinin belirli metotlara sahip olmas\u0131 gerekiyorsa, any<\/code> yerine bu metotlar\u0131 tan\u0131mlayan bir interface kullan\u0131n. Bu, derleme zaman\u0131 tip g\u00fcvenli\u011fini sa\u011flar ve kodun amac\u0131n\u0131 daha net hale getirir.
\n* K\u0131s\u0131tlama \u0130\u00e7in K\u00fc\u00e7\u00fck Interface’ler:<\/strong> Go’nun interface felsefesine uygun olarak, generics i\u00e7in de k\u00fc\u00e7\u00fck ve odaklanm\u0131\u015f interface’ler olu\u015fturmaya \u00e7al\u0131\u015f\u0131n.<\/p>\nHata Y\u00f6netimi<\/h4>\n
error<\/code> de\u011ferleri d\u00f6nd\u00fcrd\u00fc\u011f\u00fcnden emin olun. \u00d6rne\u011fin, bir generic Pop<\/code> metodu, y\u0131\u011f\u0131n\u0131n bo\u015f olmas\u0131 durumunda bir hata veya bir boolean bayrak d\u00f6nd\u00fcrmelidir.<\/p>\nGo Generics’in Gelece\u011fi ve Geli\u015fimi<\/h3>\n
slices<\/code> ve maps<\/code> paketleri Go 1.21 ile tan\u0131t\u0131ld\u0131 ve dilimler ile map’ler \u00fczerinde generic i\u015flemler sunar. Bu, geli\u015ftiricilerin kendi generic yard\u0131mc\u0131 fonksiyonlar\u0131n\u0131 yazma ihtiyac\u0131n\u0131 azaltacakt\u0131r.
\n* Daha Fazla Dil \u00d6zelli\u011fi:<\/strong> Generics’in ilk s\u00fcr\u00fcm\u00fc, temel yetenekleri sunmaktad\u0131r. Gelecekte, daha karma\u015f\u0131k senaryolar\u0131 ele almak i\u00e7in daha geli\u015fmi\u015f generic \u00f6zellikler (\u00f6rne\u011fin, generic metotlar veya daha sofistike tip \u00e7\u0131kar\u0131m\u0131) eklenebilir.
\n* Ara\u00e7 Deste\u011fi:<\/strong> Go ara\u00e7lar\u0131 (derleyici, linter’lar, IDE’ler) generics ile daha iyi entegre olacak ve geli\u015ftiricilere daha iyi bir deneyim sunacakt\u0131r.
\n* Topluluk Adaptasyonu:<\/strong> Go toplulu\u011fu, generics’i kullanarak yeni k\u00fct\u00fcphaneler ve \u00e7er\u00e7eveler geli\u015ftirecek, bu da dilin ekosistemini daha da zenginle\u015ftirecektir.<\/p>\nSonu\u00e7<\/h3>\n
interface{}<\/code> kullan\u0131m\u0131n\u0131n getirdi\u011fi runtime tip g\u00fcvenli\u011fi sorunlar\u0131n\u0131 \u00e7\u00f6zme ve karma\u015f\u0131k veri yap\u0131lar\u0131 ile algoritmalar\u0131 daha zarif bir \u015fekilde uygulama gibi bir\u00e7ok avantaj sunar.<\/p>\ncomparable<\/code> ve any<\/code> gibi yerle\u015fik k\u0131s\u0131tlamalar\u0131 do\u011fru yerlerde kullanmak ve \u00f6zel k\u0131s\u0131tlamalar olu\u015fturmay\u0131 \u00f6\u011frenmek \u00f6nemlidir. Ayr\u0131ca, generics’i ne zaman kullanaca\u011f\u0131n\u0131z\u0131 ve ne zaman geleneksel Go yakla\u015f\u0131mlar\u0131na ba\u011fl\u0131 kalaca\u011f\u0131n\u0131z\u0131 bilmek, dengeli ve s\u00fcrd\u00fcr\u00fclebilir bir kod taban\u0131 olu\u015fturmak i\u00e7in kritik \u00f6neme sahiptir.<\/p>\n