模板化函数无法将'int'转换为nullptr_t

TL; DR:

为什么模板化函数不能访问非模板化函数可以进行的相同转换？

struct A {
    A(std::nullptr_t) {}
};

template 
A makeA(T&& arg) {
    return A(std::forward(arg));
}

void foo() {
    A a1(nullptr); //This works, of course
    A a2(0); //This works
    A a3 = makeA(0); //This does not
}

背景

我正在尝试编写一些模板化的包装类来使用现有类型,其目标是直接替换,只需要重写使用现在包装值的现有代码.

我无法理解的一个特殊情况如下:我们有一个可以从std::nullptr_t(这里称为A)构造的类,因此,代码库中有很多地方,有人为实例分配了零.

但是,尽管转发了构造函数,但不能为包装器分配零.我做了一个非常相似的例子,在不使用实际的包装类的情况下重现问题 - 一个简单的模板化函数足以显示问题.

我想允许继续允许分配零的语法 - 这不是我的最爱,但最小化摩擦以转移到更新的代码通常是让人们使用它们的必要条件.

我也不想添加一个构造函数,它接受除零以外的任何int,因为这非常荒谬,之前从未被允许过,并且它应该继续在编译时被捕获.

如果这样的事情不可能,我会找到一个解释,因为我知道到目前为止,对我来说没有任何意义.

这个例子在VC++中具有相同的行为(尽管智能感知它可以......),Clang和GCC.理想情况下,解决方案也适用于所有3个(4个智能感知)编译器.

更直接适用的示例如下:

struct A {
    A(){}
    A(std::nullptr_t) {}
};

template 
struct Wrapper {
    A a;
    Wrapper(const A& a):a (a) {}

    template 
    Wrapper(T&& t): a(std::forward(t)){}

    Wrapper(){}
};

void foo2() {
    A a1;
    a1 = 0; // This works

    Wrapper a2;
    a2 = 0; //This does not
}