我正在努力完成以下任务：
定义一个泛型类，让这个类接受一个带有trait的抽象数据类型，并使用一些已知的方法初始化它自己，如下所示：

struct Edge<MetaData>
{
    next_id: u64,
    prev_id: u64,
    pair_id: u64,

    vert_id: u64,

    face_id: u64,

    meta_data: MetaData,
}

impl<MetaData> Edge<MetaData>
{
    fn new(vert_id: u64, pair_id: u64, data: MetaData) -> Self
    {
        return Self {
            next_id: !0,
            prev_id: !0,
            pair_id,
            vert_id,
            face_id: !0,
            meta_data: data,
        };
    }
}

struct HalfMesh<
    VMetaData,
    EMetaData,
    FMetaData,
> {
    verts: Vec<Vert<VMetaData>>,
    edges: Vec<Edge<EMetaData>>,
    faces: Vec<Face<FMetaData>>,
}

impl<V, E, F> HalfMesh<V, E, F>
{
    fn new_mesh<T>(data: T)
    where T :MeshData
    {
        let topology = data.get_topology();
        let half_edges = HashMap::<(u64, u64), usize>::new();

        let verts = Vec::<Vert<V>>::new();
        let edges = Vec::<Edge<E>>::new();
        let faces = Vec::<Face<F>>::new();

        for (face_id, face) in topology.iter().enumerate()
        {
            for i in 0..face.len()
            {
                let face_id = face_id as u64;
                let edge1 = (face[i], face[(i + 1) % face.len()]);
                if half_edges.contains_key(&edge1)
                {
                    continue;
                }

                let n = edges.len() as u64;
                edges.push(Edge::new(n + 1, edge1.0, data.get_edge_data(face_id, i as u64)));
            }
        }
    }
}

trait MeshData
{
    type VertData;
    type EdgeData;
    type FaceData;

    fn get_vert_data(&self, vert_id: u64) -> Self::VertData;
    fn get_edge_data(&self, face_id: u64, edge_id: u64) -> Self::EdgeData;
    fn get_face_data(&self, face_id: u64) -> Self::FaceData;

    fn get_topology(&self) -> &Vec<Vec<u64>>;
}

但是，这将返回错误：

64 | impl<V, E, F> HalfMesh<V, E, F>
   |         - this type parameter
...
88 |                 edges.push(Edge::new(n + 1, edge1.0, data.get_edge_data(face_id, i as u64)));
   |                            ---------                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter `E`, found associated type
   |                            |
   |                            arguments to this function are incorrect

这是有意义的，E是泛型类型，并且关联的类型MeshData::EdgeData不被约束为等于E。
但我不知道;我不知道如何告诉rust，顺便说一句，约束HalfMesh，使其可以由MeshData中的类型初始化：\