C++获取类构造函数参数信息的更优实现方式

项目中存在大量自定义类，每个类均实现了各自的构造函数，需要实现一个通用函数，能够提取类构造函数的参数列表并完成对应处理。
C++语法不支持直接获取构造函数的指针，目前已验证的两种可行方案都需要在每个类中添加冗余成员，需要实现无需修改原有类定义的参数提取逻辑。

class AA {
public:
    AA(int a, float b, double c) {}
};


void someFunc() {
    // do something.
}

方案1：额外定义签名匹配的成员函数 #

在每个类中额外定义一个与构造函数参数签名完全一致的普通成员函数，通过传入该成员函数的指针，借助可变参数模板推导获取所有参数的类型信息，示例代码：

class AA {
    public:

        AA(int a, float b, double c) {}

        void constructor(int a, float b, double c) {}
};


template<typename type, typename Cls, typename...args>
void getClassMemberInfo(type(Cls::* func)(args...))
{
    // my Example:
    ((std::cout << typeid(args).name() << "\n"), ...);
}


int main()
{
    getClassMemberInfo(&AA::constructor);
}

方案2：额外定义签名匹配的tuple成员 #

在每个类中定义一个类型与构造函数参数列表完全匹配的std::tuple成员，通过传入该tuple成员的指针，借助模板推导获取所有参数的类型信息，示例代码：

class AA {
public:
    std::tuple<int, float, double> constructor;

    AA(int a, float b, double c) {}
};


template<typename Cls, typename...args>
void getClassTupleInfo(std::tuple<args...>Cls::* func)
{
    // my Example:
    ((std::cout << typeid(args).name() << "\n"), ...);
}

核心思路是通过模板偏特化匹配构造函数签名，结合编译期类型推导直接提取参数类型，不需要给类添加任何额外成员，所有逻辑在编译期完成，无运行时开销。

实现代码 #

#include <type_traits>
#include <typeinfo>
#include <tuple>
#include <iostream>
#include <utility>

// 构造函数特征萃取主模板
template<typename T>
struct constructor_traits;

// 偏特化匹配类类型与构造函数参数包
template<typename Cls, typename... Args>
struct constructor_traits<Cls(Args...)> {
    using class_type = Cls;
    using args_tuple = std::tuple<Args...>;

    // 示例逻辑：打印所有参数类型名，可替换为自定义处理逻辑
    static void process_args() {
        ((std::cout << typeid(Args).name() << "\n"), ...);
    }
};

// 辅助推导工具，仅用于签名匹配，无实际运行逻辑
template<typename Cls, typename... Args>
auto ctor_deduce_helper(Args&&...) -> constructor_traits<Cls(Args...)>;

使用方式 #

原有类不需要做任何修改，直接通过编译期伪调用即可提取对应构造函数的参数信息：

// 原有AA类完全不做改动
class AA {
public:
    AA(int a, float b, double c) {}
};

int main() {
    // 提取AA类接收int、float、double参数的构造函数信息
    using AA_Ctor = decltype(ctor_deduce_helper<AA>(
        std::declval<int>(), 
        std::declval<float>(), 
        std::declval<double>()
    ));
    // 执行自定义处理逻辑
    AA_Ctor::process_args();

    return 0;
}

注意事项 #

• 如果类存在多个重载构造函数，只需要在ctor_deduce_helper中传入对应类型的std::declval<T>()，即可匹配到目标重载版本的构造函数签名
• C++17及以上版本可结合类模板实参推导（CTAD）进一步简化调用逻辑，无需手动书写参数类型
• 所有推导逻辑在编译期完成，不会生成任何额外的运行时代码

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