gpt4 book ai didi

c++ - 带引用和不带引用的指针类型转换

转载 作者:塔克拉玛干 更新时间:2023-11-03 00:26:43 25 4
gpt4 key购买 nike

鉴于 A* pA;B* pB;,以下类型转换之间是否存在任何差异(查询所有 C++ 样式类型转换):

pB = reinterpret_cast<B*>(pA);      // pointer
pB = reinterpret_cast<B*&>(pA); // pointer-reference

最佳答案

两者截然不同,至少在理论上(并且可能在实际上,一些稀有机器)。第一个接受指向 A 的指针,然后将其转换为指向 B 的指针;至少在理论上,这可能涉及大小和表示的变化。 (我实际上在机器上工作过其中 char*大于int* .我相当怀疑任何这样的机器仍然存在,尽管可能在嵌入式世界中……)第二个实际上相当于 *reinterpret_cast<B**>(&pA) ;它取 pA 中的位,并告诉编译器将它们解释为一个B* .如果格式不同,运气不好,如果大小是不同,您可能只能访问 pA 的一部分或访问内存这不是 pA 的一部分.

此外,第一个是右值,第二个是左值。因此,某事喜欢:

++ reinterpret_cast<B*>( pA );

是非法的,但是:

++ reinterpret_cast<B*&>( pA );

不是。这是混淆代码的有用技术,并获得未对齐的指针、指向对象中间的指针或其他您不敢取消引用的指针。

一般情况下应该避免第二种形式,但也有少见的异常(exception)。 Posix 保证所有指针,包括指向函数(但不是指向成员的指针——Posix 指定了一个 C ABI,没有指向成员的指针),具有相同的大小和格式,所以第二种形式保证有效。这是你唯一的方法可以合法转换void*dlsym 返回变成指向的指针一个函数:

int (*pf)( int );
reinterpret_cast<void*&>( pf ) = dlsym( handle, "functionName" );

(在 C 中,你会写:

int (*pf)( int );
*(void**)( &pf ) = dlsym( handle, "functionName" );

, 见 officialspecification .) 这样的技巧允许指针类型之间的转换这是不允许的,但取决于额外的保证不在标准中。

关于c++ - 带引用和不带引用的指针类型转换,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5988991/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com