为什么这个std：：launder示例会有未定义的行为？
std::launder是C++17中引入的一个函数模板，用于处理指针的类型信息。它的作用是将一个指针转换为另一种类型的指针，同时保留指针所指对象的值。然而，由于其行为涉及到底层的内存模型和对象的生命周期，使用不当可能导致未定义的行为。
具体来说，std::launder的未定义行为可能出现在以下情况下：
- 对于已经被销毁的对象，使用std::launder转换指针可能导致未定义行为。因为std::launder只能保证指针所指对象的值不变，但并不能保证对象的生命周期。
- 对于未初始化的内存，使用std::launder转换指针可能导致未定义行为。因为std::launder只能保证指针所指对象的值不变，但并不能保证对象已经被正确地构造。
- 对于指向数组的指针，使用std::launder转换指针可能导致未定义行为。因为std::launder只能保证指针所指对象的值不变，但并不能保证指针指向的是一个有效的数组。
综上所述，std::launder的未定义行为主要是由于对对象生命周期和内存状态的不当处理导致的。在使用std::launder时，需要确保指针所指对象的生命周期和内存状态是合法的，以避免未定义行为的发生。
关于std::launder的更多信息，可以参考腾讯云C++开发者文档中的相关介绍：std::launder函数模板。
相关·内容
1回答
这是在同一分配中存储不同类型的正确方法吗？
c++、void-pointers、static-cast
我需要使用malloc分配一块内存，然后在其中存储不同普通旧数据类型的多个值。以下是正确的方法吗？
#include <cstddef>
#include <cstdint>
#include <cstdlib>
#include <iostream>
struct Foo {
int32_t a;
int32_t b;
};
struct Bar {
int8_t a;
int8_t b;
};
void* offset_bytewise(void* void_ptr, ptrdiff_t count) {
浏览 10提问于2022-03-27得票数 0
回答已采纳
1回答
放置新开始对象的生命周期吗？
c++、c++17、stdlaunder
下面的代码示例来自上的on首选项
alignas(Y) std::byte s[sizeof(Y)];
Y* q = new(&s) Y{2};
const int f = reinterpret_cast<Y*>(&s)->z; // Class member access is undefined behavior
在我看来，由于标准中的，第三行将导致未定义的行为：
在对象的生存期开始之前，但是在对象将要占用的存储被分配之后.程序有未定义的行为如果..。指针用于访问非静态数据成员或调用对象的非静态成员函数。
为什么不放置新的开始对象Y的生命周期
浏览 4提问于2022-08-07得票数 8
回答已采纳
1回答
什么时候不用清洗就能安全地重复使用可摧毁物品的内存？
c++、c++17、unions、placement-new、type-punning
关于下列守则：
class One {
public:
double number{};
};
class Two {
public:
int integer{};
}
class Mixture {
public:
double& foo() {
new (&storage) One{1.0};
return reinterpret_cast<One*>(&storage)->number;
}
int& bar() {
new (&storage) Two{2};
retu
浏览 1提问于2019-02-07得票数 1
回答已采纳
2回答
“洗衣”是通过指针算法传播的吗？
c++、undefined-behavior、c++17
正如中所解释的，在折叠用例中，必须使用std::launder来避免未定义的行为(UB)：
struct X{
const int i;
x(int i):i{i}{}
};
unsigned char buff[64];
auto p = new(buff) X(33);
p->~X();
new(buff) X(42);
p = std::launder(p);
assert(p->i==42);
但是，当缓冲区上有多个对象时，会发生什么情况(如果在一个向量中推入2个X，清除向量，然后推送两个新的X，则会发生这样的情况)：
unsigned char buff[6
浏览 5提问于2017-09-02得票数 7
回答已采纳
2回答
可用于将对象指针转换为封装数组指针吗？
c++、language-lawyer、c++17
目前的标准草案(想必是C++17)是在中说的
注意:数组对象及其第一个元素不是指针-可互换的，即使它们有相同的地址。- end注意事项
因此，指向对象的指针不能是reinterpret_castd来获得其包围数组指针。
现在，有std::launder，
template<class T> [[nodiscard]] constexpr T* launder(T* p) noexcept；
要求：p表示内存中一个字节的地址A。一个对象X在其生命周期内，其类型类似于T位于地址A。通过结果可以到达的所有字节存储字节都可以通过p访问(见下文)。
可达性的定义在中
备注
浏览 0提问于2018-07-27得票数 14
回答已采纳
1回答
std：：内置多态容器清洗
c++、c++17、undefined-behavior、reinterpret-cast、stdlaunder
我正在C++中为Game做一个相当重要的项目，作为一个没有内存管理的有限平台，我试图避免调用malloc和动态分配。为此，我实现了相当多的调用，即“内部多态容器”，它存储从Base类派生的类型的对象(在类型模板中进行参数化)，然后我有函数new对象并使用完美转发来调用适当的构造函数。例如，其中一个容器如下所示(也可访问)：
//--------------------------------------------------------------------------------
// PointerInterfaceContainer.hpp
//-------------------
浏览 2提问于2020-03-29得票数 3
回答已采纳
1回答
清洗如何影响集装箱？
c++、undefined-behavior、c++17
考虑以下简化和不完整的固定大小向量的实现：
template<typename T>
class Vec {
T *start, *end;
public:
T& operator[](ssize_t idx) { return start[idx]; }
void pop() {
end--;
end->~T();
}
template<typename... U>
void push(U... args) {
new (end) T { std::forward<U>(args)...
浏览 3提问于2016-10-20得票数 11
4回答
释放分配给char* (由‘`malloc`’分配的)的int*是否会调用未定义的行为？
c、pointers、memory、free、undefined-behavior
标题可能让人困惑。假设str是malloc分配的指针。ptr (类型为int* )被分配给它，并被释放，如下代码片段所示：
char* str = malloc(64);
int* ptr = str;
free(ptr);
我试着编译上面的代码。它只是给了一个警告：
source_file.c: In function ‘main’:
source_file.c:10:16: warning: initialization from incompatible pointer type
int* ptr = str;
^
上面的代码会调用未定义的行为
浏览 7提问于2015-05-02得票数 7
回答已采纳
2回答
是否假定reinterpret_cast<char*>(myTypePtr)指向数组？
c++、language-lawyer、type-punning
我们知道char*可以化名于任何东西:根据
每当尝试通过DynamicType类型的glvalue读取或修改AliasedType类型的对象的存储值时，除非下列情况之一为真，否则行为是未定义的：AliasedType是std::byte、char或unsigned char：--它允许检查任何对象的对象表示形式为字节数组。..。
黑体字的声明在n4659草案6.10 (8.8)中没有出现。由于对不指向同一数组元素的指针执行指针算法是未定义的，所以我们真的可以使用reinterpret_cast访问第一个数组以外的字节吗？或者也许std::memcpy必须被用于这个目的？
浏览 2提问于2020-07-01得票数 0
回答已采纳
2回答
reinterpret_casting std::aligned_storage* to T*不带std::launder是否违反严格的混叠规则？
c++、language-lawyer、reinterpret-cast、strict-aliasing
以下示例来自 of cppreference.com：
#include <iostream>
#include <type_traits>
#include <string>
template<class T, std::size_t N>
class static_vector
{
// properly aligned uninitialized storage for N T's
typename std::aligned_storage<sizeof(T), alignof(T)>::type da
浏览 5提问于2017-12-10得票数 9
回答已采纳
2回答
右值引用未定义的行为
c++
#include<iostream>
struct Test
{
int n ;
~Test(){}
Test& operator =(int v)
{
n=v;
return *this;
}
};
Test * ptr = nullptr;
void g(Test && p)
{
std::cout << "&&";
}
void g(Test & p)
{
ptr = &p;
std::
浏览 4提问于2012-02-19得票数 1
回答已采纳
2回答
如何使用动态对齐需求在C++中创建对象？
c++、memory-management、c++17
在C++中分配和使用动态指定对齐的缓冲区的正确方法是什么？我想到的用例是Vulkan动态统一缓冲区(请参阅，它在抽象中讨论了所需的过程)，它通过minUniformBufferOffsetAlignment属性在VkPhysicalDeviceLimits上给出了对齐的约束，这在编译时并不为人所知。
我一开始以为我可以使用operator new(std::align_val_t)来做如下的事情
Foo* buffer = new(std::align_val_t{alignment}) Foo[n];
但这并不能编译(至少在MSVC上是这样)。
我还看过Timur的CppCon演示文稿
浏览 5提问于2019-12-02得票数 2
回答已采纳
2回答
我们可以安全地说，realloc的结果不与原始指针别名吗？
c、realloc
假设我们有：
char *a = malloc(sizeof(char*));
char *b = realloc(a,sizeof(char*));
我们可以安全地说，b没有a的别名吗？realloc参考页面上说
原始指针ptr无效，对它的任何访问都是未定义的行为(即使重新分配已经到位)。
那么，我是否可以将b标记为不对a进行别名，因为我们不能再合法地访问a？然而，这可能导致一种有问题的优化，即将取消以下分支机构：
if (a == b)
something..
根据我的理解，a == b本身的比较将是UB，那么这是一个技术上正确的优化吗？
浏览 1提问于2017-12-26得票数 4
回答已采纳
3回答
此示例代码中的指针真的无效吗？
c、pointers、iso、c11
在这个示例代码中，指针在while循环之后是否真的是无效的，在编写代码时应该考虑到这一点吗？还是C标准被曲解和/或有缺陷？
#include <stdio.h>
int main(int argc, char **argv) {
(void)argc;
(void)argv;
int *pointer;
int object[1];
pointer = object;
printf("pointer -before: %p\n", (void*)pointer);
do {
int ot
浏览 4提问于2016-03-06得票数 0
2回答
UB是通过将对象指针转换为‘`char *’来访问成员，然后执行`*(member_type*)(指针+偏移量)‘吗？
c++、language-lawyer
下面是一个例子：
#include <cstddef>
#include <iostream>
struct A
{
char padding[7];
int x;
};
constexpr int offset = offsetof(A, x);
int main()
{
A a;
a.x = 42;
char *ptr = (char *)&a;
std::cout << *(int *)(ptr + offset) << '\n'; // Well-defined
浏览 4提问于2020-06-11得票数 11
3回答
这真的违反了严格的别名规则吗？
c++、language-lawyer、strict-aliasing
当我使用g++编译此示例代码时，收到以下警告：
警告:取消引用类型双关指针将违反严格别名规则[-Wstrict-aliasing]
代码：
#include <iostream>
int main()
{
alignas(int) char data[sizeof(int)];
int *myInt = new (data) int;
*myInt = 34;
std::cout << *reinterpret_cast<int*>(data);
}
在这种情况下，data不就是一个整数的别名，因此将它转换回一个整数不会违反严
浏览 38提问于2014-11-19得票数 32
回答已采纳
3回答
delete和析构函数调用时的区别是什么？
c++、debugging
我对C++中的析构函数感到非常困惑。例如，当我们在下面的代码中调用delete时，它首先调用Derived1的析构函数，然后调用Base的析构函数，然后会发生什么？那么动态分配的指针呢？另外，如果我直接调用Derived1的析构函数而不使用delete，或者当我同时调用它们时会发生什么？
#include <iostream>
using namespace std;
class Base
{
public:
Base(){
cout << "Base Constructor Called\n";
}
~Bas
浏览 2提问于2019-12-29得票数 1
1回答
std：：VS2019中的字符串分配问题，它在VS2015中运行得很好
c++、visual-studio-2015、visual-studio-2019、stdstring、safearray
我在VS2019中遇到了std::string分配问题，下面的代码在VS2015中运行得很好。我使用VisualStudio2019 (v142)作为VS2019中的平台工具集，使用Visual 2015 (v140)作为VS2015中的平台工具集。
class Test
{
public:
Test()
{
m_DisplayName = "";
m_Type = "";
}
std::string m_DisplayName;
std::string m_Type;
};
void C
浏览 13提问于2022-06-16得票数 0
2回答
在static_cast中使用C++转换指向数组引用的指针合法吗？
c++、arrays、casting、type-safety、static-cast
我有一个指针T * pValues，我想把它看作是一个T (&values)[N]
在这个答案中，建议的方法是
T (&values)[N] = *static_cast<T(*)[N]>(static_cast<void*>(pValues));
我担心的是。在他的示例中，pValues是以以下方式初始化的
T theValues[N];
T * pValues = theValues;
我的问题是，如果pValues来自以下任何一个构造，那么cast构造是否合法：
1：
T theValues[N + M]; // M > 0
T * pVal
浏览 1提问于2014-01-23得票数 19
回答已采纳
1回答
从原始内存中重新分配reinterpret_cast获取的指针是否会导致UB？
c++、pointers、language-lawyer、undefined-behavior、reinterpret-cast
在我们的讲座中，我们讨论了std::list的内部可能实现。讲师展示了创建虚拟节点以指示列表末尾的方法：
struct Node { Node* prev; ... }
Node* dummy = reinterpret_cast<Node*>(new int8_t[sizeof(Node)]);
dummy->prev = ... /* last node */;
他们声称最后一行可能会导致不明确的行为。我不明白为什么这会是不安全的。到头来，我们只是覆盖了几个部分，而没有取消预先设定的内容。如果这真的是个问题的话，难道不是发生在reinterpret_cast的时候吗？
浏览 12提问于2022-01-27得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频活动推荐
腾讯云开发者
