Question

我正在寻找使用模板创建具有强类型的通用顶点数据容器。部分接口如下所示：

template <VertexFormat VF>
class VertexData
{
public:
    template<uint32_t I>
    (StronglyTypedVertex*) vertices();
};

其中VertexFormat是枚举，I是不同数据流的索引，StronglyTypedVertex是生成的顶点数据。给定存储为位置和纹理坐标的两个独立流的顶点数据（枚举VertexFormat::Pos3_TexCoord2），使用上述顶点数据容器将如下所示：

VertexData<VertexFormat::Pos3_TexCoord2> vertexData;
Vector3* positions = vertexData.vertices<0>();
Vector2* texCoords = vertexData.vertices<1>();

这似乎是类型特征可以解决的问题。我已经成功地使用具有2个属性的平面类型特征来工作，例如：

template<VertexFormat VF, uint32_t I>
struct VertexTraits
{
};

template<>
struct VertexTraits<VertexFormat::Pos3_TexCoords2, 0>
{
    using Type = Vector3;
};

template<>
struct VertexTraits<VertexFormat::Pos3_TexCoords2, 1>
{
    using Type = Vector2;
};

然后VertexData::vertices的签名变为：

template<uint32_t I>
VertexTraits<VF, I>::Type* vertices();

但是，这并不像我想要的那样方便，因为顶点格式和流索引的每个排列都需要自己的类型特征专门化。我希望能够对其中的所有流执行单个顶点特征，像这样：

template<>
struct VertexTraits<VertexFormat::Pos3_TexCoords2>
{
    using Stream0Type = Vector2; // Or some other similar declaration
    using Stream1Type = Vector3;
};

我已经尝试在VertexTrait内嵌套带有Stream特征的特征类型，并且尝试通过CRTP使用继承，但是在两种情况下我都无法获得正确的语法。什么方法可以解决这个问题？如果使用了未定义的流（即上述示例中的Stream2Type），是否可以通过引入静态断言或编译时错误的方式来完成？

Answer 1

您可以像这样嵌套特征：

template<VertexFormat VF>
struct VertexTraits;

template<>
struct VertexTraits<VertexFormat::Pos3_TexCoords2>
{
private:
    template<uint32_t I>
    struct TypeSelector;

public:
    template<uint32_t I>
    using Type = typename TypeSelector<I>::Type;
};

template<>
struct VertexTraits<VertexFormat::Pos3_TexCoords2>::TypeSelector<0>
{
    using Type = Vector3;
};

template<>
struct VertexTraits<VertexFormat::Pos3_TexCoords2>::TypeSelector<1>
{
    using Type = Vector2;
};

但是，使用它的语法非常难看：

template<uint32_t I>
typename VertexTraits<VF>::template Type<I>* vertices();

您可以使用类型别名

template<VertexFormat VF, uint32_t I>
using VertexTraits_ = typename VertexTraits<VF>::template Type<I>;

然后写

template<uint32_t I>
VertexTraits_<VF, I>* vertices();

https://godbolt.org/g/s82sPN

Do not forget将typename和template用于从属类型。

为了避免在TypeSelector之外看起来VertexTraits的专业性很难看，可以使用decltype和重载分辨率：

template<>
struct VertexTraits<VertexFormat::Pos3_TexCoords2>
{
    static Vector3 type_selector(std::integral_constant<uint32_t, 0>);
    static Vector2 type_selector(std::integral_constant<uint32_t, 1>);

    template<uint32_t I>
    using Type = decltype(type_selector(std::integral_constant<uint32_t, I>{}));
};

https://godbolt.org/g/VFRT9H

嵌套或继承的类型特征

1 个答案: