d奇怪的枚举

原文

import std.stdio;

enum Foo {
    bar
}

int main(string[] args)
{
    writefln("调试: %d\n", &(Foo.bar));
    return 0;
}

错误:bar无法修改清单常量.
它们都不是左值.等价结构是"静态 常和不变".在编译时评估,但有地址:

static const a = foo();
static immutable b = bar();

int foo() {
  return 42;
}

int bar() {
  return 43;
}

void main() {
  assert(&a != &b);
}

在找右值和左值相关特征时,应该有isRvalueAssignable()和isLvalueAssignable():这里
Phobos文档有点问题.

下面8个示例中有相同结果.

struct Foo {
  int bar;
  alias bar this;
  auto far() { return &bar; }
}
void main()
{
    Foo foo;
    // 直接
    "1: ".writeln(&foo.bar);
    (&foo.bar).writefln!"2. %s";
    "3: ".writeln(&(foo.bar));
    (&(foo.bar)).writefln!"4. %s";
    // 别名
    "5. ".writeln(&foo);
    (&foo).writefln!"6. %s";
    // 函数
    "7: ".writeln(&(*foo.far));
    (&(*foo.far)).writefln!"8. %s";
}

枚举有两种含义:1,类似#define,并声明仅在编译时存在的值.那是明显的清单常量.
按(如const)存储类用枚举完成.

enum x = 5; // x现在是整清单常量
enum byte y = 5; //y现在是字节清单常量

writeln(&x); // 错误,非左值,等价于:
writeln(&5);

2,声明可以是左值的类型:

enum Foo {
   bar
}

Foo foo;
writeln(&foo); // ok

Foo现在是类型,可用来表示仅一个值的(Foo.bar)整数值.尽管可通过强制转换或数学运算得到的任何int值.如果需要,还可指定基本类型.
一些库按粗略的(带额外清单常量属性)typedef用.

匿名枚举是一种奇怪的声明一堆清单常量方式,并使用"=上个成员+1"功能来声明它们(你可改).
还可用无成员的标识符声明枚举,并成为无默认初值设定项类型.主要用作方便的UDA标签.

enum dontSerialize;//uda.
struct S
{
   @dontSerialize string comment;
}

enum绝对是D中最奇怪的东西之一.