c++ - 为什么 `is_constructible, int(*)(int,int)>::value`在VC2015RC下为true

Question

#include <functional>
using namespace std;

int main()
{
   static_assert(is_constructible<function<int(int)>, int(*)(int,int)>::value, "error");
}

代码未使用 GCC 和 Clang 编译，但使用 Visual C++ 2015 RC 通过。

这是符合标准的行为还是只是一个错误？

Answer 1

std::function的构造函数过去接受阳光下的一切(它是一个 template<class F> function(F f) )。

然后它在标准中受到约束(通过 LWG issue 2132 )，但实现该约束需要表达式 SFINAE，即 Microsoft's compiler doesn't yet support .