类模板函数模板类型解析中的错误 C2039

问：

为什么 A 肯定是 B 的成员会发生错误？是不是没有更少的一般解决方法？"Error C2039 'T': is not a member of 'B'"

IDE 是 Microsoft Visual Studio Community 2022（64 位）- 当前 版本 17.7.4

重现我的问题的最小示例：

// reproduce_2039.cpp
//

#include <iostream>
#include <vector>
using namespace std;

class A {
public:
    void s(){
        cout << "a::s()" << endl;
    }
};

class B : public virtual A {

};

template<typename D>
class M {
public:
    template<typename T>
    void set() {
        typedef D::T T1;
        auto f = &(T1::s);
        vector<decltype(f)> v;
        v.push_back(f);
        cout << v.size() << endl;
    }
};

int main()
{
    M<B> m;
    m.set<A>();    
}