lambda函数是nothrow_move_assignable吗？

Question

clang(4.0.0-主干)似乎认为是，而vc2015 (update3)则认为不是。

这个实现是定义的还是标准规定了如何用术语实现lambda函数，或者不抛出和移动可分配的？

#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

与lambda表达式关联的闭包类型没有默认构造函数，已删除的复制赋值操作符。它有一个默认的复制构造函数和一个默认的移动构造函数(12.8)。

因此，类型不应该是可移动的，更不应该是可分配的。