课程的Dlang泛型

Question

第一次海报.我已经使用Java几年了,并决定学习D.在Java中,你可以声明一个具有泛型类的类,并从该类创建一个新对象.喜欢:

public class foo<T>
{
    public foo() { ... }
}

然后简单地打电话foo<String> f = new foo<>();.我尝试在D中实现相同的,但我得到了一个编译错误,如:"class core.collection.RingBuffer.RingBuffer(T)用作类型".看一下D的教程,我发现泛型编程是使用模板实现的.但是,我无法正式编写官方教程/文档.有人可以向我解释一下吗？谢谢.

Answer 1

当你没有在右侧实例化模板时会出现这个错误 - 它抱怨"foo被用作一个类型",因为foo本身不是一个类型,它是一个类型的模板.这意味着在用!(arguments)实例化之前它不会成为实际类型.

你的Java代码与new foo<>()D中的代码不完全相同:在D中,你需要在右边给出那里的类型.

所以尝试:

foo!string f = new foo!string();

要么

foo!(string) f = new foo!(string)();

模板参数周围的括号!,如果后面只有一个单词,则是可选的,因此这两个意思相同.

在D中不需要写入两次类型,但是不要将其从右侧移出,而是可以通过类型推断将其留在左侧.这也将编译:

auto f = new foo!string();

这在D中很常见

Answer 2

这是一个使用泛型的简约 Java 代码：

class Foo <T>
{
    public Foo (String arg) {System.out.println ("Hello, " + arg + "!");}
}

public class TestClass
{
    public static void main (String [] args)
    {
        Foo <String> f = new Foo <> ("Alice");
        Foo <String> g = new Foo <String> ("Bob");
    }
}

这是它的 D 等价物：

import std.stdio;

class Foo (T)
{
    public this (string arg) {writeln ("Hello, " ~ arg ~ "!");}
}

void main ()
{
    auto f = new Foo !(string) ("Alice");
    Foo !(string) g = new Foo !(string) ("Bob");
}

这些只是完整的可编译示例。推理在Adam D. Ruppe 的回答中进行了解释。