/*@jsxRuntime automatic @jsxImportSource react*/ const {Fragment: _Fragment, jsx: _jsx, jsxs: _jsxs} = arguments[0]; const title = "Tentang Move Semantics di C++", description = "Apa itu move semantics? Mengapa kita perlu memahami move semantics?", tags = ["c++", "move semantics", "software development"], draft = false, timestamp = new Date(1654431600000); function _createMdxContent(props) { const _components = Object.assign({ h4: "h4", p: "p", h3: "h3", code: "code", pre: "pre", em: "em", a: "a", strong: "strong", ul: "ul", li: "li", blockquote: "blockquote" }, props.components); return _jsxs(_Fragment, { children: [_jsx(_components.h4, { children: "Disclaimer" }), "\n", _jsx(_components.p, { children: "Post ini bukan merupakan tutorial atau menerangkan best practices dalam menggunakan move semantics di C++.\nSaya sendiri bukan seorang ahli dalam topik ini, namun karena saya gampang lupa jika tidak mencatat, maka tulisan ini\ndibuat sebagai catatan saya pribadi yang akan terus diperbarui seiring bertambahnya pengetahuan tentang move semantics." }), "\n", _jsx(_components.p, { children: "Jika Anda tertarik mempelajari apa itu move semantics, mengapa kita perlu memahami move semantics, dan bagaimana cara menggunakan nya,\nanda dapat melewati teks di bawah ini dan mengklik tautan-tauran referensi yang saya cantumkan di akhir." }), "\n", _jsx(_components.h3, { children: "Case 1: Membuat vector dari objek dari kelas yang dibuat sendiri" }), "\n", _jsx(_components.p, { children: "Membuat vector dari objek dari kelas Device untuk menampung data perangkat-perangkat bluetooth low energy." }), "\n", _jsxs(_components.p, { children: ["Berikut adalah definisi kelas ", _jsx(_components.code, { children: "Device" }), ":"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "#include \n\nclass Device {\npublic:\n Device(std::string name): name_(name) {}\n\n std::string getName()\n {\n return name_;\n }\nprivate:\n std::string name_;\n};\n" }) }), "\n", _jsx(_components.p, { children: "Kemudian, buat vector untuk menampung objek dari kelas Device." }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "#include \n\n// buat type alias untuk vector dari Device\nusing Devices = std::vector;\n\nint main()\n{\n Devices devs;\n Device one(\"One\");\n Device two(\"Two\");\n\n devs.push_back(one);\n devs.push_back(two);\n\n return 0;\n}\n" }) }), "\n", _jsxs(_components.p, { children: ["Jika saya coba untuk mencetak nama dari object ", _jsx(_components.code, { children: "one" }), " dan ", _jsx(_components.code, { children: "two" }), " dengan menggunakan ", _jsx(_components.code, { children: "std::cout" }), " seperti pada kutipan kode berikut:"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "// baris pertama file c++\n#include \n\n// ...\n\n\nint main()\n{\n Devices devs;\n Device one(\"One\");\n Device two(\"Two\");\n\n devs.push_back(one);\n devs.push_back(two);\n\n std::cout << \"Doing something with: \" << one.getName() << std::endl;\n std::cout << \"Doing something with: \" << two.getName() << std::endl;\n\n return 0;\n}\n" }) }), "\n", _jsx(_components.p, { children: "Keluaran dari program ini adalah:" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "Doing something with\nDoing something with\n" }) }), "\n", _jsxs(_components.p, { children: ["Apa yang terjadi? Seharusnya program di atas mencetak ", _jsx(_components.code, { children: "Doing something with One" }), " dan ", _jsx(_components.code, { children: "Doing something with Two" }), "."] }), "\n", _jsx(_components.h4, { children: "Update 1:" }), "\n", _jsxs(_components.p, { children: ["Kesalahan penulisan kode yang mengakibatkan hasil yang salah.\nSebelumnya, kita menganggap bahwa dengan memanggil ", _jsx(_components.code, { children: "push_back" }), " pada vector akan memindahkan member dari objek yang diberikan pada vector.\nNamun, yang terjadi adalah ", _jsx(_components.code, { children: "push_back" }), " membuat objek baru dan menyalin member objek yang menjadi argumen dari fungsi ", _jsx(_components.code, { children: "push_back" }), " ke objek baru tersebut.\nSehingga, seharusnya keluaran dari program yang dihasilkan adalah sebagai berikut:"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "Device(One) created, address: 0x7fffb2de5ee0\nDevice(Two) created, address: 0x7fffb2de5ec0\nDoing something with One\nDoing something with Two\nAbout to push_back devices...\nDoing something with One\nDoing something with Two\n" }) }), "\n", _jsx(_components.h3, { children: "Raw Pointer dalam Sebuah Class" }), "\n", _jsx(_components.p, { children: "Dalam kasus advertisement data oleh perangkat bluetooth low energy, setiap perangkat yang terpindai oleh\nperangkat lain akan mencantumkan advertisement data. Advertisement data merupakan\nkumpulan bytes yang ukuran totalnya tidak melebihi 31 byte." }), "\n", _jsxs(_components.p, { children: ["Biasanya advertisement data direpresentasikan oleh array dengan tipe data ", _jsx(_components.code, { children: "uint8_t" }), " atau ", _jsx(_components.code, { children: "unsigned char" }), ".\nJika kita ingin mencantumkan data tersebut ke dalam kelas ", _jsx(_components.code, { children: "Device" }), ", maka kita perlu menambahkan member baru."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "#include \n\nclass Device {\npublic:\n Device(std::string name, uint8_t *adv_data, size_t adv_data_len): name_(name)\n {\n // alokasikan memory untuk advertisement data\n adv_data_ = new uint8_t[adv_data_len];\n\n // copy advertisement data\n memcpy(adv_data_, adv_data, adv_data_len);\n adv_data_len_ = adv_data_len;\n }\n\n std::string getName()\n {\n return name_;\n }\n\n uint8_t* getAdvertisementData()\n {\n return adv_data_;\n }\nprivate:\n std::string name_;\n uint8_t *adv_data_;\n size_t adv_data_len_;\n};\n" }) }), "\n", _jsxs(_components.p, { children: ["Karena kita menggunakan ", _jsx(_components.code, { children: "new" }), " untuk mengalokasikan tempat di memory, maka kita harus membebaskan memory tersebut\nketika kelas ", _jsx(_components.code, { children: "Device" }), " tidak lagi dibutuhkan. Artinya, kita memerlukan destructor untuk kelas ", _jsx(_components.code, { children: "Device" }), "."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "#include \n\nclass Device {\npublic:\n Device(std::string name, uint8_t *adv_data, size_t adv_data_len): name_(name)\n {\n // alokasikan memory untuk advertisement data\n adv_data_ = new uint8_t[adv_data_len];\n\n // copy advertisement data\n memcpy(adv_data_, adv_data, adv_data_len);\n adv_data_len_ = adv_data_len;\n }\n\n ~Device()\n {\n delete [] adv_data_;\n }\n\n std::string getName()\n {\n return name_;\n }\n\n uint8_t* getAdvertisementData()\n {\n return adv_data_;\n }\nprivate:\n std::string name_;\n uint8_t *adv_data_;\n size_t adv_data_len_;\n};\n" }) }), "\n", _jsxs(_components.p, { children: ["Di titik ini, kelas ", _jsx(_components.code, { children: "Device" }), " dapat menampung advertisement data yang akan diproses oleh program secara keseluruhan.\nNamun, hal ini merupakan awal dari munculnya ", _jsx(_components.em, { children: "bug" }), " menyebalkan."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "// baris deklarasi kelas dan type alias\n// ...\n\nint main()\n{\n // advertisement data flags sebanyak 2 bytes\n // format: length type data\n // total size: 3 bytes\n uint8_t adv_data[3] = {0x02, 0x01, 0x06};\n\n Devices devs;\n Device one(\"One\", adv_data, 3);\n Device two(\"Two\", adv_data, 3);\n\n devs.push_back(one);\n devs.push_back(two);\n\n std::cout << \"Doing something with: \" << one.getName() << std::endl;\n std::cout << \"Doing something with: \" << two.getName() << std::endl;\n\n return 0;\n}\n" }) }), "\n", _jsx(_components.p, { children: "Kita hanya perlu menambahkan advertisement data dan length dari advertisement data agar program dapat dikompilasi.\nNamun, apa yang terjadi ketika program dijalankan?" }), "\n", _jsxs(_components.p, { children: ["Berikut adalah output dari ", _jsx(_components.a, { href: "https://godbolt.org/z/d7av9baeY", children: "program tersebut" }), ":"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "ASM generation compiler returned: 0\nExecution build compiler returned: 0\nProgram returned: 139\nfree(): double free detected in tcache 2\nDoing something with: One\nDoing something with: Two\n" }) }), "\n", _jsx(_components.p, { children: "Program yang kita buat menghasilkan return value 139, bukan 0. Dan yang lebih penting adalah pesan berikut:" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "free(): double free detected in tcache 2\n" }) }), "\n", _jsxs(_components.p, { children: ["Double free terdeteksi ketika program kita berusaha membebaskan memory dengan alamaty ang sama menggunakan ", _jsx(_components.code, { children: "delete" }), " atau ", _jsx(_components.code, { children: "delete []" }), " lebih dari satu kali.\nSeorang developer di ", _jsx(_components.a, { href: "https://stackoverflow.com/questions/26229511/what-is-the-issue-with-double-free#:~:text=Double%20free()%20is%20undefined,to%20behave%20in%20arbitrary%20ways.", children: "sebuah untaian diskusi" }), " di StackOverflow mengatakan bahwa double free merupakan ", _jsx(_components.strong, { children: "undefined behavior" }), " yang pada umumnya ", _jsx(_components.strong, { children: "harus dihindari dan dicegah" }), "!"] }), "\n", _jsxs(_components.p, { children: ["Namun, bagaimana bisa double free tersebut terjadi? Ketika kita menambahkan objek dari kelas ", _jsx(_components.code, { children: "Device" }), " ke sebuah vector, mestinya objek tersebut disalin.\nTapi, apakah benar demikian?"] }), "\n", _jsx(_components.h4, { children: "Special Member Function" }), "\n", _jsxs(_components.p, { children: ["Setiap kelas yang memiliki member akan diberikan ", _jsx(_components.em, { children: "special member function" }), " oleh compiler. Sebagai contoh:"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "struct SimpleDevice {\n std::string name;\n};\n" }) }), "\n", _jsxs(_components.p, { children: ["Kelas ", _jsx(_components.code, { children: "SimpleDevice" }), " pada kutipan kode di atas akan diberikan special member function oleh compiler, berikut adalah member function yang diberikan:"] }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: "Default constructor." }), "\n", _jsx(_components.li, { children: "Default destructor." }), "\n", _jsx(_components.li, { children: "Default copy constructor." }), "\n", _jsx(_components.li, { children: "Default copy assignment operator." }), "\n", _jsx(_components.li, { children: "Default move constructor." }), "\n", _jsx(_components.li, { children: "Default move assignment operator." }), "\n"] }), "\n", _jsxs(_components.p, { children: ["Special member function tersebut akan dihasilkan oleh compiler jika special member function tersebut tidak dideklarasikan secara eksplisit oleh programmer.\nKlaus Iglberger menjelaskan setiap special member function tersebut dengan sangat baik pada sesi ", _jsx(_components.a, { href: "https://www.youtube.com/watch?v=9BM5LAvNtus", children: "CppCon 2021" }), " di jalur back to basics."] }), "\n", _jsxs(_components.p, { children: ["Jika kita mendefinisikan destructor secara eksplisit seperti yang telah kita lakukan pada kelas ", _jsx(_components.code, { children: "Device" }), ", maka kita harus mendefinisikan\nspecial member function lain secara eksplisit."] }), "\n", _jsx(_components.h4, { children: "Shallow Copy" }), "\n", _jsxs(_components.p, { children: ["Jika kita mencantumkan raw pointer yang dikelola secara mandiri oleh sebuah objek (seperti yang dilakukan oleh objek dari kelas ", _jsx(_components.code, { children: "Device" }), "), default copy constructor dan copy assignment operator\n", _jsx(_components.strong, { children: "hanya akan menyalin pointer tersebut" }), ", sedangkan ", _jsx(_components.strong, { children: "memory yang dialokasikan tidak disalin" }), ".\nKetika objek ", _jsx(_components.code, { children: "Device" }), " disalin, salinan dari objek tersebut akan menunjuk ke alamat memory ", _jsx(_components.code, { children: "adv_data_" }), " yang sama dengan objek asli.\nIni yang menyebabkan terjadinya double free."] }), "\n", _jsx(_components.h4, { children: "Solusi: Implementasi Copy Constructor dan Copy Assignment Operator" }), "\n", _jsxs(_components.p, { children: ["Agar ", _jsx(_components.code, { children: "adv_data_" }), " pada kelas ", _jsx(_components.code, { children: "Device" }), " tersalin dengan benar, maka kita harus mengimplementasikan copy constructor dan copy assignment operator."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "// deklarasi kelas Device\n// ...\n\n Device(const Device& other) noexcept\n {\n if (&other == this) {\n return;\n }\n\n name_ = other.name_;\n adv_data_ = new uint8_t[other.adv_data_len_];\n memcpy(adv_data_, other.adv_data_, other.adv_data_len_);\n adv_data_len_ = other.adv_data_len_;\n }\n\n Device& operator=(const Device& other) noexcept\n {\n if (&other == this)\n {\n return *this;\n }\n\n name_ = other.name_;\n adv_data_ = new uint8_t[other.adv_data_len_];\n memcpy(adv_data_, other.adv_data_, other.adv_data_len_);\n adv_data_len_ = other.adv_data_len_;\n\n return *this;\n }\n" }) }), "\n", _jsx(_components.p, { children: "Copy constructor dan copy assignment operator tersebut menyelesaikan masalah double free yang terjadi karena raw pointer.\nMasalah tersebut terselesaikan karena kita tidak lagi hanya menyalin pointer, namun kita juga menyalin memory yang ditunjuk oleh pointer tersebut." }), "\n", _jsx(_components.p, { children: "Copy constructor memiliki signature seperti berikut" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "Device(const Device& other)\n{\n // ...\n}\n" }) }), "\n", _jsx(_components.p, { children: "Sedangkan copy assignment operator memiliki signature seperti berikut" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "Device& operator=(const Device& other)\n{\n // ...\n}\n" }) }), "\n", _jsxs(_components.p, { children: ["Program yang telah diperbarui dengan menambahkan copy constructor dan copy assignment operator untuk kelas ", _jsx(_components.code, { children: "Device" }), " akan kembali berjalan normal.\nLihat hasil program tersebut ", _jsx(_components.a, { href: "https://godbolt.org/z/E98jnhxh1", children: "di sini" }), "."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "ASM generation compiler returned: 0\nExecution build compiler returned: 0\nProgram returned: 0\nDoing something with: One\nDoing something with: Two\n" }) }), "\n", _jsx(_components.h3, { children: "Rvalue dan Lvalue" }), "\n", _jsx(_components.p, { children: "Sebelum memasuki topik utama, penting untuk mengetahui tentang rvalue dan lvalue beserta rvalue reference dan lvalue reference." }), "\n", _jsx(_components.h4, { children: "Apa itu Lvalue?" }), "\n", _jsxs(_components.p, { children: ["Lvalue merupakan sebuah ", _jsx(_components.em, { children: "expression" }), " atau ekspresi yang evaluasi nya menentukan identitas dari sebuah objek atau fungsi.\nSingkatnya, nilai yang memiliki nama atau alamat yang merupakan sebuah lvalue."] }), "\n", _jsx(_components.p, { children: "Sebagai contoh, berikut adalah kumpulan dari lvalue" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "int c = 0;\n// c adalah lvalue\n\nint getRandomNumber()\n{\n return 0;\n}\n\n// getRandomNumber adalah lvalue\n\n// karena c merupakan lvalue, maka alamat c dapat diidentifikasi\nstd::cout << reinterpret_cast(c) << std::endl;\n\n// begitu pula dengan getRandomNumber\nstd::cout << reinterpret_cast(getRandomNumber) << std::endl;\n" }) }), "\n", _jsx(_components.h4, { children: "Apa itu Rvalue?" }), "\n", _jsxs(_components.p, { children: ["Rvalue merupakan kebalikan dari lvalue.\nEkspresi yang menghasilkan objek sementara atau ", _jsx(_components.em, { children: "temporary object" }), " merupakan ekspresi rvalue."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "int c = 10;\n// c merupakan lvalue, 10 merupakan ekspresi rvalue.\n// 10 merupakan objek sementara, dalam kasus ini dapat digunakan\n// kembali oleh variabel c\n\nint getRandomNumber()\n{\n return 0;\n}\n\n// ekspresi berikut merupakan ekspresi rvalue\n// getRandomNumber mengembalikan 0 yang tidak digunakan lagi\n// oleh siapapun\ngetRandomNumber();\n\n// setelah baris di atas, nila yang dihasilkan oleh fungsi\n// tersebut akan lenyap\n" }) }), "\n", _jsxs(_components.p, { children: ["Ciri khas dari sebuah rvalue expression adalah kita tidak dapat menentukan alamat\ndari objek yang dihasilkan dengan menggunakan operator reference ", _jsx(_components.code, { children: "&" }), "."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "std::cout << reinterpret_cast(&10) << std::endl;\n\n// baris di atas tidak dapat dicompile dan akan berakhir sebagai error\n" }) }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "error: lvalue required as unary '&' operand\nstd::cout << reinterpret_cast(&10) << std::endl;\n" }) }), "\n", _jsx(_components.h4, { children: "Referensi Lvalue dan Referensi Rvalue" }), "\n", _jsx(_components.p, { children: "Seperti namanya, referensi lvalue atau lvalue reference merupakan referensi ke sebuah lvalue." }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "\nint c = 10;\n// c merupakan lvalue\n\nint &d = c;\n// d merupakan referensi lvalue\n" }) }), "\n", _jsxs(_components.p, { children: ["Referensi lvalue ditandai dengan penggunaan tanda ", _jsx(_components.code, { children: "&" }), ". Referensi lvalue juga dapat memiliki atribut ", _jsx(_components.code, { children: "const" }), "\nuntuk menandai bahwa referensi tersebut merupakan ", _jsx(_components.em, { children: "immutable reference" }), "."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "int c = 10;\nconst int &d = c;\n\n// d = 12;\n// baris di atas akan menghasilkan galat ketika kode dikompilasi\n" }) }), "\n", _jsx(_components.p, { children: "Immutable lvalue reference dapat digunakan untuk mengacu ke objek sementara, cara ini digunakan\nuntuk memperpanjang umur objek sementara yang harusnya menguap setelah ekspresi yang menghasilkan\nobjek tersebut selesai dievaluasi menjadi tetap hidup sampai akhir dari scope referensi tersebut." }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "std::string getName()\n{\n return \"Winter\";\n}\n\nint main()\n{\n getName(); // merupakan rvalue atau objek sementara\n\n // String \"Winter\" akan lenyap setelah ekspresi tersebut\n // selesai dieksekusi\n\n // std::string &name = getName();\n // akan menghasilkan error\n\n const std::string &name = getName();\n\n // objek sementara hasil evaluasi getName() akan tetap\n // hidup sampai akhir dari scope yang menaungi\n // referensi lvalue\n return 0;\n}\n" }) }), "\n", _jsxs(_components.p, { children: ["Berikut adalah galat yang dihasilkan jika baris ", _jsx(_components.code, { children: "std::string &name = getName()" }), " dikompilasi:"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "In function 'int main()':\nerror: cannot bind non-const lvalue reference of type 'std::string&' {aka 'std::__cxx11::basic_string&'} to an rvalue of type 'std::string' {aka 'std::__cxx11::basic_string'}\n| std::string& name = getName();\n" }) }), "\n", _jsxs(_components.p, { children: ["C++ menjamin bahwa objek sementara ", _jsx(_components.code, { children: "getName()" }), ", yang hidupnya tidak akan lama dan akan segera lenyap dari kenyataan, tidak dapat dimodifikasi."] }), "\n", _jsxs(_components.p, { children: ["Referensi lvalue dengan ", _jsx(_components.code, { children: "const" }), " merupakan satu-satunya cara untuk memberikan referensi kepada objek sementara, sampai akhirnya standar\nC++11 dirilis."] }), "\n", _jsx(_components.h4, { children: "Referensi Rvalue" }), "\n", _jsxs(_components.p, { children: ["Referensi rvalue merupakan cara ", _jsx(_components.em, { children: "baru" }), " yang diperkenalkan oleh C++11 untuk mendeteksi objek sementara.\nReferensi rvalue menggunakan sintaks dengan tanda ", _jsx(_components.code, { children: "&&" }), ". Dengan menggunakan referensi rvalue, kita dapat mengikat\nobjek sementara (rvalue) dengan rvalue reference yang bersifat mutable."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "void printReference(const std::string& str)\n{\n std::cout << \"lvalue reference: \" << str << std::endl;\n}\n\nvoid printReference(std::string&& str)\n{\n std::cout << \"rvalue reference: \" << str << std::endl;\n}\n\nint main()\n{\n std::string name = \"Winter\";\n printReference(name);\n\n printReference(\"Alwin\");\n\n return 0;\n}\n" }) }), "\n", _jsx(_components.p, { children: "Kode di atas akan menghasilkan keluaran seperti berikut:" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "lvalue reference: Winter\nrvalue reference: Alwin\n" }) }), "\n", _jsxs(_components.p, { children: ["Hal tersebut membuktikan bahwa rvalue reference dapat digunakan untuk mendeteksi objek sementara.\nDalam kasus ini string ", _jsx(_components.code, { children: "\"Alwin\"" }), " merupakan objek sementara, sehingga compiler menggunakan\nfungsi ", _jsx(_components.code, { children: "printReference(std::string&& str)" }), "."] }), "\n", _jsxs(_components.p, { children: ["Referensi rvalue juga dapat bersifat immutable dengan menggunakan ", _jsx(_components.code, { children: "const" }), ". Namun, immutable rvalue reference\nakan jarang sekali ditemukan dalam kasus move semantics."] }), "\n", _jsx(_components.h3, { children: "Move Semantics" }), "\n", _jsxs(_components.p, { children: ["Kembali ke kasus dengan kelas ", _jsx(_components.code, { children: "Device" }), ", bagaimana jika kita ingin memindahkan objek dari kelas ", _jsx(_components.code, { children: "Device" }), " tapi\ntanpa menyalin isi dari raw pointer ", _jsx(_components.code, { children: "adv_data_" }), "?"] }), "\n", _jsx(_components.p, { children: "Mengapa kita ingin melakukan hal tersebut?" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "int main()\n{\n uint8_t adv_data[3] = {0x02, 0x01, 0x06};\n\n Device dev(\"one\", adv_data, 3);\n\n Device another(dev);\n\n return 0;\n}\n" }) }), "\n", _jsxs(_components.p, { children: ["Misalkan, kita mempunyai objek dari kelas ", _jsx(_components.code, { children: "Device" }), " dengan nama ", _jsx(_components.code, { children: "dev" }), ". Kemudian, dikarenakan\noleh alasan tertentu, kita perlu memindahkan device ke tempat lain. Mudahnya,\nkita bisa saja menyalin objek ", _jsx(_components.code, { children: "dev" }), " ke objek ", _jsx(_components.code, { children: "another" }), " seperti yang ditunjukkan oleh\nkode di atas."] }), "\n", _jsxs(_components.p, { children: ["Seperti yang dijelaskan di bagian sebelumnya, semua member dari objek ", _jsx(_components.code, { children: "dev" }), " disalin ke objek\n", _jsx(_components.code, { children: "another" }), ", tidak terkecuali raw pointer ", _jsx(_components.code, { children: "adv_data_" }), ". Jika kita masih ingin menggunakan objek\n", _jsx(_components.code, { children: "dev" }), ", maka menyalin objek ", _jsx(_components.code, { children: "dev" }), " ke objek ", _jsx(_components.code, { children: "another" }), " merupakan cara yang masuk akal dan dapat diterima.\nNamun, jika kita tidak ingin menggunakan objek ", _jsx(_components.code, { children: "dev" }), " lagi setelahnya, cara tersebut tidak efisien."] }), "\n", _jsxs(_components.p, { children: ["Pertama, kita mengalokasikan memory untuk member ", _jsx(_components.code, { children: "adv_data_" }), " objek ", _jsx(_components.code, { children: "dev" }), ". Kemudian, kita alokasikan\nmemory untuk member yang sama bagi objek ", _jsx(_components.code, { children: "another" }), ". Kemudian, data yang ditunjuk oleh member ", _jsx(_components.code, { children: "adv_data_" }), "\nobjek ", _jsx(_components.code, { children: "dev" }), " disalin ke member yang sama di objek ", _jsx(_components.code, { children: "another" }), ". Kita baru saja melakukan operasi yang sama\nberulang kali untuk data yang sama."] }), "\n", _jsxs(_components.p, { children: ["Lalu, bagaimana caranya agar kita dapat membuat ", _jsx(_components.code, { children: "another" }), " dari objek ", _jsx(_components.code, { children: "dev" }), " tanpa melakukan kegiatan yang tidak efisien?"] }), "\n", _jsx(_components.h4, { children: "Move Constructor dan Move Assignment Operator" }), "\n", _jsx(_components.p, { children: "Move constructor dan move assignment operator mirip dengan copy constructor dan copy assignment operator, hanya maksud yang\ndinyatakan berbeda. Sintaks dari kedua pasangan tersebut sangat mirip dengan satu sama lainnya." }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "// Move Constructor\nDevice(Device&& other)\n{\n // ...\n}\n\n// Move Assignment Operator\nDevice& operator=(Device&& other)\n{\n // ...\n}\n" }) }), "\n", _jsx(_components.p, { children: "Move constructor dan move assignment operator menggunakan mutable rvalue reference, berbeda dengan copy\nconstructor dan copy assignment operator yang menggunakan immutable lvalue reference." }), "\n", _jsxs(_components.p, { children: ["Dengan menggunakan dua special member function tersebut, objek ", _jsx(_components.code, { children: "another" }), " dapat ", _jsx(_components.em, { children: "mencuri" }), " member ", _jsx(_components.code, { children: "adv_data_" }), " milik objek ", _jsx(_components.code, { children: "dev" }), ",\nsehingga tidak ada proses penyalinan yang tidak efisien!"] }), "\n", _jsx(_components.p, { children: "Berikut adalah implementasi dua special member function tersebut:" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "Device(Device&& other): name_(other.name_)\n{\n if (&other == this) {\n return;\n }\n\n adv_data_ = other.adv_data_;\n other.adv_data_ = nullptr;\n adv_data_len_ = other.adv_data_len_;\n}\n\nDevice& operator=(Device&& other)\n{\n\n if (&other == this)\n {\n return *this;\n }\n\n name_ = other.name_;\n adv_data_ = other.adv_data_;\n other.adv_data_ = nullptr;\n adv_data_len_ = other.adv_data_len_;\n\n return *this;\n}\n" }) }), "\n", _jsx(_components.p, { children: "Perhatikan dua baris berikut:" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "adv_data_ = other.adv_data_;\nother.adv_data_ = nullptr;\n" }) }), "\n", _jsxs(_components.p, { children: ["Dua baris tersebut merupakan cara untuk mencuri member yang merupakan raw pointer.\nLalu, mengapa baris ke-2 dari kode tersebut penting? Karena jika member ", _jsx(_components.code, { children: "adv_data_" }), " dari\nobjek ", _jsx(_components.code, { children: "other" }), " di-dealokasikan, maka program akan berhenti secara tidak normal yang\ndisebabkan oleh double free!"] }), "\n", _jsxs(_components.p, { children: ["Oleh karena itu, move constructor dan move assignment operator menggunakan referensi rvalue yang bersifat\nmutable. Karena jika kita menggunakan immutable rvalue reference, kita tidak dapat mengubah\nmember ", _jsx(_components.code, { children: "adv_data_" }), " milik objek ", _jsx(_components.code, { children: "other" }), " menjadi ", _jsx(_components.code, { children: "nullptr" }), " dan double free tidak dapat dihindari!"] }), "\n", _jsxs(_components.p, { children: ["Selain itu, implementasi destructor kelas ", _jsx(_components.code, { children: "Device" }), " juga perlu diubah menjadi seperti berikut:"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "~Device()\n{\n if (adv_data_ != nullptr)\n {\n delete [] adv_data_;\n adv_data_ = nullptr;\n }\n}\n" }) }), "\n", _jsx(_components.p, { children: "Apakah dengan menambahkan move constructor dan move assignment operator akan menyelesaikan masalah inefisiensi dalam\nkasus ini?" }), "\n", _jsx(_components.p, { children: "Tentu saja tidak!" }), "\n", _jsxs(_components.p, { children: ["Member ", _jsx(_components.code, { children: "name_" }), " adalah objek ", _jsx(_components.code, { children: "std::string" }), " yang memiliki move constructor dan move assignment operator.\nNamun, ", _jsx(_components.code, { children: "name_" }), " yang dimiliki oleh objek ", _jsx(_components.code, { children: "other" }), " di move constructor dan move assignment operator tidak dipindahkan, melainkan disalin!\nMeskipun member ", _jsx(_components.code, { children: "adv_data_" }), " dapat dipindahkan, member ", _jsx(_components.code, { children: "name_" }), " tetap disalin. Sehingga, masalah inefisiensi kita tidak sepenuhnya terselesaikan."] }), "\n", _jsx(_components.p, { children: "Mengapa demikian?" }), "\n", _jsx(_components.h4, { children: "Rvalue Reference adalah Lvalue" }), "\n", _jsxs(_components.p, { children: ["Betul sekali, referensi rvalue atau rvalue reference adalah lvalue, ", _jsx(_components.strong, { children: "BUKAN" }), " rvalue.\nRvalue reference ", _jsx(_components.code, { children: "other" }), " di move constructor dan move assignment operator merupakan lvalue. Kemudian,\nmember ", _jsx(_components.code, { children: "name_" }), " juga merupakan lvalue, sehingga ekspresi ", _jsx(_components.code, { children: "name_(other.name_)" }), " memanggil copy constructor, bukan move constructor!"] }), "\n", _jsxs(_components.p, { children: ["Lalu, bagaimana caranya agar kita dapat memindahkan member ", _jsx(_components.code, { children: "name_" }), " dari objek ", _jsx(_components.code, { children: "dev" }), " ke objek ", _jsx(_components.code, { children: "another" }), " dengan menggunakan move constructor\njika kenyataan nya kita memanggil copy constructor di dalam move constructor dan move assignment operator?"] }), "\n", _jsx(_components.h4, { children: "std::move" }), "\n", _jsxs(_components.p, { children: [_jsx(_components.code, { children: "std::move" }), " merupakan sebuah fungsi yang dapat digunakan dengan mencantumkan header ", _jsx(_components.code, { children: "" }), ".\nWalaupun bernama ", _jsx(_components.code, { children: "move" }), ", namun kenyataan nya fungsi tersebut ", _jsx(_components.strong, { children: "TIDAK memindahkan apapun" }), ".\nLalu, mengapa kita memerlukan fungsi ", _jsx(_components.code, { children: "std::move" }), "?"] }), "\n", _jsxs(_components.p, { children: ["Ingat bahwa move constructor dan move assignment operator memerlukan rvalue reference sebagai argument?\n", _jsx(_components.code, { children: "std::move" }), " mengubah lvalue menjadi rvalue sehingga kita dapat memanggil move constructor atau move assingment operator!"] }), "\n", _jsxs(_components.p, { children: [_jsx(_components.code, { children: "std::move" }), " juga dapat diartikan sebagai cara untuk menyatakan"] }), "\n", _jsxs(_components.blockquote, { children: ["\n", _jsx(_components.p, { children: "Saya mempunyai sebuah lvalue, tapi saya tidak akan membutuhkannya lagi." }), "\n"] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "Device(Device&& other): name_(std::move(other.name_))\n{\n if (&other == this) {\n return;\n }\n\n adv_data_ = other.adv_data_;\n other.adv_data_ = nullptr;\n adv_data_len_ = other.adv_data_len_;\n}\n\nDevice& operator=(Device&& other)\n{\n\n if (&other == this)\n {\n return *this;\n }\n\n name_ = std::move(other.name_);\n adv_data_ = other.adv_data_;\n other.adv_data_ = nullptr;\n adv_data_len_ = other.adv_data_len_;\n\n return *this;\n}\n" }) }), "\n", _jsxs(_components.p, { children: ["Dengan menggunakan ", _jsx(_components.code, { children: "std::move" }), ", kita menjamin bahwa member ", _jsx(_components.code, { children: "name_" }), " dari objek ", _jsx(_components.code, { children: "other" }), " di move constructor dan move assignment operator\ndi kelas ", _jsx(_components.code, { children: "Device" }), " tidak akan digunakan kembali sehingga member dari ", _jsx(_components.code, { children: "std::string name_" }), " dapat dipindahkan."] }), "\n", _jsx(_components.p, { children: "Apakah sekarang move constructor dan move assignment operator dapat memindahkan member dari objek kelas Device ke objek baru dari kelas tersebut?\nYa!" }), "\n", _jsxs(_components.p, { children: ["Sekarang, perhatikan kembali kode fungsi ", _jsx(_components.code, { children: "main" })] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "int main()\n{\n uint8_t adv_data[3] = {0x02, 0x01, 0x06};\n\n Device dev(\"one\", adv_data, 3);\n\n Device another(dev);\n\n return 0;\n}\n" }) }), "\n", _jsx(_components.p, { children: "Meskipun kita telah mendefinisikan move constructor dan move assignment operator dengan baik dan benar,\ndua special member function tersebut tidak digunakan sama sekali di fungsi main!" }), "\n", _jsx(_components.p, { children: "Mengapa demikian?" }), "\n", _jsxs(_components.p, { children: ["Objek ", _jsx(_components.code, { children: "dev" }), " merupakan lvalue, dan kita menggunakan lvalue tersebut sebagai argument dari constructor\nkelas Device untuk membangun objek ", _jsx(_components.code, { children: "another" }), ". Apa yang dilakukan jika kita memberikan referensi lvalue\nke sebuah constructor kelas? Ya, kita menggunakan copy constructor!"] }), "\n", _jsxs(_components.p, { children: ["Lagi-lagi, ", _jsx(_components.code, { children: "std::move" }), " sangat berguna dalam kasus ini."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "int main()\n{\n uint8_t adv_data[3] = {0x02, 0x01, 0x06};\n\n Device dev(\"one\", adv_data, 3);\n\n Device another(std::move(dev));\n\n return 0;\n}\n" }) }), "\n", _jsxs(_components.p, { children: ["Dengan demikian, kita telah menggunakan move semantics untuk memindahkan semua member objek ", _jsx(_components.code, { children: "dev" }), " ke objek ", _jsx(_components.code, { children: "another" }), "."] }), "\n", _jsxs(_components.p, { children: ["Untuk membuktikan hal tersebut, kita dapat mencetak nama dari objek ", _jsx(_components.code, { children: "dev" }), " dengan menggunakan ", _jsx(_components.code, { children: "std::cout" }), "."] }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { className: "language-c++", children: "std::cout << \"dev name_: \" << dev.getName() << std::endl;\nstd::cout << \"another name_: \" << another.getName() << std::endl;\n" }) }), "\n", _jsx(_components.p, { children: "Kode tersebut akan menghasilkan keluaran seperti berikut:" }), "\n", _jsx(_components.pre, { children: _jsx(_components.code, { children: "dev name_: \nanother name_: one\n" }) }), "\n", _jsx(_components.h3, { children: "Kesimpulan" }), "\n", _jsx(_components.p, { children: "Move semantics dapat membantu proses pemindahan member-member dari sebuah objek tanpa melakukan\nproses penyalinan yang tidak efisien." }), "\n", _jsxs(_components.p, { children: ["Kelas yang memiliki raw pointer sebagai member harus mendefinisikan special member function seperti\ndestructor, copy constructor, copy assignment operator, move constructor, dan move assignment operator secara\neksplisit untuk memastikan bahwa raw pointer tersebut diperlakukan dengan penuh kehati-hatian untuk menghindari undefined behavior dan ", _jsx(_components.em, { children: "crash" }), " yang dapat membuat kepala pusing."] }), "\n", _jsxs(_components.p, { children: ["Sumber kode: ", _jsx(_components.a, { href: "https://godbolt.org/z/e8dE1brKc", children: "https://godbolt.org/z/e8dE1brKc" })] }), "\n", _jsx(_components.h3, { children: "Referensi" }), "\n", _jsxs(_components.ul, { children: ["\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "https://www.cprogramming.com/c++11/rvalue-references-and-move-semantics-in-c++11.html", children: "Move semantics and rvalue references in C++11" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "https://www.modernescpp.com/index.php/c-core-guidelines-constructors-assignments-and-desctructors", children: "C++ Core Guidelines: The Rule of Zero, Five, or Six" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "https://www.youtube.com/watch?v=9BM5LAvNtus", children: "Back to Basics: The Special Member Functions - Klaus Iglberger - CppCon 2021" }) }), "\n", _jsx(_components.li, { children: _jsx(_components.a, { href: "https://en.cppreference.com/w/cpp/language/value_category", children: "Value Categories" }) }), "\n"] })] }); } function MDXContent(props = {}) { const {wrapper: MDXLayout} = props.components || ({}); return MDXLayout ? _jsx(MDXLayout, Object.assign({}, props, { children: _jsx(_createMdxContent, props) })) : _createMdxContent(props); } return { title, description, tags, draft, timestamp, default: MDXContent };