未知类型的模板模板参数

Question

尝试在以下代码中提取模板参数值：

template<std::size_t SIZE>
class Foo {};

template <template<std::size_t> class T, std::size_t K>
auto extractSize(const T<K>&) {
    return K;
}

int main() {
    Foo<6> f1;
    Foo<13> f2;
    std::cout << extractSize(f1) << std::endl;
    std::cout << extractSize(f2) << std::endl;
}

（作为问题的答案： Extract C++ template parameters）。

但是，有没有办法在不知道模板参数的类型的情况下执行此操作。类似的东西（下面的代码没有编译......）：

template <template<class SIZE_TYPE> class T, SIZE_TYPE K>
auto extractSize(const T<K>&) {
    return K;
}

编译错误：

error: unknown type name 'SIZE_TYPE'
template <template<class SIZE_TYPE> class T, SIZE_TYPE K>
                                             ^

Answer 1

auto救援！

template <template<auto> class T, auto K>
auto extractSize(const T<K>&) {
    return K;
}

这样，您自动推断作为模板参数传递的值的类型。