「LLVM、定数として宣言されたメモリ領域への代入を削除する最適化を導入」記事へのコメント

const_cast

[Anonymous Coward]

そもそも C++ には const_cast なるものがあるんだけど、
それはどうするつもりなんだろうか。

Re:const_cast

[Anonymous Coward]

const_castは参照型やポインタ型についたconstを外せるだけで、タレコミにあるような「『const』キーワード付きで宣言された変数」、例えば

const int i = 1;

みたいなのはどうキャストしても値をいじれないんじゃないかな。実際にiへのポインタや参照ををconst_castしたら、値がコピーされた別のオブジェクトが生じて、iの値は1のままだと思う。

int main() {
    const int foo = 1;
    int* bar = const_cast<int*>(&foo);
    (*bar)++;
    return foo + (*bar); //foo:1、(*bar):2なので戻り値は3
}

Re:

[Anonymous Coward]

実際にiへのポインタや参照ををconst_castしたら、値がコピーされた別のオブジェクトが生じて、iの値は1のままだと思う。

そうしているものが多いだろうけど、仕様としてそう定められていないなら「*barも1のまま」とする処理系もありうるぞ、という話だと思うんだけど。

Re:

[Anonymous Coward]

「*barも1のまま」

https://godbolt.org/z/7mvtpb [godbolt.org]