我正在尝试确定以下代码是否调用未定义的行为:
#include <iostream>
class A;
void f(A& f)
{
char* x = reinterpret_cast<char*>(&f);
for (int i = 0; i < 5; ++i)
std::cout << x[i];
}
int main(int argc, char** argue)
{
A* a = reinterpret_cast<A*>(new char[5])
f(*a);
}
我的理解是,往返char*
reinterpret_cast
是合规的,因为该标准允许使用char
和unsigned char
指针进行混叠(强调我的(:
如果程序尝试通过以下类型之一以外的左值访问对象的存储值,则行为是未定义的:
- 对象的动态类型,
- 对象的动态类型的 CV 合格版本,
- 一种类型,该类型是对应于对象的动态类型的有符号或无符号类型,
一种类型,- 该类型是与对象的动态类型的 CV 限定版本相对应的有符号或无符号类型,
- 在其成员中包含上述类型之一的聚合或联合类型(递归地包括子聚合或包含的联合的成员(,
- 一种类型,该类型是对象的动态类型的基类类型(可能符合 CV 标准(,
char
或unsigned char
类型。
但是,我不确定f(*a)
是否通过创建对无效指针的A&
引用来调用未定义的行为。决定因素似乎是"试图访问"措辞在C++标准背景下的含义。
我的直觉是,这并不构成访问,因为访问需要定义A
(在此示例中已声明,但未定义(。不幸的是,我在C++标准中找不到"访问"的具体定义:
f(*a)
调用未定义的行为吗?C++标准中的"访问"是什么?
我知道,无论答案如何,在生产代码中依赖这种行为可能是一个坏主意。我问这个问题主要是为了提高我对语言的理解。
[编辑] @SergeyA引用了标准的这一部分。我把它包括在这里是为了方便参考(强调我的(:
5.3.1/1 [expr.unary.op]
一元
*
运算符执行间接寻址:应用它的表达式应该是指向对象类型的指针,或指向函数类型的指针,结果是引用表达式指向的对象或函数的左值。如果表达式的类型是"指向T
的指针",则结果的类型是"T
"。[注意:通过指向不完整类型(cv void 除外(的指针进行间接寻址是有效的。这样获得的左值可以以有限的方式使用(例如初始化引用(;这个左值不能转换为prvalue,参见4.1。— 尾注 ]
追溯对 4.1 的引用,我们发现:
4.1/1 [转换]
非函数、非数组类型
T
的 glvalue (3.10( 可以转换为 prvalue。如果T
是不完整的类型,则需要此转换的程序格式不正确。如果 T 是非类类型,则 prvalue 的类型是T
的 cv 非限定版本。否则,prvalue 的类型为T
。当将左值到右值的转换应用于表达式时
e
,并且:
e
未可能进行评估,或e
的评估结果是e
潜在结果集合的成员ex
,ex
命名一个不被ex
使用的变量x
(3.2(不访问引用对象中包含的值。
我认为我们的答案在于*a
是否满足第二个要点。我在解析该条件时遇到问题,所以我不确定。
char* x = reinterpret_cast<char*>(&f);
有效。或者,更具体地说,允许通过x
进行访问 - 强制转换本身始终有效。
A* a = reinterpret_cast<A*>(new char[5])
无效 - 或者准确地说,通过a
访问将触发未定义的行为。
这样做的原因是,虽然通过char*
访问对象是可以的,但通过随机对象访问字符数组是不行的。标准允许第一个,但不允许第二个。
或者,通俗地说,您可以通过char*
为type*
别名,但不能通过type*
char*
别名。
编辑
我只是注意到我没有回答直接的问题(">C++标准中的"访问">是什么"(。显然,标准没有定义访问(至少,我无法找到正式定义(,但取消引用指针通常被理解为有资格访问。