38

C++11 allowed the use of standard layout types in a union: Member of Union has User-Defined Constructor

My question then is: Am I guaranteed the custom destructor will be called, when the union goes out of scope?

My understanding is that we must manually destroy and construct when switching: http://en.cppreference.com/w/cpp/language/union#Explanation

But what about an example like this:

{
    union S { string str;
              vector<int> vec;
              ~S() {} } s = { "Hello, world"s };
}

When s goes out of scope, have I leaked the memory the string allocated on the heap because I did not call string's destructor?

9
  • This does not even compile. AFAIK you need to use placement new for those things and call the constructor manually. So to be consistent the same goes for destructors.
    – Hayt
    Commented Oct 18, 2016 at 11:38
  • @Hayt So after my edit, this constructor will compile: ideone.com/Cf0OOQ but according to Nathan Oliver's answer it does leak. Commented Oct 18, 2016 at 11:58
  • 1
    I am not sure why the assignment works in the first place. It seems unintentional. But it still leaks. You can see here the basic_string constructor being called but not the destructor: godbolt.org/g/2uvrWn
    – Hayt
    Commented Oct 18, 2016 at 12:14
  • 1
    yes that what you should do and have to do. The case that it works with { } assignment seems like a design flaw of unions because it implicitly allocates but not deallocates.
    – Hayt
    Commented Oct 18, 2016 at 12:26
  • 1
    I also agree with nathan being correct. But if it helps I can add an answer with some explanation.
    – Hayt
    Commented Oct 18, 2016 at 12:37

3 Answers 3

32

In your example that you provided str will not be destructed. The standard states in [class.union]/2

A union can have member functions (including constructors and destructors), but not virtual (10.3) functions. A union shall not have base classes. A union shall not be used as a base class. If a union contains a non-static data member of reference type the program is ill-formed. At most one non-static data member of a union may have a brace-or-equal-initializer . [ Note: If any non-static data member of a union has a non-trivial default constructor (12.1), copy constructor (12.8), move constructor (12.8), copy assignment operator (12.8), move assignment operator (12.8), or destructor (12.4), the corresponding member function of the union must be user-provided or it will be implicitly deleted (8.4.3) for the union. — end note ]

emphasis mine

So since both str and vec have special member functions that are not trivial you will need to provide them for the union yourself.

Do note that as per bogdan's comments below the empty destructor is not enough. In [class.union]/8 we have

[...]If X is a union its variant members are the non-static data members;[...]

So all members of this union are variants. Then if we look at [class.dtor]/8 we have

After executing the body of the destructor and destroying any automatic objects allocated within the body, a destructor for class X calls the destructors for X’s direct non-variant non-static data members[...]

So the destructor will not automatically destroy the members of the union as they are variants.

You could make a tagged union like kennytm does here

struct TU {
   int type;
   union {
     int i;
     float f;
     std::string s;
   } u;

   TU(const TU& tu) : type(tu.type) {
     switch (tu.type) {
       case TU_STRING: new(&u.s)(tu.u.s); break;
       case TU_INT:    u.i = tu.u.i;      break;
       case TU_FLOAT:  u.f = tu.u.f;      break;
     }
   }
   ~TU() {
     if (tu.type == TU_STRING)
       u.s.~string();
   }
   ...
};

Which ensures the correct member is destroyed or just use a std::variant or boost::variant

26
  • 2
    @JonathanMee I can ensure you the copy constructor is deleted. The standard even has an example of a union with a std::sting in it in the next paragraph and it states Since std::string (21.3) declares non-trivial versions of all of the special member functions, U will have an implicitly deleted default constructor, copy/move constructor, copy/move assignment operator, and destructor. To use U, some or all of these member functions must be user-provided Commented Oct 18, 2016 at 12:35
  • 2
    @JonathanMee No compiler is guilty of anything in those examples. That initialization doesn't involve the copy constructor of the union; that union is an aggregate, and that's aggregate initialization (it does involve copy initialization of the first union member, the string, which does call string's copy constructor).
    – bogdan
    Commented Oct 18, 2016 at 17:58
  • 3
    @JonathanMee Those constructors are indeed deleted, but that doesn't necessarily mean that no construction is possible. An aggregate can still be initialized through aggregate initialization, even if all its constructors are deleted. That's not limited to unions. What is specific to unions is that union aggregate initialization is defined to initialize the first member. Try adding a user-provided constructor to that union; say, a default constructor like S() { }. The union will no longer be an aggregate and the initialization will have to use a constructor, which will fail.
    – bogdan
    Commented Oct 18, 2016 at 18:23
  • 4
    @JonathanMee Because of the quotes I gave above, as far as the standard is concerned. Practically, because the destructor wouldn't (always) know which subobject destructor to call.
    – bogdan
    Commented Oct 18, 2016 at 18:46
  • 3
    @JonathanMee Updated. Commented Oct 18, 2016 at 19:08
4

Your example won't compile. Unions have, by default, a deleted destructor. Because of course, what destructor should be called? Surely you can't call both. And nowhere is any information stored about which member was actually constructed. It's up to you to provide a proper destructor.

Here's the output of GCC when trying to compile your code snippet:

In function ‘int main()’:
error: use of deleted function ‘main()::<anonymous union>::~<constructor>()’
       vector<int> vec; } s = { "Hello, world"s };
                                                ^

note: ‘main()::<anonymous union>::~<constructor>()’ is implicitly deleted because the default definition would be ill-formed:
      union { string str;
            ^
1
  • Thanks for the comment. I have cleaned up the code in question, to add a custom destructor to the union definition. This builds so thanks for the info, but this answer doesn't attempt to address the question: What happens when the union goes out of scope? Commented Oct 18, 2016 at 11:53
1

You always need to manually call the constructor of the objects in your struct with non trivial types.

Usually you always also need to construct them explicitly too. It seems weird that the assignment here works.

In case of doubt though you can always check the assembly if destructors get called.

The assembly of this code does call the basic_string constructor but not the destructor. So you will have leaks here.

using namespace std;
int main(int argc, char** argv){
    union S { string str;
              vector<int> vec;
              ~S() {} } s = { "Hello, world"s };
}

link to see the assembly: https://godbolt.org/g/wKu3vf

1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.