问如何替代扣减可以产生多个可能的“推导A"？

EN

template<typename>
struct B {};

struct D : B<int>, B<double> {};

template<typename T>
void f(B<T>);

int main()
{
    f(D{});
}

template<typename>
struct A {};
template<typename>
struct B {};

struct D1 : A<int>, B<int> {};
struct D2 : A<int>, B<int>, B<double> {};

template<typename T>
void f(A<T>); // 1
template<typename T>
void f(B<T>); // 2

int main()
{
    f(D1{}); // error, ambiguous between 1 and 2
    f(D2{}); // calls specialization of 1, because deduction for 2 fails
}

template<typename T> 
void f(T a, T b)
{
    
}
int main()
{
    f(3, 5.5); //deduced A as int from first deduction while double from second deduction
    return 0;
}