为什么隐含的"lambda to function pointer conversion"禁止静态成员的"by reference"捕获？

Question

C++ 11标准说(或者至少是我拥有的版本 - 而不是最终的版本):

没有lambda-capture的lambda表达式的闭包类型有一个公共的非虚拟非显式const转换函数,用于指向具有与闭包类型的函数调用操作符相同的参数和返回类型的函数.

我理解为什么不能从有状态lambda获取函数指针,因为函数指针本身不能保存任何数据.

但是当捕获的对象只是静态成员/静态变量时,没有这样的限制,因为对捕获的对象的引用可以在函数本身中进行硬连线.

struct A {
    static int count = 0;
    void foo() {
         static int bar = 0;
         auto fun = [&]()->void {
             count++;
             bar++;
         };
         void(*ptrFun)();
         ptrFun = fun; // forbidden by the quoted wording
    }
};

一旦前者无状态,为什么不总是可以将lambda转换为函数指针？我错过了什么或者委员会忘记了这一点吗？

Answer 1

A::count根本不需要捕获.只this需要捕获局部变量.具有静态存储持续时间的变量(例如,静态数据成员,命名空间范围变量或函数本地静态变量)不需要被捕获,因为它们是"唯一的".每个这样的变量只有一个实例,因此不需要捕获对象的引用.

如果从lambda中删除默认捕获(即,更改[&]为[])并定义count,则应该编译时没有错误.(我已经验证了Visual C++ 2012 RC和g ++ 4.5.1都接受了代码;我必须做的唯一改变是移动内联初始化count,因为这些编译器都没有支持C++ 11特性.)