Apakah const_cast aman?

Saya tidak dapat menemukan banyak informasi tentang const_cast. Satu-satunya info yang dapat saya temukan (di Stack Overflow) adalah:

Yang const_cast<>()digunakan untuk menambah / menghapus const (an) (atau volatil-an) dari variabel.

Ini membuatku gugup. Bisakah menggunakan const_castpenyebab perilaku yang tidak terduga? Jika ya, apa?

Atau, kapan boleh digunakan const_cast?

const_castaman hanya jika Anda mentransmisikan variabel yang awalnya bukan- const. Misalnya, jika Anda memiliki fungsi yang mengambil parameter a const char *, dan Anda meneruskan sebuah modifiable char *, maka aman untuk const_castparameter itu kembali ke a char *dan memodifikasinya. Namun, jika variabel aslinya ternyata const, maka penggunaan const_castakan menghasilkan perilaku yang tidak terdefinisi.

void func(const char *param, size_t sz, bool modify)
{
    if(modify)
        strncpy(const_cast<char *>(param), sz, "new string");
    printf("param: %s\n", param);
}

...

char buffer[16];
const char *unmodifiable = "string constant";
func(buffer, sizeof(buffer), true);  // OK
func(unmodifiable, strlen(unmodifiable), false); // OK
func(unmodifiable, strlen(unmodifiable), true);  // UNDEFINED BEHAVIOR

Saya dapat memikirkan dua situasi di mana const_cast aman dan berguna (mungkin ada kasus valid lainnya).

Salah satunya adalah ketika Anda memiliki instance, referensi, atau pointer const, dan Anda ingin meneruskan pointer atau referensi ke API yang tidak benar, tetapi Anda TERTENTU tidak akan mengubah objek. Anda dapat const_cast penunjuk dan meneruskannya ke API, percaya bahwa itu tidak akan benar-benar mengubah apa pun. Sebagai contoh:

void log(char* text);   // Won't change text -- just const-incorrect

void my_func(const std::string& message)
{
    log(const_cast<char*>(&message.c_str()));
}

Yang lainnya adalah jika Anda menggunakan kompiler lama yang tidak mengimplementasikan 'mutable', dan Anda ingin membuat kelas yang secara logis const tetapi bukan const bitwise. Anda bisa const_cast 'this' dalam metode const dan memodifikasi anggota kelas Anda.

class MyClass
{
    char cached_data[10000]; // should be mutable
    bool cache_dirty;        // should also be mutable

  public:

    char getData(int index) const
    {
        if (cache_dirty)
        {
          MyClass* thisptr = const_cast<MyClass*>(this);
          update_cache(thisptr->cached_data);
        }
        return cached_data[index];
    }
};

Saya merasa sulit untuk percaya bahwa itulah satu - satunya informasi yang dapat Anda temukan tentang const_cast. Mengutip dari hit Google kedua :

Jika Anda membuang konstanta objek yang telah dideklarasikan secara eksplisit sebagai const, dan mencoba untuk memodifikasinya, hasilnya tidak akan ditentukan.

Namun, jika Anda membuang konstanta objek yang belum dideklarasikan secara eksplisit sebagai const, Anda dapat memodifikasinya dengan aman.

Apa yang Adam katakan. Contoh lain di mana const_cast dapat membantu:

struct sample {
    T& getT() { 
        return const_cast<T&>(static_cast<const sample*>(this)->getT()); 
    }

    const T& getT() const { 
       /* possibly much code here */
       return t; 
    }

    T t;
};

Pertama kita menambahkan const ke tipe thispoin ke, lalu kami memanggil versi const getT, dan kemudian kami menghapus const dari tipe kembalian, yang valid karena tharus non-const (jika tidak, versi non-konst dari getTtidak dapat memiliki telah dipanggil). Ini bisa sangat berguna jika Anda memiliki badan fungsi yang besar dan Anda ingin menghindari kode yang berlebihan.

Jawaban singkatnya adalah tidak, ini tidak aman.

Jawaban panjangnya adalah jika Anda cukup tahu untuk menggunakannya, maka itu harus aman.

Saat Anda mentransmisi, yang pada dasarnya Anda katakan adalah, "Saya tahu sesuatu yang tidak diketahui kompilator." Dalam kasus const_cast, yang Anda katakan adalah, "Meskipun metode ini menggunakan referensi atau penunjuk non-const, saya tahu bahwa itu tidak akan mengubah parameter yang saya berikan."

Jadi jika Anda benar-benar tahu apa yang Anda klaim tahu dalam menggunakan pemeran, maka tidak masalah untuk menggunakannya.

Anda menghancurkan peluang keamanan thread, jika Anda mulai memodifikasi hal-hal yang menurut compiler adalah const.