模板中的T可以使用继承吗？

我想做这样的事情：

template <typename T:public Vertex> addTri( T v1, T v2, T v3 )
{
    // Take v1.pos, v2.pos, v3.pos and create a geometric repn..
    Triangle tri( v1.pos, v2.pos, v3.pos ) ; // all vertices will 
    // have to have a .pos member.

    // Create the vertex buffer..
    VertexBuffer<T> vb ...
}

由于这不起作用，这是我的解决方法..

template <typename T> addTri( T v1, T v2, T v3 )
{        
    Vertex* p1 = (Vertex*)&v1 ;
    // This is a very "shut up C++, I know what I'm doing" type cast.
    // I'd like for C++ to know that all vertex types (T in this case)
    // __will__ have a Vector member .pos.

    Triangle tri( p1->pos, p2->pos, p3->pos ) ; 
    // Create the vertex buffer..
    VertexBuffer<T> vb ...
}

背景

如果您感兴趣，我正在尝试编写一些通用代码来处理三角形创建。 每个顶点必须有一个.pos成员，因为每个顶点都必须在空间中有一个位置。

然而，并非每个顶点类型都有纹理坐标。并非每个顶点都有颜色。因此出现了参数化类型。

XNA 中使用了类似的方法VertexBuffer.SetData<T> http://msdn.microsoft.com/en-us/library/bb198836.aspx.

您不能在模板类型参数中指定类型限制。但是，通常情况下，您不必这样做。

如果你只是这样做：

template <typename T> addTri( T v1, T v2, T v3 )
{
    Vertex &v1r = v1;
    // ....
}

如果函数是用 Vertex 的派生实例化的，那么这将起作用。如果出现以下情况，它将产生一个（模糊的）错误：T & is not可转换为Vertex &.

如果您甚至不关心类型是否可以转换为Vertex只要它们具有相同的成员，您甚至可以跳过赋值 - C++ 模板参数本质上可以使用鸭子打字 http://en.wikipedia.org/wiki/Duck_typing;如果你这样做v1.x, and T包含一个名为x，那么无论类型如何，它都会起作用T实际上可能是。

你可以使用 boost 来更复杂一些类型特征库 http://www.boost.org/doc/libs/1_47_0/libs/type_traits/doc/html/index.html and a 静态断言 http://www.boost.org/doc/libs/1_47_0/doc/html/boost_staticassert.html;有了这个，您可以开始定义一个断言以使错误更容易理解：

template <typename T> addTri( T v1, T v2, T v3 )
{
    BOOST_STATIC_ASSERT_MSG(boost::is_convertible<T&, Vertex&>::value,
        "Template argument must be a subclass of Vertex");
    Vertex &v1r = v1;
    // ....
}