未知类型的模板模板参数

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;
}

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