有条件地覆盖模板化的类成员变量

Question

是否可以根据模板参数覆盖类成员变量？如果是，怎么做？

大致是我的问题：我有我的数组类（它是一个动态数组，具有我需要的一些特殊功能）作为基础，如下所示：

template<class T>
class Array
{
protected:
    uint size_;
    uint capacity_;
    T *data_;    // This is our array where we store the data
...
}

现在我有了自己的 SOA 类，如下所示：

template<uint N>
class SOA : public std::conditional_t<
                N == 1,
                Array<double>,
                Array<Array<double>>>
{
protected:
    Array<double> data_[N]; /* I need it ONLY IF N > 1, else we get the data_ member from Array<T> */
...
}

N 表示我们在类中存储了多少数组。 所以基类的条件是简单地检查我们是否有 1 个组件，然后回退到一个数组，或者如果我们有更多，它是一个数组数组 -> Array

但我想做的是覆盖数组类 IF N > 1 中的 data_ 成员。由于它是固定大小，我可以简单地使用数组 data_[N]，所以它可以是堆栈分配的数组而不是堆分配一个。 所以基本上我需要的是根据模板参数定义data_成员。

我的另一个想法是继承 Array<T> IF N==1 的形式，如果不是，则不要继承，但在这种情况下，我仍然必须有条件地定义 data_ 成员，而且我也无法做到。

我知道对于 N=1，我可以简单地使用 Array<T> 而不是这个类，但我希望它们是同一个类，因为如果我不必处理不同的类，这将对我的代码进行巨大的简化对于 N=1，我需要处理的只是一个 SOA<N> 类，仅此而已。

如果不可能，我将简单地为每个SOA<N> 创建一个堆栈分配数组，对于 N=1，我将简单地在其中存储一个数组。但如果 N=1 时它可以像一个简单的 Array<T> 一样工作，那就太好了

提前致谢！

编辑：更详细地说明为什么我希望它是一个数组。如果我有 a -> 1 分量和 b -> 3 分量，并且我想将 a 与 B 的第一个分量相乘，那么我必须将 SOA<T> 与 Array<T> 相乘。如果我将 NCMPT=1 存储在一个大小为 1 的数组中，那么我总是必须提取它的第一个也是唯一的组件，以便类匹配。或者我必须为他们定义很多运算符...

解决方案：

在我的例子中，N 是从 STYPE 类型的结构中提取的。

所以这是我最终的工作解决方案。简单的专业化是不够的，顺便说一句，这个解决方案非常明显......

因此，该类将数组保存在名为 data_ 的 C 样式数组中。

但是！如果给定的 STYPE T 正好有一个组件，那么并且只有这样才能从 Array 继承。 （SDTYPE 告诉 STYPE 的数据类型）

template<STYPE T>
class SOA
{
public:
    typedef typename SDTYPE<T>::type value_type;
private:
    Array<value_type> data_[T.NCMPT];
}

template<STYPE T>
requires(T.NCMPT == 1)
class SOA<T>
    : public Array<typename SDTYPE<T>::type>
{
}

Answer 1

如果我理解正确，你想要的是partial template specialization：

// This specialization of the class will be used when N > 1
template<uint N>
class SOA : public std::conditional_t<N == 1, Array<double>, Array<Array<double>>> {
protected:
    Array<double> data_[N];

    // ...
};

// This specialization will be used when N = 1
template <>
class SOA<1> {
    // ...
};

请记住，此功能仅限于 C++14 及更高版本。