如何在未知模板参数类型时提取C++模板参数值？

好问题！在C++里，能不能在不知道模板参数具体类型的前提下提取模板参数值，得分场景来聊——核心得先明确你要提取的是非类型模板参数还是类型模板参数，以及你说的“提取”具体指什么操作。

1. 提取非类型模板参数的值：可行，靠模板特化匹配 #

如果你说的模板参数是非类型参数（比如template<int N> struct Foo {}里的N，或者template<double D> struct Bar {}里的D），哪怕你不知道目标模板的具体类型，只要能匹配到它的模板结构，就能提取参数值。

举个实用的例子，我们可以写一个通用的提取器模板：

// 通用模板，作为基础匹配
template <typename T>
struct extract_non_type_param;

// 特化版本，匹配任意带单个非类型参数的模板实例
template <template <auto> typename Template, auto ParamValue>
struct extract_non_type_param<Template<ParamValue>> {
    static constexpr auto value = ParamValue;
};

// 测试用的模板
template<int N> struct IntHolder {};
template<const char* S> struct StringHolder {};

int main() {
    // 提取IntHolder<42>的参数值
    constexpr auto int_val = extract_non_type_param<IntHolder<42>>::value;
    static_assert(int_val == 42);

    // 提取StringHolder的参数值（假设全局字符串）
    constexpr const char hello[] = "hello";
    constexpr auto str_val = extract_non_type_param<StringHolder<hello>>::value;
    static_assert(str_val == hello);
}

这段代码能正常编译，因为我们通过模板特化，把Template<ParamValue>的结构“拆解”开，直接拿到了非类型参数的值——完全不需要知道Template具体是IntHolder还是StringHolder。

要是目标模板是多参数的，只要调整特化的匹配结构就行，比如针对template<typename T, int N> struct MultiHolder {}，可以写：

template <template <typename, auto> typename Template, typename T, auto N>
struct extract_non_type_param<Template<T, N>> {
    static constexpr auto value = N;
};

2. 提取类型模板参数：要看“值”的定义 #

如果是类型模板参数（比如template<typename T> struct Baz {}里的T），“提取值”这个说法得先明确：

• 如果这个类型是一个携带值的类型（比如std::integral_constant<int, 5>，或者自定义的struct MyConst { static constexpr int value = 10; };），那可以提取它内部的value成员，但前提是你知道这个类型有这个成员（可以用概念或者SFINAE约束）。
• 如果只是普通类型（比如int、std::string），那不存在“值”可提取——因为类型本身不携带具体的数值或数据。

比如针对携带值的类型：

#include <type_traits>

template<typename T>
constexpr auto extract_type_value(T) -> decltype(T::value) {
    return T::value;
}

int main() {
    // 提取std::integral_constant的value
    constexpr auto val = extract_type_value(std::integral_constant<int, 100>{});
    static_assert(val == 100);
}

3. 为什么你的代码会编译失败？ #

你提到有一段无法编译的代码，虽然没贴具体内容，但常见的错误场景是：试图直接访问一个未知类型的成员，而编译器无法推断该类型的结构。比如：

template<typename T>
void bad_extract(T) {
    // 错误：编译器不知道T是不是模板实例，也不知道它有没有value成员
    auto val = T::value;
}

这种情况就会触发编译错误——因为编译器无法确定T的结构。解决办法是用模板特化、SFINAE（C11及以后）或者概念（C20及以后）来约束T，让编译器知道它符合我们期望的模板结构。

比如用C++20的概念来约束：

#include <concepts>

template<typename T>
concept HasValueMember = requires { T::value; };

template<HasValueMember T>
constexpr auto safe_extract() {
    return T::value;
}

这样只有符合HasValueMember概念的类型才能传入safe_extract，避免编译错误。

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