16

Why is the empty base class optimization (EBO) not being fully applied in Visual C++?

If I have a lot of base classes, is there any way for me to help the compiler make this optimization?

#include <iostream>

struct T1 { };
struct T2 { };
struct T3 { };
struct T4 { };
struct T5 { };
struct T6 { };

struct Test : T1, T2, T3, T4, T5, T6 { };

int main() { std::cout << sizeof(Test); }   // Prints 5
15
  • 1
    Are you compiling in debug mode?
    – jpm
    Oct 3, 2012 at 3:28
  • 2
    Hm... I didn't see that you had 6 of them... That makes it even more messed up...
    – Mysticial
    Oct 3, 2012 at 3:36
  • 1
    @Mysticial: Yeah, it's 7, if you count the derived class as well. That's why it's confusing me lol. (Funny thing is, it doesn't seem to go away when you nest them either. I had a bunch of empty classes with 1-2 base classes each, but they all inherited from each other, and the objects ended up being like 30 bytes!!)
    – user541686
    Oct 3, 2012 at 3:36
  • 3
    g++ is working fine, may be this is MS specific behavior or debug flags have to be set.
    – iammilind
    Oct 3, 2012 at 3:43
  • 5
    This behaviour is the reason boost operators has base class chaining instead of simply letting the user do multiple inheritance boost.org/doc/libs/1_51_0/libs/utility/operators.htm#chaining Oct 3, 2012 at 4:15

3 Answers 3

18

This is a longstanding bug in the Visual C++ compiler. When a class derives from multiple empty base classes, only the initial empty base class will be optimized using the empty base optimization (EBO).

This issue was reported on Microsoft Connect in 2006: Empty Base Optimization Not Working Properly. At the moment, old bugs are not visible on Microsoft Connect. I am told that this is a temporary issue, though I do not know when it will be resolved. In the meantime, the following is the response to the bug from Jonathan Caves, who is one of the developers on the Visual C++ compiler team:

Hi: unfortunately even though this is a bug in the Visual C++ object model we are unable to fix it at this time given that fixing it would potentially break a lot of existing programs as the sizes of objects would change. Hopefully in the future we may be able to address this issue but not for the next release of the product.

Thanks for reporting the issue.

2
  • I always find it interesting how MSDN links break right when you really need them, at least they plan on fixing it...
    – Necrolis
    Oct 3, 2012 at 20:04
  • 2
    This is still an issue in VS2017. However, it can be circumvented with some manual work according to this blog post. Since VS2015 Update 2 it is possible to add __declspec(empty_bases) to the derived class declaration to enforce the application of EBO in multiple inheritance scenarios. This has to be done manually to maintain binary compatibility. Dec 2, 2017 at 21:45
10

Since Visual Studio 2017 Update 2, there is a fix for this... but is it disabled by default. And you have to explicitly enable it for every class separately:

    struct __declspec(empty_bases) Test : T1, T2, T3, T4, T5, T6 { };
    //     ^^^^^^^^^^^^^^^^^^^^^^^

    static_assert(1 == sizeof(Test));

Sadly, this still holds true even for /std:c++latest and /permissive- even in Visual Studio 2019: There is no way of setting it globally.

0
8

The 'official' stance is MSVC will only do EBO for single inheritance, unfortunately the bug report where this is stated was deleted by MS, so all that remains is an older question on MSDN that points it out and references the now deleted bug report.

Your Answer

Reminder: Answers generated by Artificial Intelligence tools are not allowed on Stack Overflow. Learn more

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

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