25

У меня такой вопрос: зачем Microsoft в WinApi создает свои макросы для имеющихся в языке определений? Например CHAR == char, DOUBLE == double, LPCSTR == char* и так далее.

3
  • 7
    - Скорее всего, из соображений консистентности с принятой схемой нейминга структур — все названия структур в WinAPI пишутся заглавными буквами (например, LVITEM). - Соответственно, чтобы сигнатуры функций выглядели консистентно — DOUBLE MyFunctionName(HANDLE handle, INT something), а не double MyFunctionName(HANDLE handle, int something), в какой-то момент было принято решение пере-typedef'ить все стандартные типы. 22 мар 2013 в 8:13
  • 1
    Это делается не только в Windows API. Почти во всех крупных С/C++ проектах через связку макросов и typedef создают свою систему примитивных типов. Отчасти по соображениям которые привел @Котик, отчасти для того чтобы гарантировать размер/поведение типа данных и тем самым еще больше абстрагировать его от компилятора/архитектуры процессора(ответ @KoVadim). Более того такая техника для целых чисел включена в стандарт и реализована отдельно в заголовочном файле stdint.h. Вот скажем длинный пример на эту тему из boost boost.org/doc/libs/1_53_0/boost/cstdint.hpp
    – igumnov
    23 мар 2013 в 13:06
  • Макросы? Это где это вы увидели у Майкрософта такие макросы? Эти типы у Майкрософта всегда были typedef-именами, а не макросами. 2 июл 2015 в 17:00

2 ответа 2

30

Все очень просто. На самом деле на все стандартные типа накладывается слишком мало ограничений. Тот же char по факту может быть как знаковым, так и беззнаковым. Тот же double может иметь различную длину:

The type double provides at least as much precision as float, and the type long double provides at least as much precision as double.

То есть, точная длина в байтах неведома. Да, для конкретной реализации комплятора она известна, но в общем случае — нет.

А теперь представьте себе ситуацию, что есть много-много строк кода, и в один день разработчики компилятора сказали, что char у них будет беззнаковый (раньше мне такая ситуация показалась бы надуманной. Но теперь, когда ARM и MIPS процессоры прочно входят в нашу жизнь, когда 128 битные платформы не за горами, возможно и не такое). И что теперь делать? Перепроверять тонны кода? Гадать, почему на одной платформе работает, а на другой нет?

Поэтому и определяют свой тип, который имеет гарантированное поведение, а также понятное (легко для поиска и восприятия) и не очень длинное (сравните CHAR и signed char) название.

А вот с типами LPCSTR ситуация ещё интереснее. Помню, когда то давно, когда я только начинал изучать си и плюсы, мне нужно было переписать небольшой код, который работал с трехмерными массивами (для кафедры, где я учился). Передача по указателю, когда у тебя три звездочки подряд, запутывает окончательно. Но если объявить тип вида typedef int*** matrix;, то передача по ссылке значительно упрощается ( void func(matrix * data);) И не нужно думать, сколько там звездочек нужно поставить. От правильно составленной структуры типов продуктивность повышается в разы.

8
3

Это касается почти любой API, в том же OpenGL и Direct3D свои переопределяемые типы. Даже в стандарт stddef/cstddef входят переопределяемые типы, такие как size_t, ptrdiff_t и т.д.

Вот простой пример: ты используешь арифметику указателей на 32-битной платформе в своём проекте, иногда храня указатель в типе int, после захочешь перенести свой проект на 64-битную платформу, так вот данный тип int для хранения указателя может и не поместится из-за различия размерности void* (указателя) между int. Так вот, тебе придётся везде тип int изменить на 64-битный тип, а если бы ты сразу использовал ptrdiff_t, то не пришлось бы делать лишнюю работу.

В WinAPI есть аналоги типа INT_PTR/UINT_PTR, LONG_PTR/ULONG_PTR, DWORD_PTR...

То же самое касается типов, которые гарантированно дают размерность битности как UINT8 (1-байт), UINT16 (2-байта), UINT32 (4-байта), UINT64 (8-байт)...

p.s. даже такая истинность — не панацея: sizeof(int) == sizeof(__int32) может быть и истинно, а может быть и ложно.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.