Question

在模板类中，如何有条件地为模板定义属性别名？

示例：

template<class Type, unsigned int Dimensions>
class SpaceVector
{
public:
    std::array<Type, Dimensions> value;
    Type &x = value[0]; // only if Dimensions >0
    Type &y = value[1]; // only if Dimensions >1
    Type &z = value[2]; // only if Dimensions >2
};

此条件声明是否可行？如果有，怎么样？

Answer 1

专业化前两种情况：

template<class Type>
class SpaceVector<Type, 1>
{
public:
    std::array<Type, 1> value; // Perhaps no need for the array
    Type &x = value[0];
};

template<class Type>
class SpaceVector<Type, 2>
{
public:
    std::array<Type, 2> value;
    Type &x = value[0];
    Type &y = value[1];
};

如果您有一个共同的基类，那么您将获得一定量的多态性以用于常见功能。

Answer 2

如果你没有数组，你可以这样做：

template<class Type, std::size_t Dimension>
class SpaceVector
{
public:
    Type x;
};

template<class Type>
class SpaceVector<Type, 2> : public SpaceVector<Type,1>
{
public:
    Type y;
};

template<class Type>
class SpaceVector<Type, 3> : public SpaceVector<Type,2>
{
public:
    Type z;
};

如果你决定支持三个以上的元素，这个可扩展性更高，但除此之外，Bathsheba的答案可能更合适。

模板类中的条件引用声明

2 个答案: