c – 为类模板忽略用户定义的转换运算符(非模板不是这样)

这段代码确实编译(重要的一点是F()只接受As,并且由于存在从B到A的隐式转换,我可以很容易地将B传递给它.)

struct A {};

struct B {
    constexpr operator A () const {return {};}
};

void F (A a) {}

int main() {
    F(B());
    return 0;
}

但模板化版本无法编译：

template <typename T>
struct A {};

template <typename T>
struct B {
    constexpr operator A<T> () const {return {};}
};

template <typename T>
void F (A<T> a) {}

int main() {
    F(B<int>());
    return 0;
}

在GCC上出现以下错误(以及在MSVC上的等效错误)：

(附加信息表明存在F(A<>)但B不从A继承.)

对于记录,在A中实现隐式转换运算符也没有帮助.

为什么模板版本没有编译？我错过了什么吗？或者实际上没有办法用类模板做到这一点？！

(注意：我知道我可以在呼叫站点明确地将B转换为A;这不是我喜欢的.)

F<int>(B<int>());