如何向非成员模板函数隐式传递调用类的this指针或类型？

当然有办法实现你的需求！你遇到的问题核心是：全局模板函数无法直接获取调用它的成员函数所属类的this指针或类型——因为模板参数推导只能基于函数的实参，而this是成员函数的隐含参数，不会自动成为全局函数的推导源。下面我会针对你的两种需求（隐式传递类型/隐式传递this指针）给出具体的解决方案。

情况1：只需要隐式传递调用类的类型（不需要this指针） #

你的第二个实现已经能通过显式传递类型编译，但冗余感明显。我们可以用**奇异递归模板模式（CRTP）**让编译器自动注入类型信息，无需手动指定模板参数：

#include <type_traits>

// 全局模板函数，保留你的原有逻辑
template<class T, class P>
constexpr auto funcA(P& p) {
    // 这里可以直接使用T类型，比如做类型检查或调用静态成员
    static_assert(std::is_class_v<T>, "T must be a class type");
    // ...你的业务代码...
}

// 辅助CRTP基类，用于自动注入调用者类型
template<class Derived>
class FuncAHelper {
protected:
    // 包装函数，自动将Derived类型传递给全局funcA
    template<class P>
    constexpr void funcA(P& p) {
        ::funcA<Derived>(p); // 调用全局版本，无需手动写<TypeA>
    }
};

// 让你的类继承CRTP基类
class TypeX {};
class TypeA : public FuncAHelper<TypeA> {
public:
    void DoSomething(){
        TypeX x;
        funcA(x); // ✅ 现在可以直接调用，自动传递TypeA类型
        // funcA<>(x); // 这个写法也能正常编译
    }
};

int main(){
    TypeA objX;
    objX.DoSomething();
}

这个方案的优势是：每个需要调用funcA的类只需继承FuncAHelper<自身类型>，之后就能直接用funcA(x)调用，完全消除模板参数的冗余。

情况2：需要隐式传递this指针（不仅要类型，还要当前对象的指针） #

如果你需要让funcA直接拿到调用者的this指针（而非仅类型），同样可以用CRTP扩展，让包装函数自动传递this：

#include <type_traits>

// 全局模板函数，新增T*参数接收this指针
template<class P, class T>
constexpr auto funcA(P& p, T* caller) {
    // 这里可以直接使用caller（即this指针）和T类型
    if (caller) {
        // 比如调用caller的成员函数：caller->someMember();
    }
    // ...你的业务代码...
}

// 辅助CRTP基类
template<class Derived>
class FuncAHelper {
protected:
    template<class P>
    constexpr void funcA(P& p) {
        // 将this安全转换为Derived*类型，传递给全局funcA
        ::funcA(p, static_cast<Derived*>(this));
    }
};

class TypeX {};
class TypeA : public FuncAHelper<TypeA> {
public:
    void DoSomething(){
        TypeX x;
        funcA(x); // ✅ 自动传递this指针，无需手动传入
    }
};

int main(){
    TypeA objX;
    objX.DoSomething();
}

为什么你的最初尝试无效？ #

你第一个尝试里T const* t = this的写法不生效，原因有两点：

• this是成员函数的隐含参数，全局模板函数无法直接访问它；
• 函数的默认参数必须是编译期可确定的表达式，不能依赖调用上下文（比如成员函数的this）。

而第二个实现需要显式传类型，是因为模板参数T没有任何实参可以用来推导——编译器没办法凭空知道你想传递TypeA，除非你主动告知或通过CRTP这类机制注入类型信息。

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