标准：：is_convertible与标准不一致：：功能

Question

我注意到当涉及到std::function对象和std::bind时，std::is_convertible和std::is_assignable会产生一些奇怪的结果。

我假设当这些函数返回true时，就可以进行转换了。还是我错过了什么？

下面的代码在不同的编译器上打印不同的结果，我希望它打印0，因为这些类型不能赋值。

#include <type_traits> 
#include <functional> 
#include <iostream> 

int main()
{
    std::cout << std::is_convertible<std::function<void(int)>, std::function<void()>>::value << std::endl;
}

它在以下编译器上打印0:

null

它在以下编译器上打印 1：

• 4.7
• VC 12 （VS2013）
• 叮当声 3.2

有没有正确的答案？这些错误是在编译器中，还是我正在弄乱编译器特定的东西？

Answer 1

在 C 11 中，std：：函数的构造函数采用任意函子类型被指定为 （引用 N3337 §20.8.11.2.1 [函数包装.func.con]/p7）：

template<class F> function(F f);
template <class F, class A> function(allocator_arg_t, const A& a, F f);

7 要求：F 应为可复制的。对于参数类型 ArgTypes 和返回类型 R，f 应为可调用 （20.8.11.2）。A 的复制构造函数和析构函数不得引发异常。

违反 Requires 子句（为参数类型 ArgTypes 传递 f 不可调用和返回类型 R）是未定义的行为，因此在这种情况下，库可以自由地执行任何操作。该库可能会将构造函数从重载分辨率中移除，但它不必这样做，如果没有，那么您将遇到重载解析和std：：is_convertible的问题 - 它将报告太阳下的几乎所有内容都可以转换为std：：function（包括像double这样的东西！

因此，在 LWG 问题 2132 中，标准被修改为要求如果函子对于指定的参数类型和返回类型不可调用，则实现从重载解析中删除这些构造函数（通过 SFINAE 或类似技术）。它现在显示为：

template<class F> function(F f);
template <class F, class A> function(allocator_arg_t, const A& a, F f);

7 要求：F 应为可复制的。

8 备注：这些构造函数不得参与重载解析，除非对于参数类型 ArgTypes... 和返回类型 R，f 是可调用的 （20.9.11.2）。

所以如果你的标准库实现了这个解析，那么< code>std::is_convertible

我假设当这些函数返回true时，就可以进行转换了。还是我错过了什么？

诸如< code>std::is_convertible、< code > STD::is _ constructible 或< code>std::is_assignable之类的类型特征只考虑直接上下文，即是否存在可访问且未删除的匹配函数签名。它们不检查函数体在实例化时是否会编译。