基于值捕获语义和允许优化的C++ lambda

当函数实际上只使用隐式捕获对象的某些数据成员时,编译器允许从默认值捕获中省略什么?例如。,

struct A {
  // some members we care about:
  char x;
  int y;
  // some huge amount of state we do not:
  std::array<bool, 200000> z;

  int foo() const { return y + 1 }
};

void bar() {
  A a;
  // must the entirety of a be copy captured, or is the compiler allowed to pick/prune?
  auto l1 = [=](){ std::cout << a.x << ", " << a.y << std::endl; };
  // ...
}

同样,如果允许早期评估忽略更广泛的捕获,那么什么时候允许?

void baz(int i) {
  A a2;
  a2.y = i;

  // capture fundamentally only needs 1 int, not all of an A instance.
  auto l2 = [=](){ std::cout << a.foo() << std::endl; }
}

至少在某些情况下,对一个元素进行部分或完全的复制捕获应该没有超出lambda大小的可见外部效果,但是我不知道在规范中的什么地方可以找到允许哪些优化的答案。