关于将全局模板函数实现为可访问类成员的成员函数的可行性及编译错误解决的技术问询

嘿，你的思路其实挺有意思的——想用模板和成员指针来复用“给指定成员加10”的逻辑，这点很棒！不过你遇到的编译错误确实是因为对成员指针的本质理解还没到位，咱们一步步来解决。

为什么你的代码会报错？ #

你定义的Y T::* P是成员指针，它本质上不是一个可直接解引用的变量，更像是一个“偏移量”——告诉编译器这个成员在T类型对象中的位置。你直接写*P的时候，编译器根本不知道要操作哪个具体的DoubleHolder或IntHolder实例，自然会抛出“无法解引用成员指针”的错误。

要访问成员指针指向的成员，必须结合具体的对象实例，用obj.*P（对象引用/值）或者ptr->*P（对象指针）的语法才行。

可行的实现方案 #

你的需求完全可以实现，核心就是让模板函数能拿到具体的对象实例。下面给你几种不同风格的解决方案：

方案1：修改模板函数+成员函数包装

这是最直接的修改方式：先调整模板函数，让它接收T类型的引用作为参数，然后在结构体里用成员函数包装调用，自动传入当前实例（*this）。

// 修改后的非成员模板函数，接收对象实例引用
template <typename T, typename Y, Y T::* P>
void add10ToMember(T& obj) {
    obj.*P += static_cast<Y>(10); // 结合对象实例访问成员
}

struct DoubleHolder {
    double value{ 0.0 };
    void add10() {
        // 调用模板函数，传入当前实例
        add10ToMember<DoubleHolder, double, &DoubleHolder::value>(*this);
    }
};

struct IntHolder {
    int value{ 0 };
    void add10() {
        add10ToMember<IntHolder, int, &IntHolder::value>(*this);
    }
};

调用方式完全符合预期：

DoubleHolder dh;
dh.add10(); // dh.value 变成 10.0

IntHolder ih;
ih.add10(); // ih.value 变成 10

方案2：用std::function+lambda实现成员变量式调用

如果你想保留“add10是成员变量”的写法，可以用std::function结合lambda，让lambda捕获this，自动把当前实例传给模板函数：

#include <functional>

template <typename T, typename Y, Y T::* P>
void add10ToMember(T& obj) {
    obj.*P += static_cast<Y>(10);
}

struct DoubleHolder {
    double value{ 0.0 };
    // lambda捕获this，调用模板函数时传入当前实例
    std::function<void()> add10 = [this]() {
        add10ToMember<DoubleHolder, double, &DoubleHolder::value>(*this);
    };
};

struct IntHolder {
    int value{ 0 };
    std::function<void()> add10 = [this]() {
        add10ToMember<IntHolder, int, &IntHolder::value>(*this);
    };
};

调用方式和之前一样：obj.add10();，看起来更像一个可调用的成员变量。

方案3：模板仿函数风格

如果你偏好函数对象的写法，可以把逻辑封装成模板仿函数，再在结构体里使用：

// 模板仿函数，持有成员指针信息
template <typename T, typename Y, Y T::* P>
struct Add10Functor {
    void operator()(T& obj) const {
        obj.*P += static_cast<Y>(10);
    }
};

struct DoubleHolder {
    double value{ 0.0 };
    void add10() {
        // 创建仿函数实例并调用，传入当前对象
        Add10Functor<DoubleHolder, double, &DoubleHolder::value>{}(*this);
    }
};

总结 #

你的核心思路没问题——用模板+成员指针复用类间的共性逻辑是很聪明的做法。只需要记住：成员指针必须和具体对象实例结合才能访问成员，只要解决了实例传递的问题，你的需求就能完美实现。

内容的提问来源于stack exchange，提问作者INEEDANSWERS