![\"\"](\"http:\/\/www.yazilimperver.com\/wp-content\/uploads\/2019\/06\/img_5cf502b5aec1a.png\")
<\/p>\n<\/p>\n
<\/p>\n
Merhaba arkada\u015flar, bu yaz\u0131mda daha \u00f6nce std::optional<\/em> ile ba\u015flad\u0131\u011f\u0131m\u0131z ve birbirleri ile ilintili oldu\u011funu d\u00fc\u015f\u00fcnd\u00fc\u011f\u00fcm ikinci kabiliyetten bahsedece\u011fim,\u00a0std::variant<\/em>. <\/span><\/p>\n std::optional <\/em>ve benzeri di\u011fer kabiliyet yaz\u0131lar\u0131ma a\u015fa\u011f\u0131daki ba\u011flant\u0131lardan ula\u015fabilirsiniz:<\/span><\/p>\n Geriye sadece std::any kalm\u0131\u015f oluyor, o kabiliyete ayr\u0131 bir yaz\u0131da yer verece\u011fim. Peki std::variant<\/em> nedir?<\/span><\/p>\n Tek bir c\u00fcmle ile std::variant’\u0131 \u00f6zetleyecek olursak, “tip g\u00fcvenli union’lar<\/strong>“, ibaresi union yap\u0131lar\u0131n\u0131 bilenleriniz i\u00e7in yeterli olacakt\u0131r. union\u00a0<\/em>yap\u0131lar\u0131n\u0131 bilmeyenleriniz i\u00e7in ise k\u0131saca, union<\/em>‘lara da bir g\u00f6z atal\u0131m. Bu sayede std::variant gibi yap\u0131n\u0131n nereden geldi\u011fini ve hangi s\u0131k\u0131nt\u0131lara derman oldu\u011funu anlamam\u0131z daha kolay olacakt\u0131r diye umuyorum.<\/p>\n Asl\u0131nda union\u00a0<\/em>(birlik) yap\u0131s\u0131 C programlama dili ile de sunulmaktayd\u0131. Temel olarak bu yap\u0131 ile birlikte belirli ve sabit<\/em> bir bellek alan\u0131na, farkl\u0131 zamanlarda, farkl\u0131 veri tiplerinde<\/em> verileri girebilmeyi sa\u011flayan yap\u0131d\u0131r. Bunun ile birlikte bellekten de tasarruf sa\u011flanabiliyordu. Bu yap\u0131lar\u0131n nesnelerini olu\u015fturabildi\u011fimiz gibi i\u015faret\u00e7ilerini de olu\u015fturabiliyoruz. Bu yap\u0131y\u0131 olu\u015fturan de\u011fi\u015fkenlere, isimleri ile eri\u015febilirsiniz. Bildi\u011fimiz struct<\/em> yap\u0131lar\u0131ndan farkl\u0131 olarak, union<\/em>‘\u0131 olu\u015fturulan de\u011fi\u015fkenlerin her biri i\u00e7in yer ayr\u0131lmaz, ilgili de\u011fi\u015fkenlerin en b\u00fcy\u00fc\u011f\u00fc kadar yer ayr\u0131l\u0131r. Hemen bir \u00f6rnek \u00fczerinden bunu inceleyelim:<\/p>\n Bu de\u011fi\u015fkenlerin herhangi birisi i\u00e7in veri girilebilir ama hepsi i\u00e7in girilemez. Bu sebeple e\u011fer union\u00a0<\/em>kullanacaksan\u0131z bile, kullan\u0131lan tipi ayr\u0131ca bir de\u011fi\u015fken veya mekanizma ile takip etmelisiniz (\u00f6r. \u015fu an float tutuluyor ya da int). Yukar\u0131daki \u00f6rnek i\u00e7in a\u015fa\u011f\u0131daki kullan\u0131m bu anlamda daha g\u00fcvenli bir kullan\u0131m sa\u011flayacakt\u0131r (buna “tagged unions”<\/em> da deniliyor).\u00a0Peki burada nas\u0131l bir problem olabilir. \u00d6r. instance<\/em> nesnesi i\u00e7erisindeki mCharValue<\/em> de\u011fi\u015fkenine bir de\u011fer atad\u0131\u011f\u0131n\u0131z zaman bu yap\u0131daki sadece bir byte kullan\u0131lm\u0131\u015f olacak ve di\u011fer \u00fc\u00e7 byte bo\u015f\/tan\u0131ms\u0131z kalacakt\u0131r. Bu da farkl\u0131 de\u011fi\u015fkenlere eri\u015fimlerde beklenmeyen problemlere yol a\u00e7abilir.<\/p>\n union<\/em> lar\u0131n yayg\u0131n olarak kullan\u0131ld\u0131\u011f\u0131 durumlardan birisini de a\u015fa\u011f\u0131da g\u00f6rebilirsiniz:<\/p>\n C’den farkl\u0131 olarak C++ union<\/em> yap\u0131lar\u0131 i\u00e7erisinde private, pulic ve protected tan\u0131mlamalar\u0131 yap\u0131labilir. Ayr\u0131ca C++ 11 ile birlikte yap\u0131c\u0131\/y\u0131k\u0131c\u0131 ve kopya yap\u0131c\u0131 metotlar\u0131 veya atama operat\u00f6r\u00fc i\u00e7eren tipler de union<\/em>‘lar ile birlikte kullan\u0131labiliyorlar (\u00f6r. std::string).<\/p>\n Sonu\u00e7 olarak union<\/em>‘lar ile ilgili ya\u015fad\u0131\u011f\u0131m\u0131z\/ya\u015fayabilece\u011fimiz problemleri a\u015fa\u011f\u0131daki gibi s\u0131ralayabiliriz:<\/p>\n Bu konu ile ilgili daha detayl\u0131 bilgi edinmek i\u00e7in kaynaklar k\u0131sm\u0131nda verdi\u011fim, referanslara bir g\u00f6z atabilirsiniz.<\/p>\n Sonu\u00e7 olarak std::variant<\/em>, bellek belir bir miktarda yer kaplayan (ki bu alan\u0131 boost::variant<\/em>‘\u0131n aksine dinamik olarak alm\u0131yor) ve tan\u0131mlanan tipler aras\u0131nda, bu alan\u0131n daha g\u00fcvenli kullan\u0131lmas\u0131na olanak sa\u011flayan mekanizma olarak \u00f6zetleyebiliriz. Ayr\u0131ca e\u011fer \u00e7ok alt seviye bir kabiliyet geli\u015ftirmiyorsan\u0131z, union<\/em>‘lar yerine std::variant<\/em>‘\u0131 tercih edebilirsiniz.<\/p>\n std::variant<\/em>, programlama d\u00fcnyas\u0131nda, “sum type”<\/strong><\/em> denilen kavram\u0131n C++ d\u00fcnyas\u0131ndaki kar\u015f\u0131l\u0131\u011f\u0131. Ayr\u0131ca “tagged union”, “closed discriminated union”<\/strong><\/em> olarak da ifade edilebiliyor. Ne demek peki bu? Asl\u0131nda k\u0131saca (elbette arkas\u0131nda olduk\u00e7a derin bir teorik arka plan oldu\u011funa eminim), ayn\u0131 anda bir farkl\u0131 tiplerden sadece birisini tutan tiplere verilen isim (\u00f6r. e\u011fer bir tip ayn\u0131 anda sadece A ya da B olabiliyor ise). Bunun bir benzerine de “product types<\/strong><\/em>” deniliyor. Bu da, birden fazla tipi i\u00e7erisinde bar\u0131nd\u0131ran tiplere verilen isim (\u00f6r. struct, tuple,<\/em> vb).<\/p>\n std::variant<\/em> ile C++, belirlenmi\u015f olan olas\u0131 tip alternatiflerini i\u00e7erebilen ve bunlar\u0131 daha g\u00fcvenli bir \u015fekilde kullan\u0131lmas\u0131n\u0131 olanak sa\u011flayan “sum type<\/strong><\/em>” mekanizmas\u0131n\u0131 bizlere sunuyor.<\/p>\n std::variant<\/em>, C++ 17 ile birlikte sunulmaya ba\u015fland\u0131 ve kullanmak i\u00e7in ‘<variant>’ ba\u015fl\u0131k dosyas\u0131n\u0131 eklemeniz gerekmekte. std::variant<\/em> asl\u0131nda arka planda \u015fu anda aktif olarak kullan\u0131lan tipi tutar (bu anlamda ekstra bir bellek kullan\u0131m\u0131 vard\u0131r, ama tahmin edebilece\u011finiz \u00fczere minic\u00fck), ayr\u0131ca i\u00e7erisindeki de\u011fi\u015fkenlere ili\u015fkin de indeksleme\/numaraland\u0131rma yap\u0131larak, bu de\u011fi\u015fkenlere bu indeksler \u00fczerinde de eri\u015fim sa\u011flan\u0131yor (birazdan g\u00f6rece\u011fiz). Dinamik bellek kullan\u0131m\u0131 yap\u0131lmaz. Kullan\u0131lmas\u0131 olas\u0131 b\u00fct\u00fcn tipleri tan\u0131mlama s\u0131ras\u0131nda belirlemeniz ve sa\u011flaman\u0131z gerekiyor. Varsay\u0131lan olarak ilk tan\u0131mlanan tip aktif olarak atan\u0131r. Burada ayr\u0131ca ayn\u0131 tipten birden fazla tutabilirsiniz (semantik olarak farkl\u0131 anlamlar\u0131 ifade etmeleri i\u00e7in) ama bo\u015f std::variant tan\u0131mlamalar\u0131na ya da referans tipleri ya da dizi tiplerine izin verilmez (bo\u015f olarak tan\u0131mlamaya y\u00f6nelik std::monostate<\/em>\u00a0yap\u0131s\u0131 tan\u0131mlanm\u0131\u015f, bunun kullan\u0131m\u0131na da ileride de\u011finece\u011fim).<\/p>\n Peki hangi ama\u00e7lar i\u00e7in bu yap\u0131y\u0131 kullanabiliriz. Burada bunlar\u0131 listeleyip, \u00f6rnek kodlar\u0131 ise yaz\u0131m\u0131n sonunda sizler ile payla\u015faca\u011f\u0131m.<\/p>\n Kabiliyetlerin detaylar\u0131n\u0131 s\u0131ralamadan \u00f6nce hemen \u00f6rnek bir kullan\u0131ma bakal\u0131m:<\/p>\n \u015eimdi std::optional<\/em>‘da oldu\u011fu gibi, kalem kalem std::variant<\/em> kullan\u0131m\u0131na ili\u015fkin hususlar\u0131n \u00fczerinden \u00f6rnek kodlar ile birlikte ge\u00e7elim:<\/p>\n sizeof string: 40<\/strong> Yaz\u0131m\u0131 tamamlamadan \u00f6nce,\u00a0\u00e7ok temel baz\u0131 kullan\u0131mlar\u0131 i\u00e7eren \u00f6rnek kodlar\u0131 sizler ile payla\u015faca\u011f\u0131m. Bunlar\u0131 Bartlomiej Filipek<\/a>‘<\/span><\/strong>in sayfas\u0131ndan ald\u0131m, \u00f6rnek kullan\u0131mlar\u0131 g\u00f6stermesi a\u00e7\u0131s\u0131ndan olduk\u00e7a\u00a0g\u00fczel. Bunlardan ilki poliformizme benzer bir mekanizmay\u0131, miras mekanizmas\u0131n\u0131 kullanmadan nas\u0131l ba\u015farabilece\u011fimiz g\u00f6steriyor:<\/span><\/p>\n Bir di\u011feri ise hata durumlar\u0131n\u0131n kotar\u0131lmas\u0131na ili\u015fkin:<\/p>\n Evet arkada\u015flar, bu yaz\u0131 ile birlikte std::variant<\/em>\u00a0maceram\u0131z\u0131n da sonuna geldik. Bir sonraki yaz\u0131mda g\u00f6r\u00fc\u015fmek dile\u011fiyle.<\/p>\n <\/p>","protected":false},"excerpt":{"rendered":" Merhaba arkada\u015flar, bu yaz\u0131mda daha \u00f6nce std::optional ile ba\u015flad\u0131\u011f\u0131m\u0131z ve birbirleri ile ilintili oldu\u011funu d\u00fc\u015f\u00fcnd\u00fc\u011f\u00fcm ikinci kabiliyetten bahsedece\u011fim,\u00a0std::variant. std::optional ve benzeri di\u011fer kabiliyet yaz\u0131lar\u0131ma a\u015fa\u011f\u0131daki ba\u011flant\u0131lardan ula\u015fabilirsiniz: std::optional std::variant std::any Geriye sadece std::any kalm\u0131\u015f oluyor, o kabiliyete ayr\u0131 bir yaz\u0131da yer verece\u011fim. Peki std::variant nedir? Tek bir c\u00fcmle ile std::variant’\u0131 \u00f6zetleyecek olursak, “tip g\u00fcvenli union’lar“,… Continue reading \n
Birlik (“union”):<\/span><\/strong><\/h2>\n
union ExampleUnion\r\n{\r\n char mCharValue;\r\n int mIntValue;\r\n float mFloatValue;\r\n};\r\n\r\nunion ExampleUnion instance;\r\nunion ExampleUnion* ptr;<\/pre>\nstruct ExampleUnion\r\n{\r\n union\r\n {\r\n char mCharValue;\r\n int mIntValue;\r\n float mFloatValue;\r\n };\r\n\r\n \/\/ En son hangi tipi kullandigimiz\u0131 tutalim\r\n enum { eCharType = 1, eIntType, eFloatType } mCurrentType;\r\n};\r\n\r\n\/\/ Yukaridaki degiskenlere asagidaki gibi erisebilirsiniz\r\ninstance.mCharValue = 'a';\r\ninstance.mIntValue = 1;\r\ninstance.mFloatValue = 3.14;<\/pre>\nclass Point3F\r\n{\r\npublic:\r\n \/\/ Point ile ilgili kabiliyetler, etc.\r\n union\r\n {\r\n float mData[3];\r\n\r\n struct\r\n {\r\n\tfloat mX;\r\n\tfloat mY;\r\n\tfloat mZ;\r\n };\r\n };\r\n};\r\n\r\nPoint3F position;\r\n\r\n\/\/ Ayni anda kullanilabilirler ve ayni anlama gelirler\r\nv.mData[0] = 1.0f;\r\nv., mX = 1.0f;<\/pre>\n\n
#include <iostream>\r\n#include <string>\r\n#include <vector>\r\n\r\nunion CPlusPlusUnion\r\n{\r\n\tstd::string str;\r\n\tstd::vector<int> vec;\r\n\r\n\t\/\/ Burda hangi degiskenin yikicisi cagrilacak?\r\n\t~S() { }\r\n};\r\n\r\nint main()\r\n{\r\n\tS s = { \"Hello, world\" };\r\n\r\n\t\/\/ Bu noktada olak\u0131 s.vec i okumaya kalkarsaniz, ne ile karsilacaginiz tanimsizdir\r\n\tstd::cout << \"s.str = \" << s.str << '\\n';\r\n\r\n\t\/\/ Diger degiskeni kullanmadan once, bir oncekinin yikicisini cagirmalisiniz!\r\n\ts.str.~basic_string<char>();\r\n\r\n\t\/\/ Sonra da yeni tipin yapicisini\r\n\tnew (&s.vec) std::vector<int>;\r\n\r\n\t\/\/ Artik s.vec i kullanabilirsiniz. Pek kolay olmadi ne dersiniz :)\r\n\ts.vec.push_back(10);\r\n\tstd::cout << s.vec.size() << '\\n';\r\n\r\n\t\/\/ Simdi artik bunu da el ile cagirmamiz gerekiyor\r\n\ts.vec.~vector<int>();\r\n\r\n\treturn 0;\r\n}<\/pre>\nstd::variant:<\/strong><\/span><\/h2>\n
\n
#include <variant>\r\n#include <iostream>\r\n\r\nint main()\r\n{\r\n\t\/\/ std::string aktif tip\r\n\tstd::variant<int, std::string> varInstance{ \"Selam\" };\r\n\r\n\t\/\/ Ciktisi 1\r\n\tstd::cout << varInstance.index() << '\\n';\r\n\r\n\t\/\/ Simdi art\u0131k aktif tip int\r\n\tvarInstance = 42;\r\n\r\n\t\/\/ Cikti 0\r\n\tstd::cout << varInstance.index() << '\\n';\r\n\r\n\t...\r\n\t\ttry\r\n\t{\r\n\t\t\/\/ \u0130lgili degere index ile erisim\r\n\t\tint i = std::get<0>(varInstance);\r\n\r\n\t\t\/\/ Su an aktif tip int oldugu i\u00e7in asagidaki kullan\u0131m exception atar\r\n\t\tauto s = std::get<std::string>(varInstance);\r\n\r\n\t\t\/\/ Yukaridaki satirin exception atmayan hali de mevcut elbette\r\n\t\t\/\/ Bu durumda std => nullptr\r\n\t\tauto str = std::get_if<std::string>(&var);\r\n\r\n\t\t...\r\n\t}\r\n\tcatch (const std::bad_variant_access& e)\r\n\t{\r\n\t\t\/\/ Hatali tipe erisim durumunda alacag\u0131m\u0131z hata\r\n\t\tstd::cerr << \"Hata: \" << e.what() << '\\n';\r\n\t\t...\r\n\t}\r\n}<\/pre>\nKabiliyetler:<\/span><\/strong><\/h2>\n
\n
\n
\/\/ aktif tip\u00a0int yapilir ve degeri 0 olarak atanir. Index de 0 dir\r\nstd::variant<int, float, std::string> v1;<\/pre>\n
\n
\n
\/\/ Aktif tip float, degeri 4.14 ve index de 1 dir\r\nstd::variant<int, float, std::string> instance1 { 4.14F};\r\n\r\n\/\/ Hata: hangisi belli degil? 4.5 int'e de float'a da donusebilir\r\nstd::variant<int, float, std::string> instance2{4.5};\r\n\r\n\/\/ Hata: hangisi belli degil?\r\nstd::variant<int, float> instance3{42.3}; \r\n\r\n\/\/ Bu tanimlamada cikarim yapilabilir ve aktif tip double olur\r\nstd::variant<int, double> instance4{42.3};<\/pre>\n\n
\n
\/\/ Aktif tipin float olarak atanmas\u0131 dikte edilir ve yukar\u0131daki kar\u0131\u015f\u0131kl\u0131k giderilir\r\nstd::variant<int, float, std::string> instance5 { std::in_place_index<1>, 4.5 }; \r\n<\/pre>\n\n
\n
std::variant<std::vector<int>, int, std::string> instance6{std::in_place_index<0>,{4, 8, -7, -2, 0, 5}};<\/pre>\n\n
\n
\/\/ Hatal\u0131 kullan\u0131m. Birden fazlda ilklendirme degeri direk ge\u00e7irilemez\r\nstd::variant<std::complex<double>> instance5{3.0, 4.0};\r\n\/\/ Hatal\u0131 kullan\u0131m. \r\nstd::variant<std::complex<double>> instance6{{3.0, 4.0}};\r\n\r\n\/\/ in_place_type\/in_place_index ile birden fazla deger gecirilebilir\r\nstd::variant<std::complex<double>> v11{std::in_place_type<std::complex<double>>, 3.0, 4.0};\r\nstd::variant<std::complex<double>> v12{std::in_place_index<0>, 3.0, 4.0};<\/pre>\n\n
\n
struct NoDefConstr \r\n{\r\n NoDefConstr(int i) {\r\n std::cout << \"NoDefConstr::NoDefConstr(int) called\\n\";\r\n }\r\n};\r\n\r\n\/\/ Hatal\u0131 kullan\u0131m. NoDefConstr varsay\u0131lan yap\u0131c\u0131s\u0131 yok.\r\nstd::variant<NoDefConstr, int> instanceError;\r\n\r\n\/\/ Burada NoDefConstr tipini de i\u00e7erebilecek nesne olusturulur ve index de 0 olur\r\nstd::variant<std::monostate, NoDefConstr, int> instanceOk;<\/pre>\n\n
\n
#include <variant>\r\n#include <string>\r\n#include <iostream>\r\nint main()\r\n{\r\n std::variant<int, std::string> v = \"abc\";\r\n std::cout << std::boolalpha\r\n << \"variant holds int? \"\r\n << std::holds_alternative<int>(v) << '\\n'\r\n << \"variant holds string? \"\r\n << std::holds_alternative<std::string>(v) << '\\n';\r\n}<\/pre>\n\n
\n
#include <variant>\r\n#include <iostream>\r\n\r\nint main()\r\n{\r\n\t\/\/ Ornek variant nesnemiz.\r\n\tstd::variant<int, float, std::string> var;\r\n\r\n\t\/\/ Duzgun kullanim mevcut int degeri (0) donulur. Iki kullanim da ayni\r\n\tauto intVal1 = std::get<int>(var);\r\n\tauto intVal2 = std::get<0>(var);\r\n\r\n\t\/\/ Hata: double tanimli degil\r\n\tauto dblValue = std::get<double>(var); \/\/ compile-time ERROR: no double\r\n\r\n\t\/\/ Hata: 5. alternatif tip tanimli degil\r\n\tauto nonValue= std::get<4>(var); \r\n\r\n\ttry \r\n\t{\r\n\t\t\/\/ Su an aktif tip int oldugu icin hata firlatilir\r\n\t\tauto s = std::get<std::string>(var); \r\n\r\n\t\t\/\/ Problem yok. Gecerli kullanim\r\n\t\tauto i = std::get<0>(var); \r\n\r\n\t\t\/\/ Su an aktif tip indeksi 0 oldugu icin yine hata firlatilir\r\n\t\tauto j = std::get<1>(var); \r\n\t}\r\n\tcatch (const std::bad_variant_access& e) \r\n\t{ \r\n\t\tstd::cout << \"Exception: \" << e.what() << '\\n';\r\n\t}\r\n\r\n\treturn 0;\r\n}<\/pre>\n\n
\n
\/\/ ip burada ilgili tipe i\u015faret\u00e7iyi tutuyor ve hatal\u0131 durumlarda nullptr olarak atan\u0131yor\r\nif (auto ip = std::get_if<1>(&var); ip) \r\n{\r\n std::cout << *ip << '\\n';\r\n}\r\nelse \r\n{\r\n std::cout << \"alternative with index 1 not set\\n\";\r\n}<\/pre>\n\n
\n
\/\/ Su an int aktif tip\r\nstd::variant<int, float, std::string> instance; \r\n\r\n\/\/ Artik aktif tip std::string ve indeks 2\r\ninstance = \"Merhaba\";\r\n\r\n\/\/ Artik aktif tip float ve indeks 1\r\ninstance.emplace<2>(3.5f);\r\n\r\n\/\/ Aktif tip float oldugu icin hata aliriz\r\nstd::get<0>(var) = 77; \r\n\r\n\/\/ Herhangi bir sikinti yok\r\nstd::get<1>(var) = 55.6f;\r\n\r\n\/\/ Ayn\u0131 sekilde isaretciler \u00fczerinde degisiklikte bir s\u0131k\u0131nt\u0131 yok\r\nif (auto p = std::get_if<1>(&var); p)\r\n\t*p = 8.5f;<\/pre>\n
\n
std::variant<std::monostate, int, std::string> v1;\r\nstd::variant<std::monostate, int, std::string> v2{ \"hello\" };\r\nstd::variant<std::monostate, int, std::string> v3{ 42 };\r\nstd::variant<std::monostate, std::string, int> v4;\r\n\r\n\/\/ Derleme zamani hatasi (farkli tipler)\r\nv1 == v4 \/\/ COMPILE-TIME ERROR\r\n\r\n\/\/ false\r\nv1 == v2\r\n\r\n\/\/ true\r\nv1 < v2 \/\/ yields true\r\n\r\n\/\/ true\r\nv1 < v3 \/\/ yields true\r\n\r\n\/\/ false\r\nv2 < v3\r\n\r\nv1 = \"hello\";\r\n\r\n\/\/ true\r\nv1 == v2\r\n\r\nv2 = 41;\r\n\r\n\/\/ true\r\nv2 < v3<\/pre>\n\n
#include <variant>\r\n#include <string>\r\n#include <iostream>\r\n\r\nstruct ExampleVisitor\r\n{\r\n\tvoid operator() (int i) const \r\n\t{\r\n\t\tstd::cout << \"int: \" << i << '\\n';\r\n\t}\r\n\t\r\n\tvoid operator() (std::string s) const \r\n\t{\r\n\t\tstd::cout << \"string: \" << s << '\\n';\r\n\t}\r\n\t\r\n\tvoid operator() (double d) const \r\n\t{\r\n\t\tstd::cout << \"double: \" << d << '\\n';\r\n\t}\r\n};\r\n\r\nint main()\r\n{\r\n\tstd::variant<int, std::string, double> var(42);\r\n\r\n\t\/\/ MyVisitor'\u0131n int i\u00e7in olan\u0131 \u00e7a\u011fr\u0131l\u0131r\r\n\tstd::visit(ExampleVisitor(), var); \r\n\tvar = \"hello\";\r\n\t\/\/ MyVisitor'\u0131n std::string i\u00e7in olan\u0131 ca\u011fr\u0131l\u0131r\r\n\tstd::visit(ExampleVisitor(), var); \r\n\tvar = 42.7;\r\n\r\n\t\/\/ MyVisitor'\u0131n double i\u00e7in olan\u0131 \u00e7a\u011fr\u0131l\u0131r\r\n\tstd::visit(ExampleVisitor(), var);\r\n}<\/pre>\n\n
\n
struct Twice\r\n{\r\n\tvoid operator()(double& d) const \r\n\t{\r\n\t\td *= 2;\r\n\t}\r\n\tvoid operator()(int& i) const\r\n\t{\r\n\t\ti *= 2;\r\n\t}\r\n\tvoid operator()(std::string& s) const\r\n\t{\r\n\t\ts = s + s;\r\n\t}\r\n};\r\n\r\nstd::visit(Twice(), var);<\/pre>\n\n
\n
auto printvariant = [](const auto& val) {\r\n std::cout << val << '\\n';\r\n };\r\n...\r\nstd::visit(printvariant, var);<\/pre>\n\n
#include <variant>\r\n#include <string>\r\n#include <iostream>\r\n\r\nint main()\r\n{\r\n\tstd::cout << \"sizeof string: \"\r\n\t\t<< sizeof(std::string) << \"\\n\";\r\n\r\n\tstd::cout << \"sizeof variant<int, string>: \"\r\n\t\t<< sizeof(std::variant<int, std::string>) << \"\\n\";\r\n\r\n\tstd::cout << \"sizeof variant<int, float>: \"\r\n\t\t<< sizeof(std::variant<int, float>) << \"\\n\";\r\n\r\n\tstd::cout << \"sizeof variant<int, double>: \"\r\n\t\t<< sizeof(std::variant<int, double>) << \"\\n\";\r\n\r\n\treturn 0;\r\n}<\/pre>\n
\nsizeof variant<int, string>: 48<\/strong>
\nsizeof variant<int, float>: 8<\/strong>
\nsizeof variant<int, double>: 16<\/strong><\/p>\n\n
\/\/ Hata f\u0131rtlatmas\u0131 i\u00e7in \u00f6rnek bir durum olusturalim\r\nclass ThrowingClass\r\n{\r\npublic:\r\n explicit ThrowingClass(int i) { if (i == 0) throw int (10); }\r\n operator int () { throw int(10); }\r\n};\r\n\r\nint main(int argc, char** argv) \r\n{\r\n std::variant<int, ThrowingClass> v;\r\n\r\n \/\/ Hatay\u0131 tetikleyelim:\r\n try\r\n {\r\n v = ThrowingClass(0);\r\n }\r\n catch (...)\r\n {\r\n std::cout << \"catch(...)\\n\";\r\n\r\n \/\/ Burada hata eski deger degisitirilmeden olustugu icin eski degere ulasip nesneyi kullanmaya devam edebiliriz.\r\n std::cout << v.valueless_by_exception() << \"\\n\"; \r\n std::cout << std::get<int>(v) << \"\\n\"; \r\n }\r\n\r\n \/\/ emplace() durumuna da bir goz atal\u0131m\r\n \/\/ Burada geri donus biraz zor\r\n try\r\n {\r\n \/\/ Yukaridaki durumdan farkl\u0131 olarak emplace in dogasindan \u00f6t\u00fcr\u00fc bir \u00f6nceki aktif tip yok edildikten sonra hata f\u0131rlat\u0131ld\u0131g\u0131 icin\r\n \/\/ eski degere ne yaz\u0131kki ulasam\u0131yoruz.\r\n \/\/ Ayrica bu nesne de artik kullanilamaz\r\n v.emplace<0>(ThrowingClass(10)); \/\/ calls the operator int\r\n }\r\n catch (...)\r\n {\r\n std::cout << \"catch(...)\\n\";\r\n \/\/ Su an da tan\u0131ml\u0131 olmayan gecersiz bir durum bas\u0131l\u0131r\r\n std::cout << v.valueless_by_exception() << \"\\n\"; \r\n }\r\n\r\n return 0;\r\n}<\/pre>\n#include <iostream>\r\n#include <vector>\r\n#include <variant>\r\n\r\nclass Triangle\r\n{\r\npublic:\r\n\tvoid Render() { std::cout << \"Drawing a triangle!\\n\"; }\r\n};\r\n\r\nclass Polygon\r\n{\r\npublic:\r\n\tvoid Render() { std::cout << \"Drawing a polygon!\\n\"; }\r\n};\r\n\r\nclass Sphere\r\n{\r\npublic:\r\n\tvoid Render() { std::cout << \"Drawing a sphere!\\n\"; }\r\n};\r\n\r\nint main()\r\n{\r\n\tstd::vector<std::variant<Triangle, Polygon, Sphere>> objects{\r\n\t\tPolygon(),\r\n\t\tTriangle(),\r\n\t\tSphere(),\r\n\t\tTriangle()\r\n\t};\r\n\r\n\tauto CallRender = [](auto& obj) { obj.Render(); };\r\n\r\n\tfor (auto& obj : objects)\r\n\t\tstd::visit(CallRender, obj);\r\n\r\n}<\/pre>\n#include <iostream>\r\n#include <string>\r\n#include <variant>\r\n\r\nenum class ErrorCode\r\n{\r\n\tOk,\r\n\tSystemError,\r\n\tIoError,\r\n\tNetworkError\r\n};\r\n\r\n\/\/ Hata mi aldik yoksa ilgili string dogru bir sekilde geldi mi?\r\nstd::variant<std::string, ErrorCode> FetchNameFromNetwork(int i)\r\n{\r\n\tif (i == 0)\r\n\t\treturn ErrorCode::SystemError;\r\n\r\n\tif (i == 1)\r\n\t\treturn ErrorCode::NetworkError;\r\n\r\n\treturn std::string(\"Hello World!\");\r\n}\r\n\r\nint main()\r\n{\r\n\t\/\/ Sistem hatasi durumu\r\n\tauto response = FetchNameFromNetwork(0);\r\n\r\n\tif (std::holds_alternative<std::string>(response))\r\n\t\tstd::cout << std::get<std::string>(response) << \"n\";\r\n\telse\r\n\t\tstd::cout << \"Error!\\n\";\r\n\r\n\t\/\/ Duzgun bir sekilde stringin alinmasi durumu\r\n\tresponse = FetchNameFromNetwork(10);\r\n\r\n\tif (std::holds_alternative<std::string>(response))\r\n\t\tstd::cout << std::get<std::string>(response) << \"n\";\r\n\telse\r\n\t\tstd::cout << \"Error!\\n\";\r\n\r\n\treturn 0;\r\n}<\/pre>\nReferanslar:<\/span><\/strong><\/h2>\n
\n