调试、版本控制和静态断言D 支持从同一套代码构建多种版本和各种调试级别的程序，方法是使用下面的特征： 调试说明
调试特征
调试语句
版本说明
版本特征
版本语句
静态断言
DebugSpecification
DebugAttribute
DebugStatement
VersionSpecification
VersionAttribute
VersionStatement
StaticAssert
预定义版本为了提高用法的一致性，D 预定义了几个版本标志符和标志符名字空间。版本标志符不会同代码中的其他标志符冲突，它们位于一个独立的名字空间中。预定义的版本标志符是全局的，也就是，它们可用于所有编译的和导入的模块。DigitalMars Digital Mars 是编译器提供商 X86 Intel 和 AMD 的 32 bit 处理器AMD64 AMD 64 bit 处理器Windows Microsoft Windows 系统 Win32 Microsoft 32 bit Windows 系统 Win64 Microsoft 64 bit Windows 系统 linux 所有的 linux 系统 LittleEndian 字节序，低位优先BigEndian 字节序，高位优先D_InlineAsm 实现了内联汇编none 未定义；用来禁用某段代码如果出现了新的实现，也许会加入新的有意义的版本标志符。 D 语言无可避免地会随着时间演变。因此，以“D_”打头的版本标志符构成的名字空间被保留作为 D 语言规范或者新特征的标志的名字空间。
特定于编译器提供商的版本号可以是预定义的，形式是在提供商商标的标志符之后加上版本号，如： version(DigitalMars_funky_extension) // DigitalMars 的有趣扩展
{
...
}
一定要把正确的版本号用于正确的目的。例如，在使用特定于提供商的特征时使用该提供商的标识符；在使用特定于操作系统的特征时使用该操作系统的标志符，等等。
说明调试说明
debug = 标志符 ;
debug = 整数 ;
版本说明
version = 标识符 ;
version = 整数 ;
DebugSpecification
debug = Identifier ;
debug = Integer ;
VersionSpecification
version = Identifier ;
version = Integer ;
版本说明不声明符号，而是设定一个编译版本，同命令行选项 -version 的功能相同。版本说明用来支持带有版本特征和版本语句的条件编译。版本说明 和 调试说明 以作用于它们所在的模块。只有预定义的说明位于全局作用域，而且它们是通过命令行选项指定的。
版本说明可以以一种直接的方式将某个主版本的特征划为一组，例如：
version (ProfessionalEdition)
{
version = FeatureA;
version = FeatureB;
version = FeatureC;
}
version (HomeEdition)
{
version = FeatureA;
}
...
version (FeatureB)
{
... 实现 Feature B ...
}
调试语句通常开发人员会构建两种程序，一个发行版，一个调试版。调试版通常包括额外的错误检测代码、测试套件、友好的输出代码等。调试语句的语句体采用条件编译。这是 D中的 #ifdef DEBUG / #endif 。调试语句:
调试谓词 语句
调试谓词 语句 else 语句
调试谓词
debug 语句
debug ( 整数 )
debug ( 标志符 )
DebugStatement:
DebugPredicate Statement
DebugPredicate Statement else Statement
DebugPredicate
debug Statement
debug ( Integer )
debug ( Identifier )
如果编译时指定了 -debug 选项，就会将调试语句编译进可执行文件内。 如果编译时指定的 -debug(n) 选项中的 n <= 整数 ，就会将 debug(整数) 语句编译进可执行文件内。
如果编译时指定的 -debug(标志符) 选项中的标志符同 标志符 匹配，就会将 debug(标志符) 语句编译进可执行文件内。
如果 语句 是语句块，则该语句块不会引入新的作用域。例如：
int k;
debug
{ int i;
int k;// 错误，k 已经定义了
i = 3;
}
x = i;// 使用上面声明的 i
版本语句使用一份源码生成多种不同的版本是一种通用的做法。尽管 D 可以通过将不同的版本放入不同的模块来进行版本控制，但如果仅仅更改了几行代码或整个程序就是一个模块的话，这样做就很烦人了。
版本语句:
版本谓词 语句
版本谓词 语句 else 语句
版本谓词
version ( 整数 )
version ( 标志符 )
VersionStatement:
VersionPredicate Statement
VersionPredicate Statement else Statement
VersionPredicate
version ( Integer )
version ( Identifier )
依据所指定的 整数 或者 标志符，采用相应的 版本语句。这两种形式都通过编译器的 -version 选项指定。如果 语句 是语句块，则各语句块不会引入新的作用域，例如： int k;
version (Demo)// 演示版会采用这块代码
{ int i;
int k;// 错误，k 已经定义了
i = 3;
}
x = i;// 使用上面声明的 i
版本语句也可以通过版本特征声明选用。（译注：version=Demo; 指出采用演示版。）版本语句可以嵌套。
如果所有的版本谓词都为假，就采用可选的 else 子句（译注：如果有的话）：
version (X86)
{
... // 实现定制的内联汇编版本
}
else
{
... // 使用默认的、低效的版本
}
尽管调试和版本语句在表面上行为相同，但它们用于不同的目的。调试语句用来添加不应出现在发行版中的调试代码。版本语句用来加强可移植性和提供多种发行版本。 调试特征调试特征:
debug
debug ( 整数 )
debug ( 标志符 )
DebugAttribute:
debug
debug ( Integer )
debug ( Identifier )
人们通常会构建两个版本的程序，一个发行版，一个调试版调试版包括额外的错误检查代码、试验代码、美观打印代码等。可以在编译时选择是否使用调试代码：class Foo
{
int a, b;
debug:
int flag;
}
条件编译 的意思是如果代码没有被采用，它仍然需要符合语法，但不会对其进行语义检查或处理。不会向符号表中添加符号，不会执行类型检查，不会生成代码，不会执行导入。可以通过给 debug 指定不同的参数来构建不同的版本：debug(n) { }// 如果调试级别 <= n 就使用此代码
debug(标志符) { } // 如果调试关键字是 标志符 就使用此代码
这等同于使用命令行参数 -debug=n 和 -debug=标志符 。
版本特征版本特征:
version ( 整数 )
version ( 标志符 )
VersionAttribute:
version ( Integer )
version ( Identifier )
版本特征同调试特征十分相似，并且在很多方面功能上相互重叠。但是它们的目的并不相同。调试特征用于构建调试版本的程序，而版本特征使用同一份源码生成多个发行版本。 例如，一个程序可能有两个版本，一个 完整版（full） ，一个 演示版（demo）：
class Foo
{
int a, b;
version(full)
{
int extrafunctionality()
{
...
return 1;// 支持额外的功能
}
}
else // demo
{
int extrafunctionality()
{
return 0;// 不支持额外的功能
}
}
}
可以通过给 version 指定不同的参数来构建不同的版本：version(n) { }// 如果版本级别 >= n 就使用此代码
version(标志符) { } // 如果版本关键字是 标志符 就使用此代码
这等同于使用命令行参数 -version=n 和 -version=标志符 。静态断言静态断言:
static assert ( 表达式 );
StaticAssert:
static assert ( Expression );
表达式 会在编译时计算，并转换为布尔值。如果为真，就忽略静态断言。如果为假，编译会失败，并给出错误诊断。与 断言表达式 不同，静态断言 总会由编译器检查计算，除非它们出现在一个未被指定的调试或者版本语句中。
void foo()
{
if (0)
{
assert(0);// 从不执行
static assert(0);// 总会执行
}
version (BAR)
{
static assert(0);// 只有定义了 BAR 才会执行
}
}
