Блог

Как я мог бы использовать некоторую структуру:

 template<typename T>
typedef struct something_t {
  int x;
  int y;
  T z;
} something_t;
 

И создайте тип утилиты (возможно, в сочетании с некоторыми макросами), который отображает его в структуру той же формы, но std::optionals вместо этого заполненную. Другими словами, как бы я написал partial структуру в следующем коде,

 template<typename T>
struct partial<T> { using type = ??? };

template<typename T>
using partial_something_t = partial<something_t<T>>::type;
 

… что привело partial_something_t бы к получению этого определения:

 template<typename T>
typedef struct partial_something_t {
  std::optional<int> x;
  std::optional<int> y;
  std::optional<T> z;
} partial_something_t;
 

Если вы управляете определением something_t , вы можете изменить его таким образом:

 template <template<typename> typename Wrapper, typename T>
struct new_something_t {
  Wrapper<int> x;
  Wrapper<int> y;
  Wrapper<T> z;
};
 

Затем определите псевдоним:

 template <typename What> 
using Id = What;
 

Теперь ваш оригинал something_t<T> становится new_something_t<Id, T> и partial_something_t<T> есть new_something_t<std::optional, T> .

Один из способов добиться этого — использовать локальные включения с перегрузкой макросов. Создайте новый файл .inl.h, который содержит некоторую внутреннюю структуру следующим образом:

 BEGIN_TEMPLATE_STRUCT(something_t)
  DECLARE_MEMBER(int, x)
  DECLARE_MEMBER(int, y)
  DECLARE_MEMBER(T, z)
END_TEMPLATE_STRUCT
 

Затем создайте, возможно, два разных файла заголовков (или только один, как вам больше нравится), которые определяют конкретные определения макросов самостоятельно, используя push и pop_macro . Поместите push_macros прямо перед включением этого файла .inl.h с необработанным объявлением вашей структуры, включите файл, а затем не забудьте pop_macro, чтобы после этого получить чистое состояние. Затем первый заголовок определяет BEGIN_TEMPLATE_STRUCT как something_t, а второй заголовок — как partial_something_t и вложенные макросы в соответствии с вашими желаемыми конечными типами (DECLARE_MEMBER как std::optional …). Преимущество этого подхода заключается в том, что у вас есть минимальное базовое представление ваших данных, которое может быть адаптировано к более сложным. Основным недостатком является (подверженное ошибкам) само использование макросов и некоторая работа по написанию, по крайней мере, более сложных элементов, таких как типы методов.