Czy implementacje krotek mają zoptymalizowany układ?

Question

Podczas czytania this byłem zaskoczony tym, jaki poziom metaprogramowania może zrobić dla twojego układu klas. Muszę przyznać, że nie w pełni zrozumieć, co jest proponowane optymalny układ, gdybym miał stwierdzić, co zrozumiałem, to byłoby to:

zamawiania członkiem klasy schodząc wyrównanie czyli typu z największą alignof wyniku idzie pierwszy itp.

Możesz mnie poprawić, jeśli coś jest nie tak (gdybyś miał krótkie wyjaśnienie, dlaczego tak się stanie, byłoby jeszcze lepiej, nie mogłem skopiować wklejonych fragmentów uzasadnienia w moim pytaniu) , ale moje pytanie dotyczy innego tematu:

Czy jakakolwiek implementacja biblioteki std::tuple ma taką optymalizację układu?

Jeśli nie, czy istnieją jakieś standardowe typy danych algebraicznych, które to robią, czy istnieje inny sposób, aby to zrobić dla mojej klasy, oprócz pisania takiej maszyny?

Answer 1

Brak implementacji biblioteki Jestem świadomy optymalizacji układu do wyrównania. Można użyć programu takiego jak ten, aby przeprowadzić inspekcję tuple układ:

#include <iostream> 
#include <tuple> 

struct empty {}; 

int 
main() 
{ 
    using T = std::tuple<double, int, empty, short, long>; 
    T t{}; 
    std::cout << &t << '\n'; 
    std::cout << &std::get<0>(t) << '\n'; 
    std::cout << &std::get<1>(t) << '\n'; 
    std::cout << &std::get<2>(t) << '\n'; 
    std::cout << &std::get<3>(t) << '\n'; 
    std::cout << &std::get<4>(t) << '\n'; 
    std::cout << &t+1 << '\n'; 
    std::cout << sizeof(T) << '\n'; 
} 

libC++ przechowuje elementy w kolejności deklaracji i optymalizuje przestrzeń z dala pustych członków. Puste elementy są przesunięte w kierunku przodu. Wydajność próbki:

0x7fff5ccf39f8 
0x7fff5ccf39f8 
0x7fff5ccf3a00 
0x7fff5ccf39f8 
0x7fff5ccf3a04 
0x7fff5ccf3a08 
0x7fff5ccf3a10 
24 

libstdC++ przechowuje elementy w kolejności odwrotnej do deklaracji i optymalizuje przestrzeń dla pustych członków. Puste elementy są przesunięte w kierunku przodu. Wydajność próbki:

0x7ffe4fc5b2a0 
0x7ffe4fc5b2b0 
0x7ffe4fc5b2ac 
0x7ffe4fc5b2a0 
0x7ffe4fc5b2a8 
0x7ffe4fc5b2a0 
0x7ffe4fc5b2b8 
24 

VS-2015 przechowuje elementy w kolejności odwrotnej do deklaracji i nie optymalizuje miejsca dla pustych elementów. Przykładowe wyjście:

0306FEF4 
0306FF04 
0306FF00 
0306FEFC 
0306FEF8 
0306FEF4 
0306FF0C 
24 

W tym przykładzie widzimy, że optymalizacja miejsca z dala do pustej członka nie kupować niczego, ponieważ wpisuje się w obszar wypełnienia tak.

Brak urządzeń, które automatyzują zadanie zmniejszania wypełnienia w standardzie.