lambda 函数是 nothrow_move_assignable 吗？

Question

clang-cl (4.0.0-trunk) 似乎认为是，而 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-expression 关联的闭包类型没有默认构造函数和 已删除的副本分配 运算符。它有一个默认的复制构造函数和一个默认的移动构造函数 (12.8)。

所以该类型根本不应该是可移动分配的，更不用说不可移动分配了。