Массивы и списки Boost PP могут быть пустыми, но секвы и кортежи не могут. Форма пустого массива — «(0,())», а форма пустого списка — «BOOST_PP_NIL». Но форма «()» не представляет собой пустой сек или пустой кортеж. Вместо seq он представляет собой один элемент seq, данные которого пусты, в то время как для кортежа он представляет собой кортеж размером 1, один элемент которого пуст.

Отсутствие способа представления пустого seq или tuple представляет собой небольшую проблему для пользователей Boost PP. Для кортежа, особенно, невозможность быть «пустым» является единственной причиной, по которой конечный пользователь может предпочесть использовать массив, а не кортеж в качестве данных препроцессора Boost PP. В противном случае, при использовании вариадных макросов, использование кортежа легче отметить и впоследствии использовать, чем массив, поскольку для указания количества элементов кортежа не требуется никаких усилий.

VMD, как мы видели, имеет функциональность, чтобы определить, когда данные препроцессора «пусты». BOOST_VMD_IS_EMPTY макрос. Из-за этого можно рассматривать пустоту, при нанесении на сек или кортеж, как пустой сек или пустой кортеж соответственно, что позволяет сек и кортежи быть пустыми, как массивы и списки.

Однако существует одна большая проблема при рассмотрении пустоты как пустой сек или пустой кортеж; функция Boost PP для сек или кортежа ничего не знает об этом. Другими словами, если вы передали пустоту макросу Boost PP, который ожидает seq или tuple, например:

BOOST_PP_SEQ_SIZE()

или

BOOST_PP_TUPLE_PUSH_BACK(,1)

Вы получите UB, неопределенное поведение.

Для того, чтобы использовать секвы и кортежи, которые могут быть пустыми, VMD определяет ряд макросов, которые имитируют многие из них в Boost PP, но начинаются с BOOST_VMD_, а не с BOOST_PP_. Макросы VMD работают с тем, что я буду называть VMD seq или VMD tuple, в то время как эквиваленты Boost PP работают с традиционным seq или tuple. VMD seq - это seq, который может быть пустым, а VMD tuple - это кортеж, который может быть пустым. Поэтому VMD seq является супермножеством нормального seq, а VMD tuple является супермножеством нормального tuple. Таким образом, функциональность VMD может принимать VMD seq или tuple или обычный seq или tuple, тогда как эквивалентная функциональность Boost PP принимает только обычный seq или tuple. Чтобы быть более точным, функция Boost PP может принимать VMD seq или VMD tuple, если он не пуст. Другими словами, нет никакой разницы между непустым VMD seq или Boost PP seq, или между непустым VMD tuple и Boost PP tuple.

Конкретные макросы, которые VMD поставляет, поддерживая VMD seqs и VMD tuples, разделены между массивом, списком, seq и функциональностью tuple. Фактические файлы заголовков для этих макросов находятся в подкаталогах каталога VMD, которые начинаются соответственно с «array», «list», «seq» и «tuple». Файлы заголовка также включены в общий файл заголовка boost/vmd/vmd.hpp.

Array macros

Макросы массивов обеспечивают преобразования из массива в VMD seq или VMD tuple. Массивными макросами являются:

Разница между макросами преобразования массивов и их эквивалентами в Boost PP заключается в том, что если массив пуст, макросы VMD возвращают пустоту, тогда как макросы Boost PP имеют UB.

Вы можете включить макросы массива, используя их отдельные файлы заголовка, общий файл заголовка «boost/vmd/array.hpp» для всех макросов массива или общий файл заголовка «boost/vmd/vmd.hpp» для всех макросов.

List macros

Макросы списка обеспечивают конверсии из списка в VMD seq или VMD tuple. Список макросов:

Разница между макросами преобразования списка и их эквивалентами в Boost PP заключается в том, что если список пуст, макросы VMD возвращают пустоту, тогда как макросы Boost PP имеют UB.

Вы можете включить макросы списка, используя их отдельные файлы заголовка, общий файл заголовка «boost/vmd/list.hpp» для всех макросов списка или общий файл заголовка «boost/vmd/vmd.hpp» для всех макросов.

Seq macros

Макросы сек либо работают с секвой VMD, либо возвращают сек VMD. Макросы seq являются:

Разница между макросами сек и их эквивалентами в Boost PP заключается в том, что работа с секвой VMD или возвращение секвой VMD действительны с макросами сек, но с макросами с эквивалентом Boost PP, работающими с пустым сек, вызывает UB, и возвращение пустого сек никогда не может произойти.

Вы можете включить макросы seq, используя их отдельные файлы заголовка, общий файл заголовка «boost/vmd/seq.hpp» для всех макросов seq или общий файл заголовка «boost/vmd/vmd.hpp» для всех макросов.

Tuple macros

Кортежные макросы либо работают с кортежом VMD, либо возвращают кортеж VMD. Кортежные макросы:

Разница между кортежными макросами и их эквивалентными в Boost PP заключается в том, что работа с кортежем VMD или возврат кортежа VMD действительна с кортежными макросами, но с макросами эквивалента Boost PP, работающими с пустым кортежем, вызывает UB, и возврат пустого кортежа никогда не может произойти.

Вы можете включить макросы кортежа, используя их отдельные файлы заголовка, общий файл заголовка «boost/vmd/tuple.hpp» для всех макросов кортежа или общий файл заголовка «boost/vmd/vmd.hpp» для всех макросов.

Seq and tuple functionality

Набор макросов для функций seq и tuple, которые работают с VMD seqs и VMD tuples, в значительной степени является лишь подмножеством функций seq и tuple в Boost PP. Это отражает тот факт, что ряд макросов в Boost PP для работы с seq или tuple не имеет смысла при расширении для работы с возможным пустым seq или пустым tuple. Например, BOOST_PP_SEQ_FIRST_N не может ничего означать при прохождении пустого seq и BOOST_PP_TUPLE_REM_CTOR. Ничего не могло значить, когда проходил пустой кортеж. Аналогично для других макросов Boost PP seq и tuple, которые не имеют эквивалента VMD.

Набор функций в VMD для работы с, возможно, пустым сек или пустым кортежем позволяет добавлять или удалять элементы в сек или кортеже, которые могут начинаться или заканчиваться пустыми, принимать размер сек или кортежа, даже когда сек или кортеж пусты, конвертировать между массивами, списками, секами или кортежами, которые могут начинаться или заканчиваться пустыми, и тестировать для сек VMD или кортежа VMD. Эта функциональность должна позволить макропрограммистам работать с пустыми секами и кортежами, все еще используя другие Boost PP сек и фанктуиональность для работы с непустыми секами и кортежами. Самый простой способ сделать это - использовать эквивалентные функции VMD seq и VMD tuple при выборе между VMD и Boost PP и использовать функциональность Boost PP seq и tuple иначе. Просто помните, что функция Boost PP seq и tuple никогда не может работать с пустыми секами или пустыми кортежами.