如何在D中唯一标识用户定义的类型?

考虑了一会儿之后,我认为这是一种可行的方法(注意:这只是伪代码):

UniqueId(Type) = Type.stringof ~ MemberIds!(Type.tupleof)

UniqueId(Type) if( Type is builtin ) = Type.stringof

MemberIds(M, Ms...) = "," ~ UniqueId!(typeof(M))
                      ~ "@" ~ ToString!(M.offsetof)
                      ~ ":" ~ M.stringof
                      ~ MemberIds!(Ms)

也就是说,根据类型的名称(您可能需要切掉模块和包,不确定),以及每个成员的类型ID、偏移量和名称来构造唯一ID。

不 与T.stringof相同——T.stringof将删除任何模板实例化,并且不会给出完全限定名。

这个 typeid expression 将返回TypeInfo对象的唯一实例。理论上,您应该能够使用TypeInfo对象的地址作为类型的唯一标识符值。

您知道,您可以将一个修订硬编码到类型中,如“const REV=173;”,然后在每次更改布局时更新它,然后将其与类型名称混合以生成标识符。

这有点麻烦,因为它需要手动更新,但您可以编写脚本,在svn diff识别该类中的更改时,在提交时自动更新它。这可能是最简单的解决办法。