Merhaba yaz\u0131l\u0131mperver dostlar\u0131m, C++ 14 yaz\u0131lar\u0131m\u0131za devam ediyoruz.
\nBu yaz\u0131mda kalan C++ 14 \u00f6zelliklerinden olan Jenerik Lambda (“Generik Lambda”) ve “lambda capture initializers” kabiliyetlerine bak\u0131yor olaca\u011f\u0131z. Bu iki kabiliyeti, daha \u00f6nce C++ 11 ile sunulan Lambda kabiliyetleri \u00fczerene yap\u0131lan iyile\u015ftirmeler olarak g\u00f6rebilirsiniz. Bu sebeple e\u011fer daha \u00f6nce incelemediyseniz a\u015fa\u011f\u0131daki yaz\u0131ma g\u00f6z atman\u0131z\u0131 \u015fiddetle tavsiye ediyorum:<\/p>\n
Modern C++ (6) : Lambda \u0130fadeleri<\/a><\/strong><\/span><\/p>\n Ayr\u0131ca mevcut C++ 14 kabiliyetleri yolculu\u011fundaki durumumuz i\u00e7in de\u00a0C++ 14 Kabiliyetler Yolcu\u011fu<\/a><\/strong><\/span> yaz\u0131s\u0131ndan takip edebilirsiniz.\u00a0Haydi ba\u015flayal\u0131m.<\/p>\n Bu kabiliyeti k\u0131saca \u00f6zetlemek i\u00e7in asl\u0131nda C++ 11 de sunulan ve C++ 14 ile eklenen hususlara, jenerik lambda perspektifinde bakmakta fayda var. C++ 11 ile lambdaya ge\u00e7irilen fonksiyon parametreleri sadece “pass-by-value” ve “pass-by-reference” mekanizmalar\u0131 ile ge\u00e7irilebilmekteydi. Bir di\u011fer ifade ile, ta\u015f\u0131ma semanti\u011fi ile sunulan tipleri lambdalar ile direk kullanman\u0131z m\u00fcmk\u00fcn olam\u0131yordu ve auto da kullan\u0131lamamaktayd\u0131.<\/p>\n Bu arada, bu mekanizmalara ve ta\u015f\u0131ma semanti\u011fine ili\u015fkin pek bir fikriniz yok ise, bu yaz\u0131ya devam etmeden \u00f6nce bunlara ili\u015fkin bir fikir sahibi olman\u0131zda fayda var. Bu ba\u011flamda, a\u015fa\u011f\u0131daki yaz\u0131m sizlere, hem bu mekanizmalar hem de jenerik lambdalar ile sunulan kabiliyeti anlaman\u0131za yard\u0131mc\u0131 olabilir:<\/p>\n Modern C++ (5) : Ta\u015f\u0131ma Semantikleri<\/a><\/span><\/strong><\/p>\n C++ 14 ile birlikte art\u0131k lambda fonksiyon parametreleri i\u00e7in de auto ve ta\u015f\u0131ma semanti\u011fine uygun tipler kullanabiliyoruz. Bununla birlikte, herhangi bir ifade ile ilklendirme de m\u00fcmk\u00fcn olabilmekte (bir sonraki ba\u015fl\u0131kta bak\u0131yor olaca\u011f\u0131z). Hemen basit bir \u00f6rne\u011fe bakal\u0131m:<\/p>\n Burada g\u00f6rd\u00fc\u011f\u00fcn\u00fcz \u00fczere, tek bir lambda ifadesini, farkl\u0131 girdiler i\u00e7in kullanabiliyoruz ve derleyici sa\u011folsun bizler i\u00e7in arka tarafta gerekli kodlar\u0131 \u00fcretiyor. Merakl\u0131 takip\u00e7ilerimin bu kod par\u00e7as\u0131n\u0131 hemen CompilerExplorer<\/a> <\/strong><\/span>ile inceleyip, \u00fczerinde oynay\u0131p, arkada \u00fcretilen kodun nas\u0131l de\u011fi\u015fti\u011fine bakt\u0131\u011f\u0131n\u0131 umuyorum \ud83d\ude42<\/p>\n Peki yukar\u0131daki kod par\u00e7as\u0131n\u0131 derleyici nas\u0131l de\u011ferlendiriyor ya da lambda’lar olmasayd\u0131 bunu nas\u0131l elde ederdik? Asl\u0131nda bakarsan\u0131z, temelde benzer davran\u0131\u015f\u0131 a\u015fa\u011f\u0131daki gibi bir kod par\u00e7as\u0131 ile de elde edebiliriz:<\/p>\n Tabi, bunun yan\u0131nda art\u0131k “perfect forwarding” de m\u00fcmk\u00fcn olabilmekte, daha do\u011frusu ta\u015f\u0131ma mekanizmas\u0131n\u0131 da kullanabilece\u011fiz ve art\u0131k a\u015fa\u011f\u0131daki kullan\u0131mlara m\u00fcmk\u00fcn olabilecek:<\/p>\n Benzer \u015fekilde, arg\u00fcmanlar\u0131n aktar\u0131lmas\u0131 ve “variadic” kullan\u0131m da m\u00fcmk\u00fcn:<\/p>\n Yukar\u0131daki \u00f6rnek kullan\u0131mlar yan\u0131nda, jenerik lambdalar ile \u00f6zyinelemeli lambda tan\u0131mlamalar\u0131 da daha temiz ve okunabilir \u015fekilde tan\u0131mlanabilmekteymi\u015f. \u00d6rne\u011fin a\u015fa\u011f\u0131da, fibonacci hesaplamak i\u00e7in kullan\u0131labilecek bir kod par\u00e7as\u0131n\u0131 g\u00f6rebilirsiniz:<\/p>\n Bununla ne kadar i\u015finiz olur bilemiyorum ama daha detayl\u0131 bilgi almak i\u00e7in https:\/\/artificial-mind.net\/blog\/2020\/09\/12\/recursive-lambdas<\/a><\/strong><\/span> sayfas\u0131na g\u00f6z atabilirsiniz.<\/p>\n Jenerik lambdalar\u0131n son bir kullan\u0131m\u0131ndan daha bahsetmek istiyorum. O da, herhangi bir yakalama parametresi olmayan lambda ifadelerinin fonksiyon i\u015fsaret\u00e7ilerine atanmas\u0131 olacak. \u00d6rne\u011fin art\u0131k a\u015fa\u011f\u0131daki ifade kullan\u0131labilir olacak:<\/p>\n Sonu\u00e7 olarak, bu kabiliyet ile ne elde ediliyor diye sorabiliriz? \u015eu elde ediliyor, modern C++ ile hedeflenen daha az kod sat\u0131r\u0131 ile daha okunabilir ve idame edilebilir kodlar elde etmemize olanak sa\u011flan\u0131yor. \u015eu sayfadan<\/a><\/strong><\/span> bir \u00f6rnek ile bu ba\u015fl\u0131\u011f\u0131 kapatal\u0131m:<\/p>\n C++11 ile yaz\u0131lan a\u015fa\u011f\u0131daki kodlar:<\/p>\n C++ 14 ile a\u015fa\u011f\u0131daki hale d\u00f6n\u00fc\u015febilmekteler:<\/p>\n ikincisi daha okunabilir de\u011fil mi?<\/p>\n Bir \u00f6nceki ba\u015fl\u0131kta ifade etti\u011fim, lambda ifade arg\u00fcmanlar\u0131 yan\u0131nda, lambda kullan\u0131mlar\u0131nda art\u0131k herhangi bir ifade de yakalanabilecek ve yakalama ifadesinde kullan\u0131lan de\u011fi\u015fkenin daha \u00f6nce tan\u0131mlanmas\u0131na ihtiya\u00e7 kalmayacak. \u00d6rne\u011fin a\u015fa\u011f\u0131daki ifade C++ 14 \u00f6ncesinde uyar\u0131 ya da hata verecektir, \u00e7\u00fcnk\u00fc bir \u00fcst kapsamda value tan\u0131ml\u0131 de\u011fil.<\/p>\n Jenerik lambdalar ile yukar\u0131daki kod par\u00e7as\u0131 derlenebilir ve ilgili lambda ifadesi 1.5 d\u00f6ner ve bunun tipi de ilgili ifadeden \u00e7\u0131kar\u0131l\u0131r. Asl\u0131nda arkada yine auto kullan\u0131m\u0131n\u0131 g\u00f6r\u00fcyoruz. Benzer \u015fekilde ta\u015f\u0131ma mekanizmas\u0131 ile de yakalama yap\u0131labilecek. \u00d6rne\u011fin a\u015fa\u011f\u0131daki kod i\u00e7erisinde, nas\u0131l ta\u015f\u0131ma yap\u0131ld\u0131\u011f\u0131 g\u00f6r\u00fclebilir.<\/p>\n Ayr\u0131ca, yakalanan de\u011fi\u015fkenler, farkl\u0131 isimlendirmelerle de kullan\u0131labiliyor. Yine bir \u00f6rnek ile bakal\u0131m:<\/p>\n Bu konulara ilave bilgilere eri\u015fmek isteyen takip\u00e7ilerim i\u00e7in kaynaklar k\u0131sm\u0131na g\u00fczel bir iki site daha ekliyorum. Ayr\u0131ca, bu kabiliyetlere ili\u015fkin standart \u00f6neri dok\u00fcman\u0131na da \u015fu sayfadan<\/a><\/strong><\/span> ula\u015fabilirsiniz.<\/p>\n Bir sonraki yaz\u0131mda g\u00f6r\u00fc\u015fmek dile\u011fiyle kendinize \u00e7ok iyi bak\u0131n.<\/p>\n Merhaba yaz\u0131l\u0131mperver dostlar\u0131m, C++ 14 yaz\u0131lar\u0131m\u0131za devam ediyoruz. Bu yaz\u0131mda kalan C++ 14 \u00f6zelliklerinden olan Jenerik Lambda (“Generik Lambda”) ve “lambda capture initializers” kabiliyetlerine bak\u0131yor olaca\u011f\u0131z. Bu iki kabiliyeti, daha \u00f6nce C++ 11 ile sunulan Lambda kabiliyetleri \u00fczerene yap\u0131lan iyile\u015ftirmeler olarak g\u00f6rebilirsiniz. Bu sebeple e\u011fer daha \u00f6nce incelemediyseniz a\u015fa\u011f\u0131daki yaz\u0131ma g\u00f6z atman\u0131z\u0131 \u015fiddetle tavsiye ediyorum:… Continue reading Jenerik Lambda \u0130fadeleri (“Generic Lambda”)<\/strong><\/span><\/h2>\n
void genericLambdaExample() { \r\n \/\/ Oncelikle bu C++ 11 ile mumkun degildi \r\n auto generic = [](auto x, auto y) { return x+y; }; \r\n \r\n \/\/ Int, int ve double, double i\u00e7in iki ayr\u0131 kullan\u0131m da art\u0131k m\u00fcmk\u00fcn \r\n std::cout << generic(1, 2) << std::endl; \r\n std::cout << generic(1.1, 2.2) << std::endl; \r\n}<\/pre>\nstruct _auto_generated_lambda_type { \r\n template <typename T, typename U> \r\n auto operator() (T x, U y) const {return x + y;} \r\n};<\/pre>\nauto lamb1 = [](int&& x) {return x + 5; }; \r\nauto lamb2 = [](auto&& x) {return x + 5; };\r\n\r\nint x = 10;\r\n\r\n\/\/ Burada a\u00e7\u0131k olarak `std::move(x)` kullanmal\u0131y\u0131z. \u00c7\u00fcnk\u00fc `int&&` bekliyoruz.\r\nlamb1(std::move(x)); \r\n\r\n\/\/ Bu da ge\u00e7erli, \u00e7\u00fcnk\u00fc burada x tipi `int&` olarak \u00e7\u0131kar\u0131m yapabiliyor, \u00e7\u00fcnk\u00fc auto kullan\u0131m\u0131 var.\r\nlamb2(x);<\/pre>\n\/\/ \"Variadic\" kullan\u0131ma \u00f6rnek\r\nauto genericLambda = [](auto&&... args){return f(std::forward<decltype(args)>(args)...);};\r\n\r\n\/\/ Arg\u00fcmanlar\u0131n aktar\u0131lmas\u0131na \u00f6rnek\r\nauto genericLambda = [](auto&&... args){return f(decltype(args)(args)...);};<\/pre>\nauto fib = [](int n, auto&& fib) {\r\n if (n <= 1)\r\n return n; \r\n return fib(n - 1, fib) + fib(n - 2, fib); \r\n};\r\n\r\nauto i = fib(7, fib);<\/pre>\nint (*fp)(int, char) = [](auto a, auto b){ return a + b; };<\/pre>\nfor_each( begin(v), end(v), [](decltype(*cbegin(v)) x) { cout << x; } );\r\n\r\nsort( begin(w), end(w), [](const shared_ptr<some_type>& a,\r\n const shared_ptr<some_type>& b) { return *a<*b; } );<\/pre>\nfor_each( begin(v), end(v), [](const auto& x) { cout << x; } );\r\n\r\nsort( begin(w), end(w), [](const auto& a, const auto& b) { return *a<*b; } );<\/pre>\nLambda Capture Initializer<\/span><\/strong><\/h2>\n
int main() {\r\n auto lambda = [value = 1.5] { return value; };\r\n return 0;\r\n}<\/pre>\n#include <memory>\r\n#include <iostream>\r\n\r\nvoid bar(std::unique_ptr<int> p) {\r\n std::cout << \"Deger: \" << *p << \"\\n\";\r\n}\r\n\r\nint main() {\r\n std::unique_ptr<int> p(new int(1234));\r\n auto f = [ptr = std::move(p)]() mutable {\r\n bar(std::move(ptr));\r\n };\r\n\r\n f();\r\n\r\n return 0;\r\n}<\/pre>\n#include <iostream>\r\nusing namespace std;\r\n\r\nint main() {\r\n int x = 4;\r\n\r\n \/\/ x'i r ismi ile `pass-by-reference` mekanizmasi ile geciriyoruz\r\n \/\/ ayrica x olarak da yeniden isimlendiriyoruz\r\n auto lambda = [&rX = x, x = x + 1]()->int {\r\n rX += 2; \/\/ rX = 6\r\n return x + 2; \/\/ 5 + 2, buradaki x, yeni isimlendirdigimiz\r\n };\r\n \/\/ 7, 6 basilir\r\n cout << lambda() << \", \" << x << endl;\r\n\r\n return 0;\r\n}<\/pre>\nKaynaklar<\/span><\/strong><\/h2>\n
\n