oop - 没有 writeln 时找不到构造函数

Question

我在 Ubuntu 13.04 64 位上使用 DMD64 D 编译器 v2.063.2。

我写了一个类如下:

class FixedList(T){
    // list
    private T[] list;

    // number of items
    private size_t numberOfItems;

    // capacity
    private size_t capacity;

    // mutex
    private Mutex listMutex;

    // get capacity
    @property public size_t Capacity(){ return capacity; }
    @property public shared size_t Capacity(){ return capacity; }

    // constructor
    public this( size_t capacity ){
        // initialise
        numberOfItems = 0;
        this.capacity = capacity;

        writeln("Cons Normal");
    }

    // constructor
    public shared this( size_t capacity ){
        // initialise
        numberOfItems = 0;
        this.capacity = capacity;

        // create mutex
        listMutex = cast(shared)(new Mutex());

        writeln("Cons Shared");
    }
}

虽然类是这样编写的，但在 main 函数中，我编写了该代码:

auto list1 = new shared FixedList!int( 128 );
auto list2 = new FixedList!int( 128 );

这样输出，完全没有错误，输出如下:

Cons Shared
Cons Normal

接下来我要做的是从代码中删除 writeln 行，当我重新编译代码时，它开始显示错误消息，如下所示:

src/webapp.d(61): Error: constructor lists.FixedList!(int).FixedList.this called with argument types:
    ((int) shared)
matches both:
    lists.d(28): lists.FixedList!(int).FixedList.this(ulong capacity)
and:
    lists.d(37): lists.FixedList!(int).FixedList.this(ulong capacity)
src/app.d(61): Error: no constructor for FixedList
src/app.d(62): Error: constructor lists.FixedList!(int).FixedList.this called with argument types:
    ((int))
matches both:
    lists.d(28): lists.FixedList!(int).FixedList.this(ulong capacity)
and:
    lists.d(37): lists.FixedList!(int).FixedList.this(ulong capacity)
src/app.d(62): Error: no constructor for FixedList
make: *** [all] Error 1

基本上 writeln 函数可以防止错误。实际上 writeln 在很多地方都被阻止，我不确定为什么会发生这种情况。

我什至尝试使用 m32 标志编译 32 位代码，但它仍然是相同的。我做错了什么，还是这是一个错误？

Answer 1

pure , nothrow ，和@safe被推断为模板函数。如FixedList是模板化的，它的构造函数也是模板化的。 writeln不是(也不可能是)pure就像 I/O 一样。所以，虽然writeln在构造函数中，它们被推断为不是 pure ，但构造函数所做的其他所有事情都是 pure ，因此无需调用 writeln ，他们变成pure .

在某些情况下，编译器能够更改 pure 的返回类型函数将其隐式转换为 immutable或shared 。这是有效的，因为在这些情况下，编译器知道返回的是一个新的、唯一的对象，并将其强制转换为 immutable或shared不会违反类型系统。并非全部pure函数符合条件，因为参数类型会影响编译器是否可以保证返回值是唯一的，但很多 pure函数能够利用这一点并将其返回值隐式转换为 immutable或shared 。这很有用，因为它可以避免代码重复(对于不同的返回类型)或复制 - 因为如果返回的类型与 immutable 所需的类型不匹配或shared ，并且您不能保证它不会在其他地方被引用，您必须复制它才能获得您想要的类型。在这种情况下，编译器能够保证该对象不会在其他地方引用，因此它可以安全地为您转换它。

构造函数有效地返回新值，因此它们可能会受到此功能的影响。这使得如果构造函数是 pure ，您通常可以构造 immutable和shared从中获取值，而不必复制构造函数(就像如果不是 pure 则必须这样做)。与其他pure一样函数，这是否有效取决于构造函数的参数类型，但这通常是可能的，并且有助于避免代码重复。

导致您出现问题的是当FixedList时的构造函数都是 pure ，编译器可以使用它们中的任何一个来构造 shared目的。因此，它不知道该选择哪一个，并且会给您一个歧义错误。

我已将此报告为 bug理论上编译器应该更喜欢显式标记为 shared 的构造函数，但是编译器开发人员会决定什么，我不知道。能够隐式转换 pure 的返回值函数是一项相当新的功能，我们仍在探索何时可以或不能进行这些隐式转换，这可能会导致意想不到的问题(就像这个可能是的)以及编译器错误(例如，至少有一种情况)与 immutable ，目前它不应该进行转换)。我相信这些问题很快就会得到解决。