Merhaba sevgili yaz\u0131l\u0131mperver dostlar\u0131m. Bug\u00fcn C++ geli\u015ftiricilerin vak\u0131f oldu\u011fu “rule of three” ve C++ 11 ile birlikte art\u0131k “rule of five” mevzusuna bak\u0131yor olaca\u011f\u0131z. Bunu yaparken de, C++ constructor, copy constructor, assignment operator gibi temel kavramlara da e\u011filiyor olaca\u011f\u0131z. Kurallara ge\u00e7meden \u00f6nce, bu temel kavramlar\u0131 ve nas\u0131l kullan\u0131ld\u0131klar\u0131n\u0131 hat\u0131rlayal\u0131m isterseniz.<\/p>\n
Yap\u0131c\u0131lar asl\u0131nda, s\u0131n\u0131f ile ayn\u0131 ismi tan\u0131yan (derleyici di\u011fer fonksiyonlardan bu sayede onlar\u0131 ay\u0131r\u0131r), d\u00f6n\u00fc\u015f de\u011feri olmayan \u00f6zel \u00fcye fonksiyonlard\u0131r ve s\u0131n\u0131f i\u00e7erisindeki verileri ge\u00e7erli de\u011ferler ile doldurmak (ya da benzeri) amac\u0131 ile kullan\u0131l\u0131rlar. \u00dc\u00e7 tip yap\u0131c\u0131 bulunur. Bunlar: Varsay\u0131lan, parametrik ve kopya yap\u0131c\u0131lard\u0131r. Varsay\u0131lan yap\u0131c\u0131, herhangi bir parametre almayan ve e\u011fer programc\u0131 tan\u0131mlamaz ise derleyici taraf\u0131ndan otomatik olarak \u00fcretilen bir yap\u0131c\u0131d\u0131r. Temel de\u011ferler 0\/false ile doldurulur.<\/p>\n
Parametrik yap\u0131c\u0131lar ise varsay\u0131lanlardan farkl\u0131 olarak \u00e7e\u015fitli girdiler alabilmektedir. Bunlar da ilgili s\u0131n\u0131f\u0131n olu\u015fturulmas\u0131nda ve verilerin ilklendirilmesinde kullan\u0131l\u0131rlar.<\/p>\n
Son olarak, kopya yap\u0131c\u0131 ise isminden de anla\u015f\u0131laca\u011f\u0131 gibi, daha \u00f6nce ayn\u0131 tipte olu\u015fturulmu\u015f bir nesne ile yeni nesnenin ilklendirilmesi i\u00e7in kullan\u0131lan yap\u0131c\u0131d\u0131r. Bu yap\u0131c\u0131 i\u00e7in nesneye referans tipinde arg\u00fcman ge\u00e7irilir.<\/p>\n
A\u015fa\u011f\u0131da b\u00fct\u00fcn bunlar\u0131 g\u00f6steren basit bir \u00f6rnek bulabilirsiniz:<\/p>\n
#include <iostream>\r\n\r\nusing namespace std;\r\nclass Sinif {\r\n public:\r\n \/\/ Varsayilan yapici\r\n Sinif(){\r\n cout << \"Varsayilan yapici\\n\";\r\n }\r\n \r\n \/\/ Parametre alan yapici\r\n Sinif(int deneme){\r\n cout << \"Parametrik yapici\\n\";\r\n }\r\n \r\n \/\/ Kopya yapici\r\n Sinif(const Sinif& Parametre){\r\n cout << \"Kopya yapici\\n\";\r\n }\r\n};\r\n\r\n\/\/ Bu durumda da kopya yapici cagrilir\r\nvoid kopyaAlanFonks(Sinif girdi){\r\n}\r\n\/\/ Bu durumda da kopya yapici cagrilir\r\nSinif returnKopyaFonks(){\r\n Sinif a;\r\n return a;\r\n}\r\n\r\nint main() {\r\n \/\/ Varsayilan yapicilar\r\n Sinif ornek1;\r\n Sinif* ornek2{new Sinif};\r\n Sinif ornekArray[4];\r\n \r\n \/\/ Parametrik yapicilarin cagrildigi durumlar\r\n Sinif ornek3{1};\r\n Sinif* ornek4{new Sinif(2)};\r\n Sinif ornek5Array[4]={Sinif(1), Sinif(2), Sinif(3), Sinif(4)};\r\n \r\n \/\/ explicit koymadigimiz icin dolayli yoldan parametrik yapici calisir\r\n kopyaAlanFonks(3);\r\n \r\n \/\/ Kopya yapicilar\r\n Sinif ornek6 = ornek1;\r\n Sinif ornek7(ornek1);\r\n Sinif ornek8{ornek1};\r\n Sinif* ornek9{new Sinif(ornek1)};\r\n kopyaAlanFonks(ornek1);\r\n \r\n \/\/ Asagidaki ornek varsayilan olarak kopya yapiciyi cagirmiyor\r\n \/\/ -fno-elide-constructors ile bunu aktiflestirebilirsiniz. Detaylar icin https:\/\/www.wikiwand.com\/en\/Return_value_optimization\r\n Sinif ornek10 = returnKopyaFonks();\r\n\r\n return 0;\r\n}<\/pre>\nBu \u00f6rnekte g\u00f6rd\u00fc\u011f\u00fcn\u00fcz \u00fczere bir s\u0131n\u0131f i\u00e7in birden fazla yap\u0131c\u0131 tan\u0131mlayabilirsiniz. Yap\u0131lacar mevzusunu kapatmadan, onlar ile ilgili bir ka\u00e7 hususa daha de\u011finelim:<\/p>\n
\u015eimdi kurallara bakabiliriz.<\/p>\n
\u00dc\u00e7 kural\u0131 asl\u0131nda C++ 11 \u00f6ncesi kullan\u0131m i\u00e7in ge\u00e7erli, sonras\u0131 i\u00e7in be\u015f kural\u0131na da bak\u0131yor olaca\u011f\u0131z. \u00dc\u00e7 kural temelde \u015funu der:<\/p>\n
E\u011fer bir C++ s\u0131n\u0131f\u0131, y\u0131k\u0131c\u0131 (“destructor”) ya da kopya yap\u0131c\u0131 da kopyalama operat\u00f6r\u00fcnden\u00a0 (operator =()) birini tan\u0131mlarsa, di\u011ferlerini de tan\u0131mlamal\u0131d\u0131r.<\/p><\/blockquote>\n
Yap\u0131c\u0131lara bakt\u0131k, y\u0131k\u0131c\u0131 da temelde ilgili s\u0131n\u0131f kapsam d\u0131\u015f\u0131na \u00e7\u0131kt\u0131\u011f\u0131nda ya da \u00f6zellikle silindi\u011finde \u00e7a\u011fr\u0131lan yine \u00f6zel bir fonksiyondur. Atama operat\u00f6r\u00fc ise, zaten olu\u015fturulmu\u015f bir nesnenin i\u00e7eri\u011finin di\u011ferine kopyalanmas\u0131 amac\u0131 ile kullan\u0131l\u0131r.<\/p>\n
Bunun arkas\u0131nda yatan temel motivasyon da, e\u011fer programc\u0131 bunlardan birini tan\u0131mlama ihtiyac\u0131 duymu\u015fsa, muhtemelen (\u00f6zel durumlar hari\u00e7) otomatik olarak tan\u0131mlanacak di\u011fer yap\u0131c\u0131lar ve y\u0131k\u0131c\u0131 ihtiyac\u0131n\u0131 kar\u015f\u0131lamayacakt\u0131r. \u00c7\u00fcnk\u00fc, derleyici taraf\u0131ndan tan\u0131mlanan yap\u0131c\u0131lar ve kopyalama operat\u00f6r\u00fc, basit\u00e7e verileri kopyalar (“shallow copy”), i\u015faret\u00e7ilerin veya benzeri yap\u0131lar\u0131n ihtiya\u00e7 duyaca\u011f\u0131 kopyalama i\u015flemlerini yapmaz.<\/p>\n
\u015eimdi bunun s\u0131k\u0131nt\u0131 yaratt\u0131\u011f\u0131 bir duruma g\u00f6z atal\u0131m:<\/p>\n
#include <iostream>\r\n\r\nusing namespace std;\r\n\r\nclass Sinif {\r\nprivate:\r\n int mSize;\r\n int* mVals; \r\n \r\npublic:\r\n \/\/ Yikici tanimli\r\n ~Sinif();\r\n \r\n \/\/ Parametrik yapici da\r\n Sinif( int s, int* v );\r\n \/\/ Kopya yapici ya da atama operatoru tanimli degil.\r\n};\r\n \r\n\/\/ Yikici yonettigimiz bellegi siliyoruz\r\nSinif::~Sinif() {\r\n cout << \"yikici cagriliyor\\n\";\r\n \r\n delete mVals;\r\n mVals = nullptr;\r\n}\r\n\r\n\/\/ Parametrik yapici icerisinde \"deep copy\" yapiyoruz. Bunda sikinti yok \r\nSinif::Sinif( int s, int* v ) {\r\n cout << \"parametrik yapici cagriliyor\\n\";\r\n mSize = s;\r\n mVals = new int[ mSize ];\r\n std::copy( v, v + mSize, mVals );\r\n}\r\n \r\nint main() {\r\n int mVals[ 4 ] = { 11, 22, 33, 44 };\r\n \r\n \/\/ Parametrik yapicimiz cagriliyor\r\n Sinif a1( 4, mVals );\r\n \r\n \/\/ Iste bu noktada, derleyici tarafindan olusturulan kopya yapici cagriliyor\r\n \/\/ O da sadece degerleri kopyaladigi icin i\u015faretciler aslinda ayni yeri g\u00f6steriyor\r\n Sinif a2( a1 );\r\n \r\n \/\/ Burada da silme i\u015flemi iki kere ayn\u0131 adres icin cagriliyo\r\n return 0;\r\n}<\/pre>\nYukar\u0131daki \u00f6rnekte, her ne kadar parametrik yap\u0131c\u0131 ile dinamik bellekler kopyalansa da, kopya yap\u0131c\u0131 tan\u0131mlanmad\u0131\u011f\u0131 i\u00e7in kopyalama i\u015flemi sadece adreslerin kopyalanmas\u0131 ile kal\u0131yor. Bu da ilgili nesneler kapsam d\u0131\u015f\u0131na \u00e7\u0131kt\u0131\u011f\u0131nda y\u0131k\u0131c\u0131n\u0131n zaten silinmi\u015f bir belle\u011fi iki kere silmeye kalkmas\u0131na yol a\u00e7\u0131yor.\u00a0 Yukar\u0131daki kodu \u00e7al\u0131\u015ft\u0131rd\u0131\u011f\u0131n\u0131zda a\u015fa\u011f\u0131daki gibi bir \u00e7\u0131kt\u0131 g\u00f6rmeniz normal:<\/p>\n
parametrik yapici cagriliyor\r\nyikici cagriliyor\r\nyikici cagriliyor\r\nfree(): double free detected in tcache 2<\/pre>\nBenzer \u015fekilde kopya yap\u0131c\u0131n\u0131n olup, atama operat\u00f6r\u00fcn\u00fcn olmad\u0131\u011f\u0131n\u0131 d\u00fc\u015f\u00fcn\u00fcn. Bu durumda da, yine atama ile kopyalanan nesnenin de\u011ferleri basit\u00e7e kopyalanacak ve i\u015faret\u00e7iler yan\u0131 yeri g\u00f6steriyor olacaklar.<\/p>\n
\u015eimdi gelelim be\u015f kural\u0131na.<\/p>\n
Be\u015f Kural\u0131<\/strong><\/span><\/h2>\n
Be\u015f kural\u0131 temelde, \u00fc\u00e7 kural\u0131 ile ayn\u0131 olmas\u0131 yan\u0131nda, ta\u015f\u0131ma yakla\u015f\u0131m\u0131 ile gelen yeni ta\u015f\u0131ma yap\u0131c\u0131s\u0131 ve atama operat\u00f6r\u00fcn\u00fc de g\u00f6z \u00f6n\u00fcne al\u0131r ve kural\u0131 \u015fu \u015fekilde g\u00fcnceller:<\/p>\n
E\u011fer bir C++ s\u0131n\u0131f\u0131, y\u0131k\u0131c\u0131 (“destructor”) ya da kopya yap\u0131c\u0131 da kopyalama operat\u00f6r\u00fcnden\u00a0 (operator =()) ya da ta\u015f\u0131ma yap\u0131c\u0131s\u0131 ya da ta\u015f\u0131ma atama operat\u00f6r\u00fcnden birini tan\u0131mlarsa, di\u011ferlerini de tan\u0131mlamal\u0131d\u0131r.<\/p>\n
ta\u015f\u0131ma operat\u00f6r ya da yap\u0131c\u0131lar\u0131n\u0131n tan\u0131mlanmamas\u0131 her ne kadar hata olmasa da \u00f6zellikle bellek y\u00f6netimi gerektiren s\u0131n\u0131flarda bunlar\u0131n tan\u0131mlanmas\u0131 daha verimli bir \u00e7\u00f6z\u00fcm sa\u011flar. Bu ba\u011flamda yukar\u0131daki s\u0131n\u0131f i\u00e7in a\u015fa\u011f\u0131daki iki operat\u00f6r\u00fc tan\u0131mlamal\u0131y\u0131z:<\/p>\n
\/\/ Ta\u015f\u0131ma yap\u0131c\u0131s\u0131\r\nSinif::Sinif(Sinif&& other) {\r\n this->mSize = other.mSize;\r\n this->mVals = other.mVals;\r\n other.mVals = nullptr;\r\n}\r\n\r\n\/\/ Ta\u015f\u0131ma atama operat\u00f6r\u00fc\r\nSinif& Sinif::operator=(Sinif&& rhs) {\r\n \/\/ kendi kendine atama kontrol\u00fc\r\n if (this != &rhs) {\r\n this->mSize = rhs.mSize;\r\n\r\n \/\/ Eski veriyi silelim\r\n if (this->mVals) {\r\n delete[] this->mVals;\r\n }\r\n\r\n this->mVals = rhs.mVals;\r\n rhs.mVals = nullptr;\r\n }\r\n\r\n return *this;\r\n}<\/pre>\nBu arada ta\u015f\u0131ma yap\u0131c\u0131s\u0131 ve atama operat\u00f6r\u00fc ve di\u011fer ta\u015f\u0131ma semanti\u011fine ili\u015fkin detaylar i\u00e7in a\u015fa\u011f\u0131daki yaz\u0131ma g\u00f6z atabilirsiniz.<\/p>\n
Modern C++ (5) : Ta\u015f\u0131ma Semantikleri<\/a><\/span><\/strong><\/p>\n
Bir sonraki yaz\u0131mda g\u00f6r\u00fc\u015fmek dile\u011fiyle, kendinize iyi bak\u0131n.<\/p>\n
Kaynaklar<\/strong><\/span><\/h2>\n
\n
- https:\/\/www.youtube.com\/watch?v=FXhALMsHwEY<\/a><\/strong><\/span><\/li>\n
- https:\/\/www.tutorialspoint.com\/cplusplus\/cpp_constructor_destructor.htm<\/a><\/strong><\/span><\/li>\n
- https:\/\/www.wikiwand.com\/en\/Rule_of_three_(C%2B%2B_programming)<\/a><\/strong><\/span><\/li>\n
- https:\/\/en.cppreference.com\/w\/cpp\/language\/rule_of_three<\/strong><\/span><\/a><\/li>\n<\/ul>","protected":false},"excerpt":{"rendered":"
Merhaba sevgili yaz\u0131l\u0131mperver dostlar\u0131m. Bug\u00fcn C++ geli\u015ftiricilerin vak\u0131f oldu\u011fu “rule of three” ve C++ 11 ile birlikte art\u0131k “rule of five” mevzusuna bak\u0131yor olaca\u011f\u0131z. Bunu yaparken de, C++ constructor, copy constructor, assignment operator gibi temel kavramlara da e\u011filiyor olaca\u011f\u0131z. Kurallara ge\u00e7meden \u00f6nce, bu temel kavramlar\u0131 ve nas\u0131l kullan\u0131ld\u0131klar\u0131n\u0131 hat\u0131rlayal\u0131m isterseniz. Temel S\u0131n\u0131f Olu\u015fturma\/Atama Operasyonlar\u0131 Yap\u0131c\u0131lar… Continue reading