指向成员的指针的语法sugar适用于数组,但不适用于std::vector

为了理解C++,我写了一些示例代码(如下) 指向成员的指针 特色然而,我遇到了一个奇怪的问题,语法

(*it).*attribute

it->*attribute

不接受,有错误

左手操作数到 ->* 必须是指向与右侧操作数兼容的类的指针,但为 std::__1::__wrap_iter<Bowl *>

但是,如果我取消注释 Bowl bowls[3] = 并注释掉 std::vector<Bowl> bowls = ,即从使用 std::vector 若要使用基元数组,则两种语法都能正确工作。

从 C++ reference

表达式 E1->*E2 完全等同于 (*E1).*E2

因此,错误似乎与以下事实有关:数组是内置类型,但 标准::矢量 不是。后来在那一节中,我发现

在针对用户定义运算符的重载解析中,对于类型D、B、R的每个组合,其中类类型B要么是与D相同的类,要么是D的明确且可访问的基类,而R要么是对象类型,要么是函数类型,以下函数签名参与重载解析:

R& operator->*(D*, R B::*);

标准::矢量 operator->* 我很困惑。为什么我在一种语法上出现这个错误,而在另一种语法上没有,而且只有在使用 标准::矢量 而不是原始数组?

#include <iostream>
#include <iterator>
#include <vector>

class Bowl
{
public:
  unsigned int apples;
  unsigned int oranges;
  unsigned int bananas;

  Bowl(unsigned int apples, unsigned int oranges, unsigned int bananas)
    : apples(apples), oranges(oranges), bananas(bananas)
  {
    // nothing to do here
  }
};

template <typename TClass, typename TIterator, typename TResult>
TResult sum_attribute(TIterator begin, TIterator end, TResult TClass::*attribute)
{
  TResult sum = 0;
  for (TIterator it = begin; it != end; ++it)
  {
    sum += (*it).*attribute;
    sum += it->*attribute;
  }
  return sum;
}

int main()
{
  std::vector<Bowl> bowls =
  // Bowl bowls[3] =
    {
      {1, 2, 3},
      {4, 5, 6},
      {7, 8, 9},
    };

  int num_apples = sum_attribute(std::begin(bowls), std::end(bowls), &Bowl::apples);
  int num_oranges = sum_attribute(std::begin(bowls), std::end(bowls), &Bowl::oranges);
  int num_bananas = sum_attribute(std::begin(bowls), std::end(bowls), &Bowl::bananas);

  std::cout << "We have " << num_apples << " apples, " << num_oranges << " oranges, and " <<
    num_bananas << " bananas. Now wasn't that fun?" << std::endl;
}