d的无中

原文
noreturn(无中)是无值类型.声明noreturn类型是空操作.只是给当前域加一个符号.无初化,也不必初化.
也即不能求值noreturn式(如noreturn.init),因此,不可能成功调用带noreturn参的函数.或者进入无穷循环,抛异常,终止程序等.像

throw new Exception 
//或
() { while(1) {} }()

的无中式,已具有语言规范定义的特定运行时行为.其他如noreturn.init则没有.对后者,dip指定行为为assert(0).

noreturn x = noreturn.init;
//vs
noreturn x;

我认为并不相同,执行前者要求求值noreturn.init.而执行后者,不要求求值.
是的,对通用的T x = T.init和T x;等价规则,他是例外的.
对除无中的其他T类型,T.init式求值为T的值,然而noreturn.init不求值noreturn类型,因为noreturn是无值类型.

运行时失败初化noreturn,需要2个特例,1,noreturn是无值的,其他类型都有值,2,noreturn的初化器不求值为noreturn的值(因为无值可求).看起来奇怪,不过要接受.
noreturn是无值类型,noreturn的所有值集合是空集.这就是底层类型的定义!

变量是内存块,在noreturn中,内存块大小为0.它不可能有值.因此不能初化无中.
但由于编译器知道程序行为不能依赖变量值,所以完全可跳过初化而让变量保持未初化状态.
你可能还想noreturn x = void;这样,每次声明一个noreturn变量,但即使这样,运行时noreturn x;导致断定(0)也是错误,因为,它应该是编译时错误!