如何获取不含const限定符的成员函数类型（返回类型与签名）

可以实现，std::remove_const和std::decay没法直接处理成员函数类型的const限定，得用模板特化来提取并去掉这个const属性。

具体实现方案 #

• 先定义用于匹配成员函数类型的模板结构：

template<typename T>
struct remove_member_const;

// 特化处理带const限定的成员函数
template<typename Ret, typename... Args>
struct remove_member_const<Ret(Args...) const> {
    using type = Ret(Args...);
};

// 可选扩展：同时支持去除volatile、const-volatile限定
template<typename Ret, typename... Args>
struct remove_member_const<Ret(Args...) volatile> {
    using type = Ret(Args...);
};

template<typename Ret, typename... Args>
struct remove_member_const<Ret(Args...) const volatile> {
    using type = Ret(Args...);
};

// 辅助模板，简化类型别名的书写
template<typename T>
using remove_member_const_t = typename remove_member_const<T>::type;

• 使用示例：

#include <string>
#include <type_traits>

// 原带const的成员函数类型
using ConstMemberFunc = void(std::string, int) const;
// 去除const后的目标类型
using TargetFuncType = remove_member_const_t<ConstMemberFunc>;

// 编译期验证类型是否符合预期
static_assert(std::is_same_v<TargetFuncType, void(std::string, int)>, "类型转换错误");

为什么std::remove_const和std::decay无效？ #

std::remove_const仅能处理顶级const（比如const int、const char*里的顶级const），而成员函数的const是函数类型的一部分，属于成员函数的限定符，并非顶级const，所以无法被std::remove_const识别。std::decay的作用是处理数组、函数到指针的衰减，以及去除类型的顶级cv限定，同样不针对成员函数的const限定生效。

内容的提问来源于stack exchange，提问作者Christoph.H