GCC无法使用init-capture捕获模板化类型的"this"指针

Question

模板化的类可以this在lambda中捕获自己的指针:

template <typename T>
class Foo {
  public:
    void foo(void) {}
    auto getCallableFoo(void) {
      return [this]() { this->foo(); };
    }
};

Foo可以使用以下代码测试此示例和所有其他示例:

int main()
{
  Foo<int> f;
  auto callable = f.getCallableFoo();
  callable();
}

但是,如果使用init-capture,则不再适用于GCC:

    auto getCallableFoo(void) {
      return [ptr = this]() { ptr->foo(); };
    }

错误消息(来自GCC 5.1):

error: ‘Foo<T>::getCallableFoo()::<lambda()>::__ptr’ has incomplete type

Clang 3.7似乎编译并运行此代码而没有错误.(我实际上是在使用3.7之前从源代码编译的版本,但我不认为从那时起它已经破坏了.)

初始捕获应该像赋值一样auto,但是下面的代码似乎在GCC中没有错误地工作:

// New method in Foo:
auto getPtr(void) {
  return this;
}

// Usage:
auto ptr = f.getPtr();
ptr->foo();

那么为什么ptr价值不能this在GCC中捕获？这是一个错误吗？

另一个考虑因素是,根据CppReference,this它被视为与每个其他捕获列表类型的单独的语法案例.因此,这可能是为什么海湾合作委员会以不同方式处理这些案件的一个暗示.但是我不清楚对这个特殊情况做了什么(如果有的话)特殊处理,或者为什么它是一个特殊情况.

编辑:看来这确实有效:

return [ptr = static_cast<decltype(this)>(this)]() { ptr->foo(); };

这是没有意义的我,因为decltype(不同于auto)推断正是它的参数的类型,所以static_cast不应该实际上是影响任何东西.

编辑2,3,4:这是我用两个编译器尝试过的完整表达式列表,其中的注释表明哪些编译器接受每个表达式:

[this]() { this->foo(); };        // Both: work
[ptr = this]() { ptr->foo(); };   // GCC fails
[ptr = static_cast<decltype(this)>(this)]() { ptr->foo(); };   // Both: works (!!!)
[ptr(this)]() { ptr->foo(); };   // GCC fails
[ptr{this}]() { ptr->foo(); };   // GCC works (!!!!!!!!), Clang doesn't work (infers initializer list)
[ptr = {this}]() { ptr->foo(); };   // Both: fail (infers initializer list)
[ptr = &*this]() { ptr->foo(); };  // Both: work
[ptr = &*(this)]() { ptr->foo(); };  // Both: work

因为[ptr{this}],我的Clang版本(预发布3.7版)警告说,解释会改变; 目前它推断出初始化列表,但可能后来的版本将(或已经)this 根据autoN3922 的新规则推断出类型.

让海湾合作委员会允许[ptr{this}]但不是令我感到震惊[ptr(this)].我对此没有任何解释.

Answer 1

这是一个错误.

这是一个错误.我已经针对此问题提交了GCC错误报告.它已经在GCC的主干中得到修复.

解决方法

如Revolver_Ocelot所述,&*似乎强制g++执行正确的类型扣除.因此,我当前的解决方法(在宏内部采用可能的指针表达式this)是捕获[ptr = &*(ptr_expr)].

为什么会这样？

如上所述,海湾合作委员会的Jason Merrill已经将其解决了GCC的主干.他评论this指针需要在lambda捕获中进行特殊处理; 具体而言,它被视为不是依赖类型.以前,这种特殊处理适用于[this]但不适用于[ptr = this].