Evet bir di\u011fer Modern C++ 11 ile yaz\u0131m\u0131z ile tekrar birlikteyiz. Bu yaz\u0131m\u0131zda C++ 11 ile gelen \u00f6nemli de\u011fi\u015fikliklerden biri olan “Move Semantics” yani Ta\u015f\u0131ma Semantiklerinden sizlere bahsedece\u011fim. Bu konu da derya deniz bir konu. Bu yaz\u0131mda sadece \u00f6nemli hususlar\u0131n \u00fczerinden ge\u00e7ip, genel mant\u0131\u011f\u0131 sizlere aktar\u0131p, kalan\u0131n\u0131 na\u00e7izane sizlere b\u0131rakaca\u011f\u0131m \ud83d\ude42 Daha lambda’lar var garda\u015f\u0131m ne yapam yani.<\/p>\n
Ta\u015f\u0131ma semantiklerinden bahsetmeden \u00f6nce beyin kaslar\u0131m\u0131z\u0131 \u0131s\u0131nd\u0131rma ve merakland\u0131rma ad\u0131na, bu konu ile ilgili bir tak\u0131m kavramlar\u0131 a\u015fa\u011f\u0131da s\u0131ralamaya \u00e7al\u0131\u015ft\u0131m, yaz\u0131mda bunlara teker teker de\u011finece\u011fiz. Nedir bunlar:<\/p>\n
Ta\u015f\u0131ma semanti\u011finin arkas\u0131nda yatan en \u00f6nemli motivasyon arkada\u015flar performans. \u015e\u00f6yleki C++ da metotlara parametre ge\u00e7irme y\u00f6ntemlerine bakt\u0131\u011f\u0131m\u0131z zaman elimizde bir ka\u00e7 se\u00e7ene\u011fimiz var nedir bunlar:<\/p>\n
Peki burada “Pass by value” durumundaki kopyalama yapmadan bir \u015fekilde ilgili de\u011feri ta\u015f\u0131yamaz<\/strong> <\/em>m\u0131y\u0131z? Bu sayede gereksiz kopyalama masraf\u0131ndan da kurtulabiliriz. Burada kopyalama ile ta\u015f\u0131ma i\u015flemi aras\u0131nda en \u00f6nemli fark, kopyalama durumunda kaynak hi\u00e7 bir \u015fekilde de\u011fi\u015ftirilmez bu operasyondan etkilenmez. Ta\u015f\u0131ma durumunda ise kayna\u011fa g\u00f6re bu durum de\u011fi\u015febilir.<\/p>\n Ta\u015f\u0131ma semanti\u011finin temelinde yatan \u015fey ilgili kayna\u011f\u0131n sahipli\u011finin bir nesneden ba\u015fka bir nesneye kopyalama yap\u0131lmadan ‘ta\u015f\u0131nmas\u0131<\/em>‘ \/ aktar\u0131lmas\u0131 olarak \u00f6zetlenebilir.<\/p>\n \u015eimdi buraya kadar g\u00f6rd\u00fcklerimizi bir ka\u00e7 \u00f6rnek ile peki\u015ftirmeye \u00e7al\u0131\u015fal\u0131m. \u00d6rne\u011fin bir metodumuz olsun ve bu metodun b\u00fcy\u00fck bir nesne d\u00f6nd\u00fc\u011f\u00fcn\u00fc d\u00fc\u015f\u00fcnelim. Normal \u015fartlarda bunu iki \u015fekilde yapabiliriz. Birincisi i\u015faret\u00e7iler kullanarak bunu d\u00f6nebiliriz:<\/p>\n Ya da ilgili nesneyi “pass-by-reference” y\u00f6ntemi ile ge\u00e7irebiliriz.<\/p>\n \u0130\u015fte ta\u015f\u0131ma semanti\u011fi ile art\u0131k bunu a\u015fa\u011f\u0131daki gibi de yapabiliyoruz (Tabi burada std::vector varsay\u0131lan olarak bu ta\u015f\u0131ma semanti\u011fini destekledi\u011finden bunu yapabiliyoruz \ud83d\ude42<\/p>\n G\u00f6rd\u00fc\u011f\u00fcn\u00fcz gibi C++03 kullan\u0131m\u0131ndan hi\u00e7 bir fark\u0131 yok. Bunun en \u00f6nemli art\u0131s\u0131 bu ve benzeri dil ve STL taraf\u0131ndan ta\u015f\u0131ma mant\u0131\u011f\u0131 eklenmi\u015f olan veri yap\u0131lar\u0131 kullanan kodlar\u0131n\u0131z otomatikmen ta\u015f\u0131ma mant\u0131\u011f\u0131n\u0131 kullan\u0131r hale gelmi\u015f olacak.<\/p>\n Benzer \u015fekilde bir metottan ilgili nesnelerin d\u00f6n\u00fclmesinde veya parametre olarak ge\u00e7irilmesi durumunda ta\u015f\u0131ma mant\u0131\u011f\u0131n\u0131 kullanmak i\u00e7in a\u015fa\u011f\u0131daki ko\u015fullar\u0131n sa\u011flanmas\u0131 gerekmekte:<\/p>\n Bundan sonra anlatacaklar\u0131m\u0131n hepsi bu temel ilke \u00fczerine kurulu.<\/p>\n rvalue referanslar\u0131na ge\u00e7meden \u00f6nce lvalue’ler rvalue’lere bir bakmam\u0131z iyi olacak.<\/p>\n \u015eimdi bir ka\u00e7 \u00f6rnek ile bunlar\u0131n kullan\u0131m\u0131na bakal\u0131m:<\/p>\n M\u00fckemmel y\u00f6nlendirme \u00f6zellikle fonksiyon \u015fablonlar\u0131 i\u00e7in rvalue referansl\u0131 parametrelere ge\u00e7irilmesi durumu i\u00e7in kullan\u0131\u015fl\u0131 bir mekanizma. E\u011fer ge\u00e7irilen parametre tipi rvalue referans\u0131 ise ve de ge\u00e7irilen parametre lvalue ise bu parametreye lvalue referans gibi davran\u0131l\u0131yor (yani ilgili parametreye yap\u0131lan de\u011fi\u015fiklikle de\u011ferini de\u011fi\u015ftiriyor. Bknz. “pass-by-reference”), ba\u015fka tip bir veri ge\u00e7irilir ise temel bir tip olarak davran\u0131l\u0131yor. \u015eimdi bu durumlar\u0131 a\u015fa\u011f\u0131daki \u00f6rnekler ile inceleyelim:<\/p>\n Bu sayede lvalue ve rvalue referanslar\u0131 i\u00e7in ayr\u0131 ayr\u0131 metotlar yazman\u0131za gerek kalmaz. Bunun ile birlikte herhangi metoda ge\u00e7irilen lvalue\/rvalue parametreleri bu yap\u0131lar\u0131 korunarak ba\u015fka metotlara ge\u00e7irilebilir. Bunun i\u00e7in de std::forward metodu kullan\u0131l\u0131r. \u0130\u015fte bu olaya M\u00fckemmel Y\u00f6nlendirme\u00a0<\/strong>denir. Bu sayede gereksiz kopyalamalar\u0131n \u00f6n\u00fcne ge\u00e7ilir ve gereksiz lvalue\/rvalue metotlar\u0131n\u0131n fazladan yaz\u0131lmas\u0131na ihtiya\u00e7 kalmaz. Yukar\u0131daki \u00f6rne\u011fin devam\u0131 niteli\u011finde olan a\u015fa\u011f\u0131daki kullan\u0131ma bakal\u0131m:<\/p>\n Yukar\u0131da Foo metodu i\u00e7erisinde hangi Goo’nun \u00e7a\u011fr\u0131laca\u011f\u0131 otomatik olarak belirlenir.<\/p>\n 1 ile i\u015faretlenen sat\u0131rda ge\u00e7ilen tip lvalue oldu\u011fu ve std::forward kullan\u0131m\u0131 sonucu B ile yorumlanan Goo metot (lvalue referans kullanan) \u00e7a\u011fr\u0131s\u0131 ger\u00e7ekle\u015ftirilir.<\/p>\n 2 ile i\u015faretlenen sat\u0131rda ge\u00e7ilen tip rvalue oldu\u011fu ve std::forward kullan\u0131m\u0131 sonucu A ile yorumlanan Goo metot (rvalue referans kullanan) \u00e7a\u011fr\u0131s\u0131 ger\u00e7ekle\u015ftirilir.<\/p>\n Burada unutulmamas\u0131 gereken husus bu kullan\u0131m metot \u015fablonlar\u0131 i\u00e7in ge\u00e7erlidir.<\/p>\n Evet yaz\u0131m\u0131n ba\u015f\u0131nda da bahsetti\u011fim \u00fczere s\u0131n\u0131flar\u0131n\u0131za ta\u015f\u0131ma kabiliyeti kazand\u0131rmak i\u00e7in:<\/p>\n tan\u0131mlaman\u0131z gerekmekte. Tabi \u00e7o\u011fu derleyici basit s\u0131n\u0131flar\u0131m\u0131z i\u00e7in yine bu metotlar\u0131 sa\u011f olsun bizler i\u00e7in tan\u0131mlar \ud83d\ude42 Ama velev ki karma\u015f\u0131k bir s\u0131n\u0131f\u0131m\u0131z var ya da kopya olu\u015fturucu veya atama metodu tan\u0131mlad\u0131k veya biz heyecan ar\u0131yoruz. Benzer \u015fekilde default ya da delete anahtar kelimelerini bu \u00f6zel metotlar i\u00e7in de kullanabilirsiniz.<\/p>\n O durumda da\u00a0 a\u015fa\u011f\u0131daki \u00f6rne\u011fi kendinize referans alabilirsiniz efenim.<\/p>\n std::move metodunun asl\u0131nda yapt\u0131\u011f\u0131 \u00e7ok u\u00e7uk ka\u00e7\u0131k bir \u015fey yok. Tek yapt\u0131\u011f\u0131 lvalue ya da rvalue bir parametre al\u0131p herhangi bir kopya olu\u015fturucu \u00e7a\u011f\u0131rmadan rvalue olarak bu parametreyi d\u00f6nmektir. A\u015fa\u011f\u0131da \u00f6rnek olabilecek bir kullan\u0131m g\u00f6sterilmi\u015ftir.<\/p>\n <\/p>\n Evet bir yaz\u0131m\u0131z\u0131n daha sonun geldik. Asl\u0131nda bu yaz\u0131 ile birlikte C++ 11 e dair lambda’lar d\u0131\u015f\u0131nda b\u00fcy\u00fck b\u00fct\u00fcn yenilikleri tamamlad\u0131k. Bunlar d\u0131\u015f\u0131nda STL’de gelen bir tak\u0131m yenilikler var ama onlara da bir yaz\u0131 ile bakar\u0131z. Hayd\u0131 kal\u0131n sa\u011fl\u0131cakla.<\/p>\n C++11\/C++14 5. RVALUE REFERENCE AND MOVE SEMANTICS<\/a><\/p>\n Lesson #5: Move Semantics<\/a><\/p>\n C++ Rvalue References Explained<\/a><\/p>\n Ten C++11 Features Every C++ Developer Should Use<\/a><\/p>\n Move semantics and rvalue references in C++11<\/a><\/p>\n A Brief Introduction to Rvalue References<\/a><\/p>","protected":false},"excerpt":{"rendered":" Evet bir di\u011fer Modern C++ 11 ile yaz\u0131m\u0131z ile tekrar birlikteyiz. Bu yaz\u0131m\u0131zda C++ 11 ile gelen \u00f6nemli de\u011fi\u015fikliklerden biri olan “Move Semantics” yani Ta\u015f\u0131ma Semantiklerinden sizlere bahsedece\u011fim. Bu konu da derya deniz bir konu. Bu yaz\u0131mda sadece \u00f6nemli hususlar\u0131n \u00fczerinden ge\u00e7ip, genel mant\u0131\u011f\u0131 sizlere aktar\u0131p, kalan\u0131n\u0131 na\u00e7izane sizlere b\u0131rakaca\u011f\u0131m \ud83d\ude42 Daha lambda’lar var garda\u015f\u0131m… Continue reading vector<int>* MakeBigVector()\r\n{\r\n vector<int>* result = new vector<int>(1024);\r\n for(int i=0; i<1024; i++) \r\n { \r\n result[i] = rand(); \r\n }\r\n return result;\r\n}\r\n:::\r\nvector<int>* v = MakeBigVector();<\/pre>\nvoid MakeBigVector(vector<int>& out)\r\n{\r\n out.resize(1024);\r\n for(int i=0; i<1024; i++) \r\n { \r\n out[i] = rand(); \r\n }\r\n}\r\n:::\r\nvector<int> v;\r\nMakeBigVector(v);<\/pre>\nvector<int> MakeBigVector()\r\n{\r\n vector<int> result;\r\n \r\n for(int i=0; i<1024; i++) \r\n { \r\n result[i] = rand(); \r\n }\r\n return result;\r\n}\r\n:::\r\n\/\/ C++ 11 de bu i\u015f i\u00e7in kopyalama yap\u0131lmaz ama \u00f6ncekilerde b\u00fct\u00fcn de\u011ferler kopyalan\u0131rd\u0131\r\nvector<int> v = MakeBigVector();<\/pre>\n\n
rvalue Referanslar\u0131<\/span><\/strong><\/h2>\n
\n
\/\/ Burada a bir lvalue ve 1 ise rvalue'd\u00fcr\r\nint a = 1;\r\n\r\n...\r\n\r\n\/\/ Bu metot yerel bir de\u011fi\u015fken d\u00f6nd\u00fc\u011f\u00fc i\u00e7in, d\u00f6nd\u00fc\u011f\u00fc de\u011fer rvalue'd\u00fcr\r\nstring getName() \r\n{ \r\n string s = \"Hello world\"; \r\n return s; \r\n}\r\n\r\nint main()\r\n{\r\n \/\/ rvalue'yu referans operat\u00f6r\u00fc ile kullanamazs\u0131n\u0131z\r\n \/\/ error: cannot bind non-const lvalue reference of type 'std: bla bla hatas\u0131 al\u0131n\u0131r\r\n string& deneme = getName();\r\n\r\n \/\/ Problem yok. rvalue referans operat\u00f6r\u00fc bunun i\u00e7in dostum\r\n \/\/ Kopyalama yok\r\n string&& deneme2 = getName(); \r\n\r\n \/\/ C++ 03 de kopyalama yap\u0131l\u0131yor\r\n \/\/ C++ 11 de yap\u0131lmaz\r\n string deneme = getName(); \r\n}\r\n\r\n<\/pre>\nM\u00fckemmel Y\u00f6nlendirme “Perfect Forwarding”<\/span><\/h2>\n
template<typename T>\r\nvoid Foo(T&& t);\r\n\r\nint main()\r\n{\r\n X x;\r\n \/\/ 1) Bu durumda ge\u00e7irilen parametre lvalue oldu\u011fu i\u00e7in T burada X& olarak kabul edilir\r\n FOO(x);\r\n \r\n \/\/ 2) Bu durumda ge\u00e7irilen parametre ge\u00e7ici bir nesne oldu\u011fu i\u00e7in rvaluedur ve bu durumda da \r\n \/\/ T X olarak kabul edilir.\r\n FOO(X()); \/\/ 2\r\n}<\/pre>\n\/\/ A) rvalue referans\u0131 alan metot\r\nvoid Goo(X&& t);\r\n\r\n\/\/ B) lvalue referans\u0131 alan metot\r\nvoid Goo(X& t);\r\n\r\ntemplate<typename T>\r\nvoid Foo(T&& t)\r\n{\r\n \/\/ Gelen T tipine g\u00f6re ilgili Goo metodu otomatik olarak belirlenir\r\n Goo(std::forward<T>(t));\r\n}\r\n\r\n\/\/ Benzer \u015fekilde rvalue referans\u0131 kullanan ba\u015fka bir metot\r\nvoid Hoo(X&& t)\r\n{\r\n Goo(t);\r\n}\r\n\r\nint main()\r\n{\r\n X x;\r\n Foo(x); \/\/ 1\r\n Foo(X()); \/\/ 2\r\n Hoo(x);\r\n Hoo(X()); \/\/ 3\r\n}<\/pre>\nTa\u015f\u0131ma Olu\u015fturucusu (“move constructor”) ve Ta\u015f\u0131ma Atama Operat\u00f6r\u00fc (“move assignment operator”)<\/span><\/h2>\n
\n
\n
C::C(C&& other);<\/code><\/li>\n<\/ul>\n<\/li>\n\n
C& C::operator=(C&& other);<\/code><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n#include <iostream>\r\n#include <algorithm>\r\n\r\nclass A\r\n{\r\npublic:\r\n \/\/ Basit olu\u015fturucu ile kaynaklar\u0131n ilklendirilmesi\r\n explicit A(size_t length)\r\n : mLength(length), \r\n mData(new int[length])\r\n {\r\n std::cout << \"A(size_t). length = \"\r\n\t\t<< mLength << \".\" << std::endl;\r\n }\r\n\r\n \/\/ Yokedici :)\r\n ~A()\r\n {\r\n\tstd::cout << \"~A(). length = \" << mLength << \".\";\r\n\r\n\tif (mData != NULL)\r\n {\r\n std::cout << \" Deleting resource.\";\r\n\t delete[] mData; \/\/ Delete the resource.\r\n\t}\r\n\r\n\tstd::cout << std::endl;\r\n }\r\n\r\n \/\/ Kopya olu\u015fturucu\r\n A(const A& other)\r\n\t : mLength(other.mLength)\r\n , mData(new int[other.mLength])\r\n {\r\n\tstd::cout << \"A(const A&). length = \"\r\n\t\t<< other.mLength << \". Copying resource.\" << std::endl;\r\n\r\n\tstd::copy(other.mData, other.mData + mLength, mData);\r\n }\r\n\r\n \/\/ Kopya atama operat\u00f6r\u00fc\r\n A& operator=(const A& other)\r\n {\r\n\tstd::cout << \"operator=(const A&). length = \"\r\n\t << other.mLength << \". Copying resource.\" << std::endl;\r\n\r\n\tif (this != &other;) \r\n {\r\n\t delete[] mData; \/\/ Free the existing resource.\r\n\t mLength = other.mLength;\r\n mData = new int[mLength];\r\n std::copy(other.mData, other.mData + mLength, mData);\r\n\t}\r\n\treturn *this;\r\n }\r\n\r\n \/\/ Ta\u015f\u0131ma olu\u015fturucusu\r\n A(A&& other)\r\n : mData(NULL)\r\n , mLength(0)\r\n {\r\n std::cout << \"A(A&&). length = \" \r\n << other.mLength << \". Moving resource.\\n\";\r\n\r\n \/\/ Gelen veri i\u015faret\u00e7isinden ilgili adresi ve boyutu al\r\n mData = other.mData;\r\n mLength = other.mLength;\r\n\r\n \/\/ Kaynak i\u015faret\u00e7i taraf\u0131ndan adreslenen kayna\u011f\u0131 sal\u0131ver.\r\n \/\/ Bunu yapmaz isek bellek birden fazla say\u0131da bo\u015falt\u0131lmaya \u00e7al\u0131\u015f\u0131l\u0131r\r\n other.mData = NULL;\r\n other.mLength = 0;\r\n }\r\n\r\n \/\/ Ta\u015f\u0131ma atanma operat\u00f6r\u00fc\r\n A& operator=(A&& other)\r\n {\r\n std::cout << \"operator=(A&&). length = \" \r\n << other.mLength << \".\" << std::endl;\r\n\r\n if (this != &other)\r\n {\r\n \/\/ Mevcut verileri bo\u015falt\r\n delete[] mData;\r\n\r\n \/\/ Gelen veri i\u015faret\u00e7isinden ilgili adresi ve boyutu al\r\n mData = other.mData;\r\n mLength = other.mLength;\r\n\r\n \/\/ Kaynak i\u015faret\u00e7i taraf\u0131ndan adreslenen kayna\u011f\u0131 sal\u0131ver.\r\n \/\/ Bunu yapmaz isek bellek birden fazla say\u0131da bo\u015falt\u0131lmaya \u00e7al\u0131\u015f\u0131l\u0131r\r\n other.mData = NULL;\r\n other.mLength = 0;\r\n }\r\n return *this;\r\n }\r\n\r\n \/\/ Verinin boyutu d\u00f6n\u00fcl\u00fcr\r\n size_t Length() const\r\n {\r\n return mLength;\r\n }\r\n\r\nprivate:\r\n \/\/ Verinin boyutu\r\n size_t mLength; \r\n\r\n \/\/ Veri\r\n int* mData; \r\n};<\/pre>\nstd::move Metodu<\/span><\/strong><\/h2>\n
template <class T>\r\ntypename remove_reference<T>::type&&\r\nmove(T&& a)\r\n{\r\n return a;\r\n}<\/pre>\nKaynaklar<\/span><\/h2>\n