在 lambda 中，引用的按值捕获是否会复制底层对象？

Question

如果在 lambda 中按值捕获引用类型的变量，是复制引用的对象还是通过引用捕获？

有问题的小样本：

#include <iostream>

struct Test {
  int a;
};

void testFunc(const Test &test) {
  auto a = [=] {
    // is 'test' passed to closure object as a copy
    // or as a reference?
    return test.a;
  } ();
  std::cout << a;
}

int main() {
  Test test{1};
  testFunc(test);
}

Answer 1

按价值。可编译示例：

class C
{
public:
    C()
    {
        i = 0;
    }

    C(const C & source)
    {
        std::cout << "Copy ctor called\n";
        i = source.i;
    }

    int i;
};

void test(C & c)
{
    c.i = 20;

    auto lambda = [=]() mutable {

        c.i = 55;
    };
    lambda();

    std::cout << c.i << "\n";
}

int main(int argc, char * argv[])
{
    C c;
    test(c);

    getchar();
}

结果：

复制 ctor 调用
20

我猜，这一段 C++ 标准适用：

5.1.2 Lambda 表达式

(...) 14. 如果实体被隐式捕获且capture-default 为= 或显式捕获，则copy 捕获实体 使用不包含 & 的捕获捕获。对于通过副本捕获的每个实体，一个未命名的非静态 数据成员在闭包类型中声明。这些成员的声明顺序是未指定的。 如果实体不是 引用一个对象，或引用的类型，否则。 [ 注意：如果捕获的实体是对 函数，对应的数据成员也是对函数的引用。 —尾注]

这实际上是有道理的——如果局部变量是通过值传递的，而通过引用传递的参数“充当”函数中的局部变量，为什么它会通过引用而不是值传递？