c++ - 从拥抱类型中获取模板参数的值

Question

比如说，我有一个带有整数参数的模板类:

template <int N>
class A
{
public:
    static int get_N()
    {
        return N;
    }
};

template<typename T>
class B
{
public:
    B()
    {
        cout << "N = " << T::get_N() << endl; // Accessing N via the auxiliary method
    }
};

要在类 B 中引用 N 模板参数，我必须在 A 中创建一个辅助方法。我想做这样的事情:

template <int N>
class A
{
};

template<typename T>
class B
{
public:
    B()
    {
        cout << "N = " << T::N << endl; // Accessing N directly
    }
};

问题是我将有很多 A 模板特化，我真的不想将这个辅助方法复制到所有专业类，我不想为此引入继承。 有没有可能实现我想要的？

Answer 1

您可以从特化中推断出值(value):

#include <iostream>

template <typename T> struct get_N;
template <template <int N> class T, int N>
struct get_N<T<N>> {
    static constexpr int value = N;
};

template <int N> struct A {};

template <typename T>
struct B {
    void f() { std::cout << get_N<T>::value << '\n'; }
};

int main() {
    B<A<10>>().f();
}