Ошибка сегментации для лямбда-функции в инициализаторе нестатического элемента данных

Question

Я не уверен в возможной ошибке GCC при инициализации std::function с помощью функции лямбда-функции, регистрирующей this в инициализаторе нестатических данных. Это разрешено стандартом C++ или это UB?

Учитывая следующий код:

#include <functional> 
#include <iostream> 

template <typename T> 
struct A { 
     T x = 0; 
     std::function<void(T)> f = [this](T v) { x = v; }; 
}; 

int main() { 
     A<int> a; 
     a.f(1); 
     std::cout << a.x << "\n"; 
} 

В моем понимании, он должен напечатать 1. Однако при построении с помощью GCC 5.4.0 или GCC 6.2.0, a.f(1) испускает ошибку сегментации, потому что захваченный указатель this имеет значение NULL.

Следующие варианты работают, как я ожидал:

• Использование списка конструктор инициализатора:

  template <typename T> 
  struct B { 
      B() : f([this](T v) { x = v; }) {} 
      T x = 0; 
      std::function<void(T)> f; 
  }; 
  

• Без шаблона:

  struct C { 
      int x = 0; 
      std::function<void(int)> f = [this](int v) { x = v; }; 
  }; 
  

Кроме того, когда построен с лязг 3.8.0, все три версии ведут себя так, как я ожидаю, что не означает, что это не UB.

Answer 1

Ваш код компилируется и запускается на VS2015 (windows). Так что это, вероятно, ошибка компилятора.

Кроме того, если вы удалите шаблон он работает на http://cpp.sh/ Попробуйте этот код:

#include <functional> 
#include <iostream> 

struct A { 
     int x = 0; 
     std::function<void(int)> f = [this](int v) { x = v; }; 
}; 

int main() { 
     A a; 
     a.f(1); 
     std::cout << a.x << "\n"; 
} 

работает исходный код на cpp.sh дает:

internal compiler error: in tsubst_copy, at cp/pt.c:12569 
Please submit a full bug report 

Так что я думаю, что это ошибка

Answer 2

Вы не можете сделать:

template <typename T> 
struct A { 
    T x = 0; 
    std::function<void(T)> f = [this](T v) { x = v; }; 
}; 

Как this не существует, когда вы определяете f. Вы должны initilize f в конструкторе, такие как:

A(){ f = [this](T v){ x=v; } } 

Он работал с G ++ 4.8.