使用类型转换后为何打印同一个变量会出现两个不同的结果

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

已注册用户请登录

这是一个创建于 1079 天前的主题，其中的信息可能已经有所发展或是发生改变。

代码:

const char var = 'a'; auto static_var = static_cast<char>(var); auto const_var = const_cast<char*>(&var); cout << "var: \t\t" << var <<"\taddress:\t" << reinterpret_cast<long>(&var) << endl; cout << "static_var: \t" << static_var << "\taddress:\t" << reinterpret_cast<long>(&static_var) << endl; *const_var = 'b'; cout << "const_var: \t" << *const_var << "\tptr:\t\t" << reinterpret_cast<long>(const_var) << endl; cout << "var(direct): \t" << var << "\taddress:\t" << reinterpret_cast<long>(&var) << endl; cout << "var(ptr): \t" << *(&var) << "\taddress:\t" << reinterpret_cast<long>(&var) << endl;

输出:

var: a address: 6122386111 static_var: a address: 6122386110 const_var: b ptr: 6122386111 var(direct): a address: 6122386111 var(ptr): b address: 6122386111

平台:

macbook pro 13 M1
macOS 11.6
Xcode 13.0
Clang 13.0

请教大家一下, 为何最后两种输出的结果不一样, 这是什么原因导致的

8 条回复 2022-12-30 12:27:48 +08:00

lnstrument

2022-11-30 19:12:12 +08:00

1.编译器认为 var 是常量
2.const_cast 之后再写可能是 ub

[Note: Depending on the type of the object, a write operation through the pointer, lvalue or pointer
to data member resulting from a const_cast that casts away a const-qualifier may produce undefined
behavior (9.2.8.1). end note]