MS C/C++ Compiler и EBCO при множественном наследовании

Запись от Убежденный размещена 24.08.2017 в 16:43

Показов 4363 Комментарии 0

Только что с удивлением узнал, что мой любимый компилятор MS C/C++ Compiler из
Visual Studio не умеет выполнять оптимизацию 'Empty Base Class Optimization' (EBCO)
для ситуаций с множественным наследованием.

EBCO может быть полезна, когда ваш класс наследует несколько пустых классов
(пустой класс - т.е. класс без данных), например для каких-то ограничений или реализаций.

Пример:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
struct NoCopyAssign
{
    NoCopyAssign() {}
    ~NoCopyAssign() {}
 
private:
    NoCopyAssign(NoCopyAssign const &);
    NoCopyAssign & operator = (NoCopyAssign const &);
};
 
struct Test :
    private NoCopyAssign // Test нельзя копировать и присваивать.
{
    void * ptr;
};

Теперь при попытке сконструировать Test из существующего объекта или выполнить
присваивание одного Test другому будет выдана ошибка компиляции. Все это давно и
хорошо известно. Но каким будет размер Test? Логика подсказывает, что на "нормальных"
компиляторох это будет sizeof (ptr), т.е. sizeof (void *). Так и есть.

А теперь включим множественное наследование:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <cstdio>
 
struct c1 {};
struct c2 {};
struct c3 {};
 
struct Test : c1, c2, c3
{
    void * data;
};
 
int main()
{
    printf("%u, %u\r\n", (unsigned int)sizeof (void *), (unsigned int)sizeof (Test));
    return 0;
}

Увы, MS C/C++ Compiler дает результат "4, 8" для Win32 и "8, 16" для x64.
Проверено на VS2008 SP1 и на VS2015 Update3, конфигурация Release со всеми оптимизациями.

Насколько я знаю, GCC и Clang, а, возможно, и Intel тоже, давно умеют и делают EBCO в
таких ситуациях (проверки на codepad, ideone и rextester это подтверждают).

Единственное, хотя и слабое утешение - в VS2015 Update2 есть малоизвестная опция '__declspec(empty_bases)',
которую со временем хотят сделать поведением по умолчанию. Будем ждать...

Ссылка в тему:

Optimizing the Layout of Empty Base Classes in VS2015 Update 2
https://blogs.msdn.microsoft.c... pdate-2-3/

Размещено в Без категории

Главная страница

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

Всего комментариев 0

Комментарии

Убежденный Убежденный вне форума

Регистрация 02.05.2013
Сообщений 11,617
Записей в блоге 1

Поиск в блоге Убежденный

Содержит текст: Искать только в заголовках

Расширенный поиск
Категории блога
Локальные категории
- Без категории
Последние записи
- MS C/C++ Compiler и EBCO при множественном наследовании
Облако меток

.net .net native 1с access activemq agile ai airscan blacklist android angular antipatterns api gateway architecture arm asm asp.net asp.net core astra async async/await auth avro aws lambda azure functions bash basic batch behavior graph bff blender branch-free bulkhead c c# c++ c++11 c++14 c++17 c++20 c++23 c++26 c++98 c++ qt caffeine chinese ci/cd circuit breaker citrix cli cloud cnpg com composition api concurrency cpu cqrs csrf css cypress db ddd debian delphi devops di django docker dotnet drakon einstein elasticsearch elk eng eureka event-driven event sourcing excel fetch api functional gamedev gdi+ gimp git github github actions gitlab go golang gpt grafana graphql grpc hadoop hardware hazelcast hcl hcl notes highload html http i2c interview ios iot java javascript jest jit jpa json jupyter notebooks jwt kafka kotlin kryo kubernetes laravel lazarus linux lisp lock-free lotusscript lstm machine learning math matplotlib maven mediatr memory leak microservices middleware mingw ml mobile mobiledev mock mongodb mqtt msa ms access multitenant multithreading next.js node.js notepad++ npp oauth2 oop opengl openid openid connect openmp opentk oracle owenlogic parallel pascal patterns performance php plc postgresql powershell problem prometheus protobuf pyenv pyqt python qt qt creator rabbitmq race condition react reflection rest api rust saas saga sdl serilog serverless sfml sidecar socket.io solid spring spring boot spring data sql server std::execution std::span strangler string string_view swift swiftui tcl tdd telegram thread threadpool three.js typescript ubuntu ue uikit uml unit-test unity unity2d userscript vb vba visual studio vk vs code vue vue.js vue 3 wasm webapi webassembly webgl webview wget wget alt sp winapi windows winforms wireshark word wpf xml xpath xss yii города ии информатика кумир нейросеть новый год ооп праздник россия си сумматор триггер форум

Поиск по метке

Новые блоги и статьи Все статьи Все блоги /
Динамические массивы в C++ - создание и использование NullReferenced 27.04.2025 Динамические массивы представляют собой один из фундаментальных инструментов программирования на C++, позволяющий создавать структуры данных, размер которых определяется во время выполнения. . .	Асинхронный JavaScript: Промисы, Async/Await и Fetch API Reangularity 27.04.2025 Пользователь заходит на веб-страницу, нажимает кнопку и. . . ничего не происходит. Сайт словно замер. Через несколько секунд всё внезапно оживает, но пользователь уже успел закрыть вкладку. Знакомая. . .	Management on GitLab and repository management in Visual Studio code jigi33 27.04.2025 - repo management on GitLab - CI/ CD in GitLab - VCS repository management in Visual Studio code (see attachments)	Kanban или Scrum - что выбрать? EggHead 27.04.2025 Kanban и Scrum — уже много лет удерживают лидирующие позиции среди гибких подходов. Руководители проектов и команды разработчиков то и дело сталкиваются с дилеммой: какой из этих двух методов выбрать. . .	Кастомные Middleware на C# в ASP.NET Core UnmanagedCoder 27.04.2025 Разработка веб-приложений сегодня мало напоминает монолитное программирование прошлых лет. На смену громоздким блокам кода пришла модульная архитектура, где каждый компонент выполняет строго. . .
Анализ и линтинг кода JavaScript: ESLint, Prettier и JSHint run.dev 26.04.2025 JavaScript прошёл долгий путь от простого языка для анимации веб-страниц до основы современной веб-разработки. С ростом сложности приложений, увеличением кодовых баз и масштабированием команд. . .	Паттерны в Python: Singleton, Factory и Observer py-thonny 26.04.2025 Паттерны проектирования — это проверенные временем решения типовых проблем разработки программного обеспечения. Их история берёт начало с книги "Приёмы объектно-ориентированного проектирования. . . .	Исключения в C#: Stack Overflow, Access Violation и Out of memory stackOverflow 26.04.2025 Исключения в C# — это не только механизм оповещения о проблемах, а целое искусство управления потоком выполнения программы в экстремальных ситуациях. Обычное исключение, например,. . .	Логирование в C# ASP.NET Core с помощью Serilog, ElasticSearch, Kibana stackOverflow 25.04.2025 Помните те времена, когда для анализа проблемы приходилось подключаться к серверу, искать нужный лог-файл среди десятков других и вручную фильтровать тысячи строк в поисках ошибки? К счастью, эти дни. . .	Структура "железный OnKeyUp" вместо антидребезга. Полностью асинхронный счётчик. Hrethgir 25.04.2025 Программа для симуляции схемы - Logisim Evolution В общем какое-то время отвлёкся, так было надо, теперь когда запилю это на verilog и FPGA , досоставлю заявку в ФИПС на полезную модель - не готов. . .

Наверх

Сообщение форума

Отменить изменения