- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
它为什么会存在?在什么情况下它不会导致严格的别名违规,在哪些情况下会导致?
我的意思是,如果你在两个不兼容的类型之间进行转换,并且该转换的结果是唯一指向它在整个程序中使用的内存的指针,那么在假设没有其他别名引用的情况下使用它是否安全那个内存?然后将其转换回其原始类型并假设存储它的变量是程序上该内存位置的唯一别名,是否安全?这就是我要问的。
我当然是指阅读和写作。
最佳答案
Does reinterpret_cast cause a strict aliasing violation?
不是单独的,不。但它的滥用可能会导致这种违规行为。
除非你知道你需要它(很少见),知道没有令人满意的替代品(很少见),并且知道它不会导致未定义的行为,否则使用重新解释转换不是一个好主意。
why does it even exist?
顾名思义,允许重新解释类型。这些用例在 C++ 中很少见,不适合初学者和中级程序员。
高级程序员可能会遇到它有用的一些情况:
In what situations does it not cause a strict aliasing violation, and in which ones does it do cause one?
类型转换本身不会造成任何违规。
仅当您转换为另一种类型的指针(或引用),然后间接通过该指针访问对象时,才会发生严格的别名违规。因此,如果您不重新解释转换指针(或引用),或者您不访问指向的对象,那么您就没有为对象的类型设置别名,因此不能违反严格的别名规则。
所以,有趣的是使用另一种(别名)类型访问对象是否定义良好。这是来自 cppreference 的列表:
此列表中缺少:
if you cast between two incompatible types, (...), is it safe to use it
取决于您所说的“使用”。如果您的意思是通过重新解释的指针间接并通过“不兼容”类型访问对象,那么一般来说这不安全。
and the result of that cast is the only pointer that points to the memory it uses in the whole program
这无关紧要。在大多数情况下,编译器几乎不可能证明这是真的。
Is it safe then to cast it back to its original type and also use it assuming the variable where it is stored
假设转换到其他类型的格式一开始就很好,那么转换回原始类型总是安全的。
关于c++ - reinterpret_cast 会导致严格的别名冲突吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/62923260/
我最近了解到 C++ 标准包含“严格的别名规则”,它禁止通过不同类型的变量引用相同的内存位置。 但是,该标准确实允许 char 类型合法地别名任何其他类型。这是否意味着 reinterpret_cas
我需要将一段代码从 C++ 转换为 VB6。 具体来说,这个: reinterpret_cast(reinterpret_cast(lParam)->hwndParent) 有人能告诉我这在 VB6
我正在编写与对齐相关的代码,如果给定的指针正确对齐,却没有标准的功能测试,这让我感到非常惊讶。 似乎互联网上的大多数代码都使用(long)ptr或 reinterpret_cast(ptr)测试对齐,
这个问题在这里已经有了答案: Why is reinterpret_cast not constexpr? (2 个答案) 关闭去年。 我遇到了以下错误: class NormalClass { p
我recently learned通过 reinterpret_casting 其地址将 POD 重新解释为不同的 POD 是未定义行为。所以我只是想知道 reinterpret_cast 的潜在用例
考虑以下程序: struct A{}; int main() { A a; A b = a; A c = reinterpret_cast(a); } 编译器 (g++14)
我recently learned通过 reinterpret_casting 其地址将 POD 重新解释为不同的 POD 是未定义行为。所以我只是想知道 reinterpret_cast 的潜在用例
它为什么会存在?在什么情况下它不会导致严格的别名违规,在哪些情况下会导致? 我的意思是,如果你在两个不兼容的类型之间进行转换,并且该转换的结果是唯一指向它在整个程序中使用的内存的指针,那么在假设没有其
这两个cast语句是一样的吗?它们产生相同的结果。 const std::int16_t i = 3; char a[ 2 ]; *reinterpret_cast(a) = i; reinterp
我已经编写了 MyString 和 MyStringConst 类。现在我需要不时地将 MyString 作为 MyStringConst 传递,因此重载强制转换运算符。这是我写的 MyString:
我有一个结构 S,它将两个类型为 T 的固定大小的数组打包在一起。 template struct S { array, 10> x1; array x2; }; 我想获取对大小为 2
如果我已将结构的成员复制到我的类中,我是否可以从我的类转换为结构? #include #include class Buffer { public: void * address;
#include struct A { int a; }; struct I1 : A { int a; }; struct I2 : A { int a; }; struct D : I1, I2
是否可以使用 reinterpret_cast 将 const 限定符仅添加到结构的一个成员。 #include std::pair test; std::pair& ctest = reinter
int main() { class_name object; object.method(); fstream file("writeobject.dat" , ios::o
当我注意到它的输出完全错误时,我正在测试一个简单的编译器。事实上,输出的字节顺序从小变大了。经过仔细检查,违规代码原来是这样的: const char *bp = reinterpret_cast(&
基本思想是创建一个可变大小的数组,在构造时固定,并在单个分配单元中创建另一个类,以减少开销并提高效率。分配缓冲区以适应数组,并使用另一个对象和新放置来构造它们。为了访问数组的元素和另一个对象,使用了指
#include struct I1 { virtual void nb1()=0; virtual ~I1(){} }; struct I2 { virtual void n
我刚刚在使用reinterpret_cast的代码中发现了一个错误,将其更改为dynamic_cast后,问题就消失了。然后,我尝试使用以下代码重现该行为: 1 #include 2 3
我想知道有没有一种不用大量复制就可以解决这个问题的好方法。 例如,假设我有一个字节缓冲区,我在其中保存了很多东西。我会正确地在其中保存 4 个字节的整数和 float 等。 现在,如果我的整数保存在缓
我是一名优秀的程序员,十分优秀!