模板化结构中大小为零的成员变量

Question

template <bool HasFloat>
struct Foo {
   std::vector<int> a;
   float b; // Not needed if HasFloat is false
};

为了节省内存（是的，它很重要），如果hasfloat为false，我想省略浮动。由于struct中还有很多其他内容，因此最好的方法如下所示：

using B = typename std::conditional<HasFloat, float, ZeroSizedType>::type;
B b;

不过，据我所知，在C++中没有零大小的类型。唯一的例外似乎是“灵活数组成员”，所以我也许可以做一些类似的事情：

using B = typename std::conditional<HasFloat, float, float[]>::type;

只不过它们只在C99中得到支持，而不是在C++中得到支持。

标准的解决方案似乎是使用继承，因为基类可以是零大小的，但是我的结构也可以由程序集访问，为了使程序集更简单，如果float b；在结构的末尾而不是开头更好，而且无论如何，这是不能保证的。

因此，这似乎留下了模板专门化作为唯一的选择，但我的类实际上相当长，我希望避免重复所有的东西。有没有我错过的另一个解决方法？

Answer 1

我的一个同事想出了一个相当不错的解决办法。它确实需要复制和粘贴数据成员，但至少我不必重复我的方法。

template <bool HasFloat>
struct Foo {
  struct State {
    std::vector<int> a;
  };

  struct StateWithFloat {
    std::vector<int> a;
    float k;
  };

  using FooState = std::conditional_t<HasFloat, StateWithFloat, State>;
  FooState state;
};

你可以做：

  struct StateWithFloat {
    State state;
    float k;
  };

但您必须添加模板函数以避免state.a与state.a之间的问题，此时复制和粘贴似乎更容易。