C++ Союзов в памяти

Question

Я возился с кодом, как следующее:

union Data { 
    int i; 
    double x; 
    std::string str; 
    ~Data(){} 
}; 

union Data var = {.x = 31293.932}; 

std::cout << var.x << "\n"; 
std::cout << var.str << "\n"; 
std::cout << var.i << "\n"; 

Насколько я знаю, союза есть некоторые 64 бит, что написано после того, как я установил й элемент к некоторому числу с плавающей точкой. Затем я хочу увидеть соответствующую строку, считая, что я обрабатывал эти байты как char. Но я получаю ошибку сегментации, когда пытаюсь напечатать ее как строку. Почему это? Я инициализировал объединение, поэтому я предполагаю, что var.str также должен быть инициализирован.

Answer 1

str не был сконструирован. если вы должны использовать str, вы должны либо предоставить ему конструктор, либо построить его через новое место размещения. Полный пример ниже

#include <iostream> 
#include <vector> 

using namespace std; 

union Data 
{ 
    int i; 
    double x; 
    std::string str; 
    Data() {} 
    Data(std::string st) : str(st) {} 
    ~Data() {} 
}; 

int main() 
{ 
    Data var; 
    var.x = 31293.932; 
    new (&var.str) std::string("Hello World!"); 


    std::cout << var.x << "\n"; 
    std::cout << var.str << "\n"; 
    std::cout << var.i << "\n"; 

//destroy it 
    var.str.std::string::~string(); 
} 

EDIT:

Просто расширить мой ответ немного ...

MSDN, кажется, есть n00bie дружественного объяснение о союзах, чем cppreference. Итак, отметьте: Unions - MSDN и Unions - cppreference

Answer 2

Вы должны использовать char для доступа к байтам в объединении. std::string не является типом POD и не может использоваться таким образом.

Попробуйте вместо этого:

union Data { 
    int i; 
    double x; 
    char bytes[sizeof(double)]; 
    ~Data(){} 
}; 

union Data var = {.x = 31293.932}; 

std::cout << var.x << "\n"; 
std::cout.write(var.bytes, sizeof(var.bytes)); 
std::cout << "\n" << var.i << "\n"; 

Полное определение того, что тип POD обширна. В очень простых терминах это базовый тип данных без явно определенного конструктора копий, деструктора или виртуальных методов и сам не содержит таких типов, если он является совокупным типом (например, struct, class и union).