将指向类的成员传递为模板参数

Question

我想编写一个将进程应用于类成员的函数.以下代码正在运行:

class AA
{
public:
    AA(){};
    ~AA(){};
    std::string type="AA";
};

class BB
{
public:
    BB(){};
    ~BB(){};
    template <typename T, typename TT>
    void test(T& a, TT(T::*memberPtr))
    {
        std::cout<<"test: "<<(a.*memberPtr)<<std::endl;
    }
    std::string type="BB";
};

int main()
{
    AA a;
    BB b;
    b.test(a, &AA::type);
}

但是我在编译时知道所有内容所以我想知道是否有可能写一些等价但只有模板？所以我可以这样写:

b.test<&AA::type>(a);

调用内部测试(a):

std::cout<<"test: "<< (a.*MEMBER) <<std::endl; // MEMBER is given in template

或类似的东西.

Answer 1

你做不到test<&AA::type>,因为你还需要告诉函数模板你期望成员指向哪种类型的指针.典型的模式是:

template <class M, M member, class T> // deduced go last
void test(T& a) {
    cout << (a.*member);
}

用法:

test<decltype(&AA::type), &AA::type>

我相信目前有一个减少那里的冗长的建议,但在那之前,它并不是世界上最糟糕的事情,你可以随时:

#define TYPE_AND_VAL(foo) decltype(foo), foo
test<TYPE_AND_VAL(&AA::type)>

我提到的那个提议是在C++ 17中,并允许你这样做:

template <auto member, class T>
void test(T& a) {
    cout << (a.*member);
}

test<&AA::type>(a);