templates - 如何在 D 中使用 "Template Constructors"？

Question

template documentation for D包括一个名为“模板构造函数”的小部分。该部分没有任何示例或大量文档。

我正在尝试使用该功能(我知道我可以只使用“静态构造函数”，但我有理由更喜欢模板构造函数)。

特别是，我试图在编译时生成一些哈希。这是我的尝试:

struct MyHash
{
    uint value;

    this(uint value)
    {
        this.value = value;
    }

    this(string str)()
    {
        enum h = myHashFunc(str);
        return MyHash(h);
    }
}

uint myHashFunc(string s)
{
    // Hashing implementation
    return 0;
}

int main(string[] str)
{
    MyHash x = MyHash!"helloworld";
    return 0;
}

这不能用 DMD 2.053 编译:

x.d(10): Error: template x.MyHash.__ctor(string str) conflicts with constructor x.MyHash.this at x.d(5)

它提示第一个构造函数。删除后:

x.d(20): Error: template instance MyHash is not a template declaration, it is a struct

这是非常合乎逻辑的，考虑到我使用的语法与 MyHash 是模板结构相同。

那么，有谁知道我如何声明和调用“模板构造函数”？

Answer 1

我在 IRC 上四处询问，据我们所知，它从未在 D1 中实现过，所以我们猜测它仍然没有实现。此外，The D Programming Language 中没有提到该功能，所以整个事情有点悬而未决。

如果我是你，我会submit a bug反对文档。