C++17 — 将成员变量的类型映射到 std::optionals

Question

我怎么能采取一些结构：

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;

Answer 1

如果你控制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> 。

Answer 2

实现此目的的一种方法是将本地包含与宏重载一起使用。 以这种方式创建一个包含内部结构的 new.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 创建两个不同的 header 文件（或仅一个您喜欢的文件），它们自己定义具体的宏定义。 将 push_macros 放在 this.inl.h 文件的包含结构的原始声明之前，包含该文件，然后不要忘记 pop_macro 之后有一个干净的 state。 Header 然后定义 BEGIN_TEMPLATE_STRUCT 作为 something_t 和 header 两个作为 partial_something_t 和根据您想要的最终类型的子宏（DECLARE_MEMBER 为 std::optional...）。 这种方法的好处是，您拥有数据的最小基本表示，可以适应更复杂的数据。 主要缺点是（容易出错的）宏使用本身以及一些工作来编写至少更复杂的成员，如方法类型。