Std::string в union -> segmentation fault

@OrmaJever · Регистрация: 10.11.2011

Если создать простой класс с union'ом внутри которого есть пользовательский тип

C++

using std::string;
class A {
public:
    A( string str ) { val.String = str; }
    union value
    {
        int                         Int;
        string                      String;
 
        value(){};
        ~value(){};
    } val; // записаное значение
};

и затем его вызвать

C++

1	A a("string");

То программа падает на конструкторе, если присваивать значение инту то всё нормально. Что-то мне подсказывает что нужно как-то инстализировать класс string внутри union, но я не могу понять как?

@castaway · 17.05.2015, 23:27

Покажи пример при котором "падает".

@DrOffset · 17.05.2015, 23:29

OrmaJever,

C++

using std::string;
class A {
public:
    A( string str ) { val.String = str; }
    union value
    {
        int                         Int;
        string                      String;
 
        value() : String() {}
        ~value(){ }
    } val; // записаное значение
};

Только имей в виду, что деструктор для String нужно будет вызывать вручную.

@OrmaJever · 17.05.2015, 23:49 **[ТС]**

DrOffset, отлично, это работает. А разве нельзя вызвать деструктор string в деструкторе ~value() ?

@castaway · 17.05.2015, 23:49

OrmaJever, а в чём смысл запихивать std::string в union? Экономия памяти?

@OrmaJever · 18.05.2015, 00:03 **[ТС]**

castaway, вообще да. Но это я показал не весь union, и string там ещё не самый крупный (sizeof показывает 4б)

C++

        struct value
        {
            int                         Int;
            bool                        Bool;
            double                      Double;
            string                      String;
            std::map< string, JType * > Object;
            std::vector< JType * >      Array;

std::map - 24б, и в целом размер обьеденения - 24б, а если волшебное слово union заменить на struct то - 56б. А поскольку его копий может быть много и даже очень много то это значительная экономия.

@DrOffset · 18.05.2015, 00:08

Сообщение от OrmaJever

А разве нельзя вызвать деструктор string в деструкторе ~value() ?

Можно, но только в том случае, если он действительно там сохранен (а не, int например). Если там на самом деле int, то при вызове деструктора String будет UB. Из деструктора самого union ты никак это не определишь, поэтому выход один: вызывать извне с предварительной проверкой.

Добавлено через 1 минуту

Сообщение от OrmaJever

если волшебное слово union заменить на struct

А ты в курсе про то, что union хранит всегда только какой-то один из своих членов?

@OrmaJever · 18.05.2015, 00:11 **[ТС]**

DrOffset, в общем я понял, перед очисткой нужно убедиться что там именно этот класс задействован, это я понял, дальше буду уже сам крутиться. У меня снаружи есть переменная которая содержит какой тип записан в union от неё и буду отталкиваться

@DrOffset · 18.05.2015, 00:13

Сообщение от OrmaJever

У меня снаружи есть переменная которая содержит какой тип записан в union от неё и буду отталкиваться

Да - это правильно.

@OrmaJever · 18.05.2015, 00:13 **[ТС]**

Сообщение от DrOffset

А ты в курсе про то, что union хранит всегда только какой-то один из своих членов?

ну да, я про это и писал, что так размер самого большого std::map, а если это будет структура или класс то будет сумма всех свойств. Я это к тому написал что экономия существенная.

@DrOffset · 18.05.2015, 00:16

Сообщение от OrmaJever

ну да, я про это и писал, что так размер самого большого std::map, а если это будет структура или класс то будет самма всех свойств. Я это к тому написал что экономия существенная.

Ок. Просто нужно было удостовериться, что ты понимаешь на что идешь

Вообще посмотри boost::variant. Он как раз эту задачу решает.

@Renji · 18.05.2015, 00:26

Сообщение от OrmaJever

castaway, вообще да. Но это я показал не весь union, и string там ещё не самый крупный (sizeof показывает 4б)

Думается мне, json все же правильнее делать через наследование и виртуальные функции. Алсо, раз уж делаете не через наследование, то в мап и вектор можно класть JType, а не указатель на него.

@Renji 2760 / 1914 / 569 Регистрация: 05.06.2014 Сообщений: 5,569
	18.05.2015, 00:26	12
	Сообщение от OrmaJever castaway, вообще да. Но это я показал не весь union, и string там ещё не самый крупный (sizeof показывает 4б) Думается мне, json все же правильнее делать через наследование и виртуальные функции. Алсо, раз уж делаете не через наследование, то в мап и вектор можно класть JType, а не указатель на него. 0

@castaway 4981 / 3088 / 456 Регистрация: 10.11.2010 Сообщений: 11,165 Записей в блоге: 10
	17.05.2015, 23:27	2
	Покажи пример при котором "падает". 0

@OrmaJever 9 / 9 / 0 Регистрация: 10.11.2011 Сообщений: 241
	17.05.2015, 23:49 [ТС]	4
	DrOffset, отлично, это работает. А разве нельзя вызвать деструктор string в деструкторе ~value() ? 0

@castaway 4981 / 3088 / 456 Регистрация: 10.11.2010 Сообщений: 11,165 Записей в блоге: 10
	17.05.2015, 23:49	5
	OrmaJever, а в чём смысл запихивать std::string в union? Экономия памяти? 0

@DrOffset 17110 / 9129 / 2236 Регистрация: 30.01.2014 Сообщений: 15,916
	18.05.2015, 00:08	7
	Сообщение от OrmaJever А разве нельзя вызвать деструктор string в деструкторе ~value() ? Можно, но только в том случае, если он действительно там сохранен (а не, int например). Если там на самом деле int, то при вызове деструктора String будет UB. Из деструктора самого union ты никак это не определишь, поэтому выход один: вызывать извне с предварительной проверкой. Добавлено через 1 минуту Сообщение от OrmaJever если волшебное слово union заменить на struct А ты в курсе про то, что union хранит всегда только какой-то один из своих членов? 0

@OrmaJever 9 / 9 / 0 Регистрация: 10.11.2011 Сообщений: 241
	18.05.2015, 00:11 [ТС]	8
	DrOffset, в общем я понял, перед очисткой нужно убедиться что там именно этот класс задействован, это я понял, дальше буду уже сам крутиться. У меня снаружи есть переменная которая содержит какой тип записан в union от неё и буду отталкиваться 0

@DrOffset 17110 / 9129 / 2236 Регистрация: 30.01.2014 Сообщений: 15,916
	18.05.2015, 00:13	9
	Сообщение от OrmaJever У меня снаружи есть переменная которая содержит какой тип записан в union от неё и буду отталкиваться Да - это правильно. 0

@OrmaJever 9 / 9 / 0 Регистрация: 10.11.2011 Сообщений: 241
	18.05.2015, 00:13 [ТС]	10
	Сообщение от DrOffset А ты в курсе про то, что union хранит всегда только какой-то один из своих членов? ну да, я про это и писал, что так размер самого большого std::map, а если это будет структура или класс то будет сумма всех свойств. Я это к тому написал что экономия существенная. 0

@DrOffset 17110 / 9129 / 2236 Регистрация: 30.01.2014 Сообщений: 15,916
	18.05.2015, 00:16	11
	Сообщение от OrmaJever ну да, я про это и писал, что так размер самого большого std::map, а если это будет структура или класс то будет самма всех свойств. Я это к тому написал что экономия существенная. Ок. Просто нужно было удостовериться, что ты понимаешь на что идешь Вообще посмотри boost::variant. Он как раз эту задачу решает. 0

Опции темы

Std::string в union -> segmentation fault

Решение