, По сути, создание и уничтожение такого указателя будет действовать как барьеры последовательности, но их использование не будет. Код, который создает такие указатели в узком цикле, может работать плохо, но возможность поставить барьеры вне цикла может позволить более эффективный код, чем это было бы возможно в противном случае.
сно этомуответ, начиная с C ++ 17, даже если указатель имеет правильный адрес и разыменование правильного типа, это может вызватьнеопределенное поведение.
alignas(int) unsigned char buffer[2*sizeof(int)];
auto p1=new(buffer) int{};
auto p2=new(p1+1) int{};
*(p1+1)=10; // UB since c++17
Причина в том, что значение указателяp1+1
являетсяуказатель за конец объект. Можно ли вернуть этот пример к определенному поведению, используяstd::launder
:
*std::launder(p1+1)=10; // still UB?
Во-вторых, будет ли это полезно в следующем случае?
alignas(int) unsigned char buffer[3*sizeof(int)];
auto pi = new (buffer) int{};
auto pc = reinterpret_cast<unsigned char*>(pi);//not a "pointer to" an element of buffer
//since buffer[0] and *pc
//are not pointer interconvertible
//pc+2*sizeof(int) would be UB
auto pc_valid = std::launder(pc) //pc_valid is a pointer to an element of buffer
auto pc_valid2 = pc_valid+2*sizeof(int); //not UB thanks to std::launder
auto pi2 = new (pc_valid2) int{};