指向成员数组的静态指针，用于安全的operator []访问

Question

我正在查看boost :: gil的源代码，我在2D点类中看到了这个注释和相应的代码。

const T& operator[](std::size_t i)          const   { return this->*mem_array[i]; }
      T& operator[](std::size_t i)                  { return this->*mem_array[i]; }

...
private:
// this static array of pointers to member variables makes operator[]
// safe and doesn't seem to exhibit any performance penalty
static T point2<T>::* const mem_array[num_dimensions];

http://www.boost.org/doc/libs/develop/boost/gil/utilities.hpp

问题：

1. 这究竟是做什么的？
2. 这如何使operator[]安全？

Answer 1

数组的定义是相关的 - 它是

template <typename T>
T point2<T>::* const point2<T>::mem_array[point2<T>::num_dimensions] 
    = { &point2<T>::x, &point2<T>::y };

通过指向成员的指针的间接使得可以x或p访问点p.x的{​​{1}}坐标，同样适用于{ {1}}和p[0]。

否则有时会通过（可能是未定义的）指针欺骗或索引上的（可能效率较低）分支来实现。

这当然不是绝对安全的，因为没有边界检查，但从标准兼容和明确定义的角度来看，它是安全的。