在派生类中使用基类的模板参数

Question

考虑C ++中的以下情况：

template<int n>
class Base { ... };

class Derived3 : public Base<3> {
  // a complicated body, making use of n=3
};

class Derived7 : public Base<7> {
  // a completely different body, making use of n=7
};

在Derived3成员函数内部，我想显式地使用n=3 ，并且在Derived7 ， n=7 ，没有对数字进行硬编码，即仍然指代类似于模板参数n东西。 我想到了以下选项：

1. 还要在n上模板派生类，然后使用typedef 。 这样，派生类知道n ：

    template<int n> class DerivedTemplate3 : public Base<n> { ... }; typedef DerivedTemplate3<3> Derived3; template<int n> class DerivedTemplate7 : public Base<n> { ... }; typedef DerivedTemplate7<7> Derived7; 

   这个问题是DerivedTemplateX对n=X有意义，所以这就像滥用模板范式一样。

2. 使用静态const成员将n存储在Base ，并引用派生类中的n：

    template<int n> class Base { protected: static const int nn = n; ... }; class Derived3 : public Base<3> { // refer to nn=3 }; class Derived7 : public Base<7> { // refer to nn=7 }; 

   这里的问题是我似乎不能使用相同的标识符（ nn对n ）。 另外，我不确定这是否允许我使用nn作为派生类成员的模板参数。

那么：如何以非冗余，有效的方式实施？ 也许在某处使用某种static const int作为成员？

Answer 1

标准做法是对模板参数使用大写字母，然后使用小写的静态const值：

template<int N>
class Base {
protected:
  static const int n = N;
  ...
};

然后在任何地方使用小写的静态const值n - 不要在其他地方使用N

另外，我不确定这是否允许我使用nn作为派生类成员的模板参数。

它是一个常量表达式，因此可以用作模板参数。

Answer 2

这对你有用吗？

template<int n>
class Base {
protected:
    static const int MyN = n;
};

class Derived3 : public Base<3> {
    void f()
    {
        std::cout << MyN;
    }
};

class Derived7 : public Base<7> {
    void f()
    {
        std::cout << MyN;
    }
};

int main()
{

}