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

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上的等效错误)：

error: no matching function for call to ‘F(B<int>)’

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

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

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

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