如何获取泛型类型的默认值？

Question

我使用的是 D 语言，并且希望获取泛型类型的默认值，类似于 default(T) 在 C# 中的工作方式。这可能吗？如果不是 - 有哪些可能的解决方法？

Answer 1

我认为 T.init 可能就是您正在寻找的。

Answer 2

D 中的每个类型都有一个默认值。它是通过类型的 init 属性访问的。 int.init、float.init、Object.init 等。对于模板化类型，它仍然是 init 属性。例如，如果您有泛型类型 T，则它将是 T.init。

init 通常是最接近该类型的错误值的。对于整型，它是0。对于bool，它是false。对于浮点类型，它是NaN。对于字符类型，它是 \u00FF。对于引用（即类）和指针，它是null。对于结构体，它是其成员变量直接初始化的值。例如，在 S.init 的情况下，

struct S
{
    int a = 17;
    bool b;
}

将是 S 的一个实例，其 a 为 17 且 b 是假。特别值得注意的是，需要 init 属性是 D 中的结构不能具有默认构造函数的原因。它们的默认状态 - 即它们的 init 属性 - 必须在编译时知道，而构造函数将在运行时运行，因此不能使用构造函数创建结构体的默认值，因此，虽然结构可以有构造函数，但它们不能有默认构造函数。

对于枚举，init 属性取决于它的枚举类型。诸如此类的清单常量

enum i = 7;

将具有与其类型相同的 init 属性（在本例中为 int），因为您并未真正创建新类型。然而，对于实际创建新类型的枚举，例如

enum E { a = 7, b = 17 };

默认值是枚举中的第一个值。在这种情况下，E.init 将是 a。

数组是它变得有点有趣的地方。动态数组和关联数组的 init 属性为 null。但是，当您为数组（无论是静态还是动态）分配内存时，每个元素都会初始化为其类型的 init 属性。因此，对于数组，您既要考虑其 init 值，又要考虑其元素的 init 值。

无论如何，获取类型默认值的通用方法是 T.init，其中 T 是您想要默认值的类型 - 无论是特定的类型类型或模板参数。

Answer 3

根据 codepad.org 重新枚举：

enum Foo {
  a = 3,
  b = 2,
}

import std.stdio;
void main() { writef("%d", Foo.init); }

给出：

3