Std::launder , alignas – C / C++ – Fórum – Programujte.com

Ahoj, z cppreference som trosku upravil kod :
 

#include "pch.h"
#include <memory>
#include <new>
#include <iostream>
#include <iomanip>

struct Tracer {
	int value;
	~Tracer() { std::cout << value << " destructed\n"; }
};

int main()
{

	alignas(Tracer) unsigned char buffer[sizeof(Tracer) * 8];

	for (int i = 0; i < 8; ++i) {
		new(buffer + sizeof(Tracer) * i) Tracer{ i }; //manually construct objects
		std::cout << std::setw(9) << (long long) &buffer + sizeof(Tracer) * i << '\n';
	}
	//auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));
	auto ptr = reinterpret_cast<Tracer*>(buffer);
	std::destroy(ptr, ptr + 8);
}

A zaujima ma, k comu tam potrebujeme:  
->alignas (Tracer) .. viem, ze sa jedna o zarovnanie v pamati, ale tam to asi konci...

-> std::launder , jediny priklad co som k tomu nasiel pokial sme na adrese stareho objektu (ktory mal nejaky const atribut) vytvorili novy a chceli sme ho menit, ale nerozumiem preco ho pouziva aj teraz. 

Dakujem :) 

To std::launder je pojmenovano podobne jako "money laundering", tj. prani spinavych penez coz je vlastne skryti odkud jsou. Ma to schovat puvod dat, aby kompilator nahodou nevygeneroval optimalizovany kod (hlavne pro konstanty) tam, kde to neni zadouci.

Cele vysvetleni: https://stackoverflow.com/questions/39382501/what-is-the-purpose-of-stdlaunder

Alignas ma asi za ukol zarucit, aby blok pameti zacinal na stejnem miste, jako kdyby to bylo pole danych objektu. Pole bajtu by teoreticky mohlo zacinat posunute a pak by se pristup k objektu rozbil, kdyz by napriklad jeden byte ze 4 byl v jednom 4B slovu a zbytek v dalsim (procesor ma rad zarovnani obvykle na 4B a instrukce procesoru pro praci s celymi slovy s tim take pocitaji).

A v tomto pripade aky je teda rozdiel medzi tymito dvoma riadkami:
 

auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));
auto ptr = reinterpret_cast<Tracer*>(buffer);

Resp. kedy je vhodne pouzit std::launder? :-)

Don’t ask. If you’re not one of the 5 or so people in the world who already know what this is, you don’t want or need to know.

#3 Stamp
std::launder je vhodné (nutné) použít prakticky vždy, když děláš reinterpret_cast, protože reinterpret_cast rozbije strict aliasing pravidla, což znamená, že při použití reinterpret_cast bez std::launder je kompilátor schopný vygenerovat nefunkční kód. Více zde: https://stackoverflow.com/…ict-aliasing