使用可变参数模板来实现通用的无限制联合

Question

Bjarne Stroustrup's C++11 FAQ包含无限制联合的示例，该联合具有包含非POD类型的联合以及指示联合成员处于活动状态的枚举。

我想概括一下这个想法，即

template <typename... T>
class Union {
  int active_member_;
  union {
    T...
  };
};

然而，我无法弄清楚细节。任何人都知道如何在给定整数i的情况下实际访问第i个成员？