람다 함수는 nothrow_move_assignable입니까?

Question

clang-cl (4.0.0-trunk)는 vc2015 (update3)는 아니오라고 생각하는 반면에 예스라고 생각하는 것 같습니다.

이 구현이 정의되어 있습니까? 아니면 표준이 람다 함수를 어떻게 구현해야하는지 또는하지 않겠습니까?

#include <type_traits> 
#include <iostream> 

template <typename T> 
void test_nothrow_move_assignable(T&&) { 
    std::cout << std::boolalpha 
    << std::is_nothrow_move_assignable<T>::value 
    << "\n"; 
} 

int main() { 
    test_nothrow_move_assignable([]{}); 
    return 0; 
} 

// $ clang-cl.exe scratch.cpp 
// $ scratch.exe 
// true 

// $ cl /nologo /EHsc scratch.cpp 
// scratch.cpp 
// $ scratch.exe 
// false 

Answer 1

이것은 결투 버그입니다. [expr.prim.lambda]에서 :

람다 표현과 관련된 닫는 방법의 종류에는 기본 생성자와 삭제 복사 할당 연산자이 없습니다. 그것은 디폴트 복사 생성자와 기본 이동 생성자 (12.8)를 가지고있다.

따라서 형식을 할당 할 수 없도록 이동하면 안됩니다.