如何在模板类Foo的Bar函数中限定Func为T的成员函数类型？

针对你需要限制Bar函数的Func参数必须是T（或T指向类型）的成员函数指针的需求，以下是几种不同C++版本的实现方案：

方案1：C++11/17 静态断言（Static Assert） #

通过类型特性和辅助模板，在编译期提前检查Func的合法性，报错信息更直观：

#include <type_traits>
#include <utility>

// 辅助模板：提取成员函数指针所属的类类型
template<typename Func>
struct member_class;

// 处理普通成员函数指针
template<typename C, typename Ret, typename... Args>
struct member_class<Ret (C::*)(Args...)> {
    using type = C;
};

// 处理const成员函数指针
template<typename C, typename Ret, typename... Args>
struct member_class<Ret (C::*)(Args...) const> {
    using type = C;
};

// 可扩展添加volatile、const volatile等版本的特化

template<typename Func>
using member_class_t = typename member_class<Func>::type;

template <class T>
class Foo{
public:
  template <typename Func, typename... Args>
  void Bar(Func function, Args&&... args) {
    // 检查是否为成员函数指针
    static_assert(std::is_member_function_pointer_v<Func>, 
                  "Func must be a member function pointer");
    
    // 处理T可能是指针类型的情况，提取原始类类型
    using T_raw = std::remove_pointer_t<T>;
    // 检查成员函数所属类与T指向的类型一致
    static_assert(std::is_same_v<T_raw, member_class_t<Func>>,
                  "Func must belong to the type pointed by T (or T itself)");

    T t;
    (t->*function)(std::forward<Args>(args)...);
  } 
};

方案2：C++20 概念（Concepts） #

利用C++20的Concept特性，直接在模板参数层面做约束，代码更简洁：

#include <concepts>
#include <utility>

template <class T>
class Foo{
public:
  template <typename Func, typename... Args>
  // 直接通过requires表达式检查操作合法性
  requires requires(T t, Func f, Args&&... args) {
    (t->*f)(std::forward<Args>(args)...);
  }
  void Bar(Func function, Args&&... args) {
    T t;
    (t->*function)(std::forward<Args>(args)...);
  } 
};

这个方案不仅会检查Func是T的成员函数指针，还会验证传入的Args参数是否与成员函数的参数列表匹配，编译期错误提示会更精准。

补充说明 #

你提到的“指定Func必须是T::Func”，本质是要求Func为T（或T指向类型）的成员函数指针类型。上述方案都能在编译期早期完成校验，避免了原代码中调用阶段才抛出模糊错误的问题。

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