被同名成员遮蔽的变量的偏移量（从基模板类继承）

Question

我有一个使用继承实现的元组类（它来自 C++ 模板：完整指南，第 2 版，Vandevoorde，Josuttis，Gregor）：

template<typename... _Value>
class Tuple {};

template<unsigned int HEIGHT, typename _Value>
class TupleElement {
public:
    TupleElement() = default;

    template<typename _OtherValue>
    TupleElement(_OtherValue && other): _value{std::forward<_OtherValue>(other)} {}

    _Value _value;
};

template<typename _Head, typename... _Tail>
class Tuple<_Head, _Tail...>: public TupleElement<sizeof...(_Tail), _Head>, public Tuple<_Tail...> {
    using HeadElement = TupleElement<sizeof...(_Tail), _Head>;
public:
    template<typename _HeadArgument, typename... _TailArgument>
    Tuple(_HeadArgument && head, _TailArgument &&... tail): HeadElement{std::forward<_HeadArgument>(head)}, Tuple<_Tail...>{std::forward<_TailArgument>(tail)...} {}

    _Head & getHead() {
        return static_cast<HeadElement *>(this)->get();
    }

    const _Head & getHead() const {
        return static_cast<const HeadElement *>(this)->get();
    }

    Tuple<_Tail...> & getTail() { return *this; }

    const Tuple<_Tail...> & getTail() const { return *this; }
};

template<>
class Tuple<> {};

我正在使用这个模板来创建新类型，就好像它们是具有按模板参数顺序排序的同质成员变量的结构一样。我需要每个继承的_value 成员的偏移量。我正在尝试使用offsetof 来实现它，但是将_value 与元组返回的类型一起传递：

using T = Tuple<int, float>;
offsetof(T, _value);

错误

1>***.cpp(22): error C2385: ambiguous access of '_value'
1>***.cpp(22): note: could be the '_value' in base 'TupleElement<1,int>'
1>***.cpp(22): note: or could be the '_value' in base 'TupleElement<0,float>'

Answer 1

您的班级中有两个 _value，这就是错误的意思。 您可以像这样获得它们的偏移量：

int off1 = ((size_t)&reinterpret_cast<char const volatile&>((((T*)0)->::TupleElement<0, float>::_value)));
int off2 = ((size_t)&reinterpret_cast<char const volatile&>((((T*)0)->::TupleElement<1, int>::_value)));