\n Generics, yaz\u0131l\u0131m geli\u015ftirme s\u00fcre\u00e7lerinde kar\u015f\u0131la\u015f\u0131lan kod tekrar\u0131 ve tip g\u00fcvensizli\u011fi sorunlar\u0131na zarif \u00e7\u00f6z\u00fcmler sunan g\u00fc\u00e7l\u00fc bir ara\u00e7t\u0131r.
\n Bu makale, Generics’i sadece bir dil \u00f6zelli\u011fi olarak de\u011fil, ayn\u0131 zamanda yaz\u0131l\u0131m tasar\u0131m\u0131n\u0131z\u0131 k\u00f6kten iyile\u015ftirebilecek bir prensip olarak ele alacak.
\n Peki, daha esnek, tip-g\u00fcvenli ve yeniden kullan\u0131labilir kodlar yazmak i\u00e7in Generics’i nas\u0131l bir tasar\u0131m arac\u0131 olarak kullanabiliriz?\n <\/p>\n
\n Yaz\u0131l\u0131m geli\u015ftirme d\u00fcnyas\u0131nda, s\u0131k\u00e7a kar\u015f\u0131la\u015ft\u0131\u011f\u0131m\u0131z bir durum vard\u0131r: Bir fonksiyonu veya s\u0131n\u0131f\u0131 farkl\u0131 veri tipleriyle \u00e7al\u0131\u015ft\u0131rmak zorunda kal\u0131r\u0131z. \u00d6rne\u011fin, bir liste olu\u015fturmak istedi\u011fimizde hem say\u0131lar\u0131 hem de metinleri tutabilen bir yap\u0131ya ihtiya\u00e7 duyar\u0131z. Generics tam da bu noktada devreye girer. Basit\u00e7e ifade etmek gerekirse, Generics (T\u00fcrk\u00e7esiyle “Jenerikler” veya “Genel T\u00fcrler”), ayn\u0131 kod mant\u0131\u011f\u0131n\u0131 farkl\u0131 veri tipleri i\u00e7in tekrar yazmaya gerek kalmadan kullanmam\u0131z\u0131 sa\u011flayan bir programlama \u00f6zelli\u011fidir. Bu sayede, “hangi tip olursa olsun ayn\u0131 i\u015flemi yap” diyebilece\u011fimiz esnek ve g\u00fc\u00e7l\u00fc yap\u0131lar in\u015fa edebiliriz.\n <\/p>\n
\n Generics’in temel felsefesi, kodunuzu belirli bir veri tipine “kilitlemek” yerine, daha soyut ve genel bir yakla\u015f\u0131mla tasarlaman\u0131zd\u0131r. Bu, tip g\u00fcvenli\u011fini dinamik olarak sa\u011flayarak \u00e7al\u0131\u015fma zaman\u0131 hatalar\u0131n\u0131 b\u00fcy\u00fck \u00f6l\u00e7\u00fcde azalt\u0131r. Derleyici, Generics kullan\u0131lan kodunuzu derlerken tip bilgilerini kontrol eder ve uyumsuzluklar\u0131 \u00f6nceden tespit etmenizi sa\u011flar. Bu durum, \u00f6zellikle b\u00fcy\u00fck ve karma\u015f\u0131k projelerde geli\u015ftirme maliyetlerini d\u00fc\u015f\u00fcr\u00fcr ve yaz\u0131l\u0131m\u0131n kalitesini art\u0131r\u0131r. Geleneksel yakla\u015f\u0131mlarda, farkl\u0131 tipler i\u00e7in ayn\u0131 mant\u0131\u011f\u0131 kopyalay\u0131p yap\u0131\u015ft\u0131rmak veya \n Bir d\u00fc\u015f\u00fcn\u00fcn: Bir koleksiyon s\u0131n\u0131f\u0131 yazmak istiyorsunuz. Bu koleksiyon bazen say\u0131lar\u0131, bazen metinleri, bazen de kendi \u00f6zel nesnelerinizi tutabilir. Generics olmadan, ya her tip i\u00e7in ayr\u0131 bir koleksiyon s\u0131n\u0131f\u0131 yazman\u0131z gerekir (ki bu korkun\u00e7 bir kod tekrar\u0131d\u0131r) ya da t\u00fcm verileri \n \u00c7o\u011fu zaman, programc\u0131lar Generics’i sadece C#, Java, TypeScript gibi dillerin sundu\u011fu bir “\u015feker” veya “kolayl\u0131k” olarak g\u00f6r\u00fcrler. Oysa Generics’in potansiyeli \u00e7ok daha geni\u015ftir. Bu \u00f6zellik, yaz\u0131l\u0131m m\u00fchendisli\u011finde SOLID prensipleri veya tasar\u0131m desenleri gibi temel yakla\u015f\u0131mlarla ayn\u0131 hizada de\u011ferlendirilmelidir. Bir “tasar\u0131m arac\u0131” olarak Generics, kodunuzu daha mod\u00fcler, esnek ve s\u00fcrd\u00fcr\u00fclebilir hale getiren d\u00fc\u015f\u00fcnce bi\u00e7imini temsil eder. \u00d6rne\u011fin, bir k\u00fct\u00fcphane geli\u015ftiricisi, kullan\u0131c\u0131lar\u0131n kendi veri tipleriyle sorunsuz \u00e7al\u0131\u015fabilen bile\u015fenler sunmak istedi\u011finde Generics’e ba\u015fvurur. Bu, k\u00fct\u00fcphanenin adaptasyon yetene\u011fini art\u0131r\u0131r ve daha geni\u015f bir kullan\u0131m alan\u0131 bulmas\u0131n\u0131 sa\u011flar.\n <\/p>\n \n Generics’in tasar\u0131m prensibi olarak \u00f6ne \u00e7\u0131kmas\u0131n\u0131n temel nedenlerinden biri, “Yeniden Kullan\u0131labilirlik” (Reusability) ilkesini en \u00fcst d\u00fczeye \u00e7\u0131karmas\u0131d\u0131r. Bir algoritmay\u0131 veya veri yap\u0131s\u0131n\u0131 bir kez genel bir \u015fekilde tan\u0131mlad\u0131\u011f\u0131n\u0131zda, onu birden fazla farkl\u0131 veri tipiyle kullanabilirsiniz. Bu, “Her \u015feyi bir kez yaz, her yerde kullan” (Write Once, Use Everywhere) felsefesini destekler. Ayr\u0131ca, “Tek Sorumluluk Prensibi”ni (Single Responsibility Principle – SRP) uygulamada da Generics size yard\u0131mc\u0131 olabilir. \u00d6rne\u011fin, bir liste s\u0131n\u0131f\u0131 hem tamsay\u0131lar\u0131 hem de metinleri ayn\u0131 anda i\u015flemek yerine, Generic bir liste, temel liste i\u015flevselli\u011fini korurken tip sorumlulu\u011funu d\u0131\u015far\u0131ya b\u0131rak\u0131r. Bu da her s\u0131n\u0131f\u0131n kendi i\u015fine odaklanmas\u0131n\u0131 sa\u011flar.\n <\/p>\n \n Di\u011fer \u00f6nemli bir nokta ise “A\u00e7\u0131k\/Kapal\u0131 Prensibi”dir (Open\/Closed Principle – OCP). Bir Generic s\u0131n\u0131f veya fonksiyon, yeni veri tipleri eklemek i\u00e7in a\u00e7\u0131k (geni\u015fletilebilir) ancak mevcut implementasyonunu de\u011fi\u015ftirmeden kapal\u0131d\u0131r. Yani, yeni bir tip ekledi\u011finizde mevcut Generic kodunuzu de\u011fi\u015ftirmenize gerek kalmaz, sadece yeni tipi Generic yap\u0131ya “takars\u0131n\u0131z”. Bu, yaz\u0131l\u0131m sistemlerinin de\u011fi\u015fime kar\u015f\u0131 daha diren\u00e7li olmas\u0131n\u0131 sa\u011flar. Ayr\u0131ca, “Ba\u011f\u0131ml\u0131l\u0131k Enjeksiyonu” (Dependency Injection) gibi modern tasar\u0131m desenlerinde de Generics kritik bir rol oynar. Bir hizmetin belirli bir veri tipine ba\u011fl\u0131 kalmadan \u00e7al\u0131\u015fmas\u0131n\u0131 sa\u011flamak i\u00e7in Generic aray\u00fczler veya s\u0131n\u0131flar tan\u0131mlayarak, uygulamam\u0131z\u0131n bile\u015fenleri aras\u0131ndaki gev\u015fek ba\u011f\u0131ml\u0131l\u0131\u011f\u0131 koruyabiliriz. Bu, uygulaman\u0131n test edilebilirli\u011fini ve bak\u0131m kolayl\u0131\u011f\u0131n\u0131 art\u0131r\u0131r. Generics, bu ba\u011flamda, sadece “Nas\u0131l kod yaz\u0131l\u0131r?” sorusuna de\u011fil, “Daha iyi ve s\u00fcrd\u00fcr\u00fclebilir kod nas\u0131l tasarlan\u0131r?” sorusuna da g\u00fc\u00e7l\u00fc bir yan\u0131t sunar.\n <\/p>\n \n Generics’in g\u00fcc\u00fcn\u00fc en iyi g\u00f6sterdi\u011fi alanlardan biri, \u015f\u00fcphesiz tip-g\u00fcvenli veri yap\u0131lar\u0131 tasarlamakt\u0131r. Geleneksel yakla\u015f\u0131mlar, ya tip g\u00fcvenli\u011fi olmadan esneklik sunar (\u00f6rne\u011fin, t\u00fcm verileri \n Diyelim ki hem tamsay\u0131lar\u0131 hem de metinleri tutabilen bir y\u0131\u011f\u0131n yap\u0131s\u0131na ihtiyac\u0131m\u0131z var. Generics kullanmadan, iki ayr\u0131 y\u0131\u011f\u0131n s\u0131n\u0131f\u0131 yazmak zorunda kal\u0131rd\u0131k: <\/code><\/p>\n \n G\u00f6rd\u00fc\u011f\u00fcn\u00fcz gibi, kod mant\u0131\u011f\u0131 tamamen ayn\u0131 olmas\u0131na ra\u011fmen, sadece veri tipinin de\u011fi\u015fmesi y\u00fcz\u00fcnden iki ayr\u0131 s\u0131n\u0131f olu\u015fturmak zorunda kald\u0131k. Bu, Generics'in \u00f6nledi\u011fi t\u00fcrden bir kod tekrar\u0131d\u0131r. \u015eimdi bu yap\u0131y\u0131 Generics ile nas\u0131l daha iyi tasarlayabilece\u011fimize bakal\u0131m:\n <\/p>\n <\/code><\/p>\n \n Bu Generic <\/code><\/p>\n \n G\u00f6rd\u00fc\u011f\u00fcm\u00fcz \u00fczere, Generics sayesinde tek bir kod blo\u011fu ile farkl\u0131 veri tiplerini destekleyebilen, tip-g\u00fcvenli bir yap\u0131 olu\u015fturabildik. Bu, sadece kod tekrar\u0131n\u0131 \u00f6nlemekle kalmaz, ayn\u0131 zamanda bak\u0131m kolayl\u0131\u011f\u0131 sa\u011flar ve olas\u0131 tip d\u00f6n\u00fc\u015f\u00fcm hatalar\u0131n\u0131n \u00f6n\u00fcne ge\u00e7er. \u00c7\u00fcnk\u00fc derleyici, \n Bir k\u00fct\u00fcphane veya API geli\u015ftirirken, yazd\u0131\u011f\u0131n\u0131z kodun \u00e7e\u015fitli senaryolara uyum sa\u011flamas\u0131 ve farkl\u0131 veri tipleriyle sorunsuz \u00e7al\u0131\u015fabilmesi \u00e7ok \u00f6nemlidir. \u0130\u015fte bu noktada Generics, API tasar\u0131m\u0131nda vazge\u00e7ilmez bir ara\u00e7 haline gelir. Generics kullanarak, t\u00fcketicilerin kendi tipleriyle \u00e7al\u0131\u015fabilen, ancak ayn\u0131 zamanda tip g\u00fcvenli\u011fini de garanti eden API'ler olu\u015fturabilirsiniz. Bu, hem geli\u015ftirici deneyimini iyile\u015ftirir hem de potansiyel hatalar\u0131 ba\u015ftan engeller.\n <\/p>\n \n \u00d6rne\u011fin, bir veri i\u015fleme k\u00fct\u00fcphanesi yazd\u0131\u011f\u0131n\u0131z\u0131 d\u00fc\u015f\u00fcn\u00fcn. Bu k\u00fct\u00fcphane, listelerdeki elemanlar\u0131 filtreleme veya d\u00f6n\u00fc\u015ft\u00fcrme gibi i\u015flemler yapabilir. Generics olmadan, her olas\u0131 giri\u015f ve \u00e7\u0131k\u0131\u015f tipi kombinasyonu i\u00e7in ayr\u0131 metotlar yazmak zorunda kal\u0131rs\u0131n\u0131z. Bu da API'nizi \u015fi\u015firir ve bak\u0131m\u0131n\u0131 zorla\u015ft\u0131r\u0131r. Generic metotlar ise bu sorunu \u015f\u0131k bir \u015fekilde \u00e7\u00f6zer.\n <\/p>\n <\/code><\/p>\n \n Yukar\u0131daki \u00f6rnekte g\u00f6r\u00fcld\u00fc\u011f\u00fc gibi, <\/code><\/p>\n \n Yukar\u0131daki <\/code><\/p>\n \n Bu yakla\u015f\u0131m, API'nizin kullan\u0131m\u0131n\u0131 basitle\u015ftirirken ayn\u0131 zamanda tip g\u00fcvenli\u011fini de korur. Geli\u015ftiriciler, kendi \u00f6zel tipleriyle bile bu Generic metotlar\u0131 sorunsuz bir \u015fekilde kullanabilirler. Bu, Generic'in sadece bir kod tekrar\u0131n\u0131 \u00f6nleyici olmaktan \u00e7ok, ayn\u0131 zamanda zarif ve g\u00fc\u00e7l\u00fc API'ler tasarlaman\u0131n temel bir arac\u0131 oldu\u011funu g\u00f6sterir. Ayr\u0131ca, bu t\u00fcr bir tasar\u0131m, k\u00fct\u00fcphanenizin gelecekteki de\u011fi\u015fikliklere kar\u015f\u0131 daha diren\u00e7li olmas\u0131n\u0131 sa\u011flar; yeni bir veri tipi eklendi\u011finde mevcut Generic kodunuzu g\u00fcncellemeniz gerekmez. Bu da A\u00e7\u0131k\/Kapal\u0131 Prensibi'ne m\u00fckemmel bir \u00f6rnektir.\n <\/p>\n \n Generics'in tasar\u0131m \u00fczerindeki olumlu etkileri apa\u00e7\u0131k ortada olsa da, \u00e7o\u011fu geli\u015ftirici performans ve bellek y\u00f6netimi \u00fczerindeki etkilerini merak eder. Genellikle, Generics'in performans\u0131 olumsuz etkiledi\u011fi y\u00f6n\u00fcnde yanl\u0131\u015f bir alg\u0131 vard\u0131r. Ancak modern dillerde (C#, Java, TypeScript gibi), Generics genellikle performans\u0131 iyile\u015ftirir veya en az\u0131ndan mevcut performans\u0131 korur. Bu durumun temel nedeni, derleyicinin Generics'i nas\u0131l ele ald\u0131\u011f\u0131yla ilgilidir.\n <\/p>\n \n Generics kullanman\u0131n en b\u00fcy\u00fck performans avantajlar\u0131ndan biri, \"boxing\" ve \"unboxing\" i\u015flemlerinin \u00f6n\u00fcne ge\u00e7ilmesidir. Boxing, bir de\u011fer tipinin (\u00f6rne\u011fin \n Generics ile ise durum farkl\u0131d\u0131r. \u00d6rne\u011fin C# gibi dillerde, derleyici Generic s\u0131n\u0131flar veya metotlar i\u00e7in tip \u00f6zelinde implementasyonlar olu\u015fturabilir (\u00f6zellikle de\u011fer tipleri i\u00e7in). Bu, Object<\/code> gibi genel tipler kullanmak yayg\u0131nd\u0131. Ancak bu yakla\u015f\u0131mlar, kod tekrar\u0131na yol a\u00e7arken (Object<\/code> kullan\u0131m\u0131 durumunda) \u00e7al\u0131\u015fma zaman\u0131nda tip d\u00f6n\u00fc\u015f\u00fcm hatalar\u0131 riskini art\u0131r\u0131yordu. Generics ile bu sorunlar\u0131n \u00f6n\u00fcne ge\u00e7erek hem daha temiz hem de daha g\u00fcvenilir kodlar yazabiliriz.\n <\/p>\nObject<\/code> (veya benzeri en temel) tipinde depolars\u0131n\u0131z. Object<\/code> kullanmak, elemanlar\u0131 al\u0131rken s\u00fcrekli olarak manuel tip d\u00f6n\u00fc\u015f\u00fcmleri yapman\u0131z\u0131 gerektirir ve yanl\u0131\u015f bir d\u00f6n\u00fc\u015f\u00fcmde \u00e7al\u0131\u015fma zaman\u0131 hatas\u0131 al\u0131rs\u0131n\u0131z. Generics, bu iki ucu birle\u015ftirir: Tek bir koleksiyon yap\u0131s\u0131 olu\u015fturursunuz, ancak hangi tipi tutaca\u011f\u0131n\u0131 belirterek hem derleme zaman\u0131 tip kontrol\u00fcnden faydalan\u0131r hem de manuel d\u00f6n\u00fc\u015f\u00fcm zahmetinden kurtulursunuz. \u0130\u015fte bu, Generics’in yaz\u0131l\u0131m tasar\u0131m\u0131ndaki en temel ve g\u00fc\u00e7l\u00fc katk\u0131lar\u0131ndan biridir.\n <\/p>\nGenerics Neden Sadece Bir Dil \u00d6zelli\u011fi De\u011fil, Bir Tasar\u0131m Prensibidir?<\/h2>\n
Vaka Analizi: Tip-G\u00fcvenli Veri Yap\u0131lar\u0131 Nas\u0131l Tasarlan\u0131r?<\/h2>\n
Object<\/code> olarak saklayan koleksiyonlar) ya da her tip i\u00e7in ayr\u0131 bir yap\u0131 olu\u015fturmay\u0131 gerektirir (ki bu da b\u00fcy\u00fck bir kod tekrar\u0131 ve s\u00fcrd\u00fcr\u00fclemez bir durumdur). Generics, bu ikilemi ortadan kald\u0131r\u0131r. \u015eimdi, basit bir Generic Y\u0131\u011f\u0131n (Stack) veri yap\u0131s\u0131 \u00f6rne\u011fi \u00fczerinden bu konuyu inceleyelim.\n <\/p>\nGeneric Y\u0131\u011f\u0131n (Stack) Uygulamas\u0131 ile Kod Tekrar\u0131n\u0131 \u00d6nlemek:<\/h3>\n
IntStack<\/code> ve StringStack<\/code>.\n <\/p>\n\n\/\/ Generics olmadan (k\u00f6t\u00fc pratik)\npublic class IntStack\n{\n private int[] _elements;\n private int _top;\n\n public IntStack(int capacity)\n {\n _elements = new int[capacity];\n _top = -1;\n }\n\n public void Push(int item)\n {\n _elements[++_top] = item;\n }\n\n public int Pop()\n {\n return _elements[_top--];\n }\n}\n\npublic class StringStack\n{\n private string[] _elements;\n private int _top;\n\n public StringStack(int capacity)\n {\n _elements = new string[capacity];\n _top = -1;\n }\n\n public void Push(string item)\n {\n _elements[++_top] = item;\n }\n\n public string Pop()\n {\n return _elements[_top--];\n }\n}\n <\/pre>\n\n\/\/ Generics ile (iyi pratik)\npublic class GenericStackGenericStackT<\/code> tipiyle \u00e7al\u0131\u015fabilir. Art\u0131k hem tamsay\u0131lar i\u00e7in hem de metinler i\u00e7in ayr\u0131 ayr\u0131 y\u0131\u011f\u0131nlar tan\u0131mlamam\u0131za gerek kalmad\u0131.\n <\/p>\n\n\/\/ Generics ile kullan\u0131m\u0131\npublic static void Main(string[] args)\n{\n \/\/ Tamsay\u0131 y\u0131\u011f\u0131n\u0131\n GenericStackintStack.Push(\"metin\")<\/code> gibi bir ifadeyi direkt olarak hata olarak i\u015faretleyecektir. Bu durum, Generics'in bir tasar\u0131m arac\u0131 olarak ne kadar de\u011ferli oldu\u011funu net bir \u015fekilde ortaya koyar. Modern yaz\u0131l\u0131m geli\u015ftirme s\u00fcre\u00e7lerinde bu t\u00fcr esnek ve g\u00fcvenilir yap\u0131lar tasarlamak, projenin uzun vadeli ba\u015far\u0131s\u0131 i\u00e7in kritik \u00f6neme sahiptir.\n <\/p>\nAPI Tasar\u0131m\u0131nda Generics: Esneklik ve Tip G\u00fcvenli\u011fini Nas\u0131l Dengelersiniz?<\/h2>\n
Generic Metotlarla Daha Esnek API'ler Olu\u015fturma:<\/h3>\n
\n\/\/ Generic olmayan, tekrarl\u0131 metotlar\npublic class DataProcessor\n{\n public ListFilterInts<\/code> ve FilterStrings<\/code> metotlar\u0131n\u0131n mant\u0131\u011f\u0131 tamamen ayn\u0131d\u0131r; sadece \u00e7al\u0131\u015ft\u0131klar\u0131 tipler farkl\u0131d\u0131r. Bu, API'nizin kullan\u0131m\u0131 zorla\u015ft\u0131r\u0131r ve geni\u015fletilebilirli\u011fini s\u0131n\u0131rlar. \u015eimdi bu durumu Generic bir metotla nas\u0131l ele alabilece\u011fimize bakal\u0131m:\n <\/p>\n\n\/\/ Generic metotlarla daha esnek ve tip-g\u00fcvenli API\npublic class GenericDataProcessor\n{\n public ListFilterMap\npublic static void Main(string[] args)\n{\n GenericDataProcessor processor = new GenericDataProcessor();\n\n Listwhere T : struct, IComparable<\/code> gibi k\u0131s\u0131tlamalar ekleyerek, derleme zaman\u0131nda olas\u0131 hatalar\u0131 \u00f6nleyebilirsiniz.\n <\/div>\nPerformans ve Bellek Y\u00f6netimi A\u00e7\u0131s\u0131ndan Generics: Avantajlar ve Dikkat Edilmesi Gerekenler Nelerdir?<\/h2>\n
Derleme Zaman\u0131 Optimizasyonlar\u0131 ve De\u011fer Tipleri:<\/h3>\n
int<\/code>, double<\/code>) bir referans tipine (Object<\/code>) d\u00f6n\u00fc\u015ft\u00fcr\u00fclmesi i\u015flemidir ve bu, hem performans hem de bellek a\u00e7\u0131s\u0131ndan maliyetlidir. Generics olmadan, Object<\/code> tipinde eleman tutan bir koleksiyona int<\/code> ekledi\u011finizde bu int<\/code> de\u011feri \"boxed\" olur. Daha sonra bu de\u011feri geri almak istedi\u011finizde \"unboxed\" edilmesi gerekir. Bu s\u00fcre\u00e7ler, \u00f6zellikle yo\u011fun d\u00f6ng\u00fclerde veya b\u00fcy\u00fck veri k\u00fcmeleriyle \u00e7al\u0131\u015f\u0131rken \u00f6nemli bir performans d\u00fc\u015f\u00fc\u015f\u00fcne neden olabilir.\n <\/p>\nListint<\/code> tiplerini direkt olarak i\u015fleyebilen optimize edilmi\u015f bir liste yap\u0131s\u0131 olu\u015fturdu\u011fu anlam\u0131na gelir. B\u00f6ylece, int<\/code> de\u011ferleri bellekte do\u011frudan kendi hallerinde saklan\u0131r ve boxing\/unboxing ihtiyac\u0131 ortadan kalkar. Bu durum, \u00f6zellikle y\u00fcksek performans gerektiren uygulamalarda ve b\u00fcy\u00fck veri yap\u0131lar\u0131yla \u00e7al\u0131\u015f\u0131rken belirgin bir avantaj sa\u011flar.\n <\/p>\n\n\/\/ Boxing\/Unboxing \u00f6rne\u011fi (Generics olmadan)\npublic static void BoxingExample()\n{\n List