ldc和gdc是否支持D语言合同？
此代码包含一个合同：ldc和gdc是否支持D语言合同？,d,dmd,gdc,ldc,D,Dmd,Gdc,Ldc,此代码包含一个合同： import std.stdio; int TestContract(int a) in { assert( a > 0); } do { return a + 1; } int main(string[] args) { auto a = 2; try { writeln(a," + 1 is ",TestContract(a)); a = -2; writeln(a," + 1 is ",Tes
import std.stdio;
int TestContract(int a)
in
{
assert( a > 0);
}
do
{
return a + 1;
}
int main(string[] args)
{
auto a = 2;
try
{
writeln(a," + 1 is ",TestContract(a));
a = -2;
writeln(a," + 1 is ",TestContract(a));
}
catch (Exception e)
{
writeln(e);
}
return 0;
}
contracts.d(12): Error: declaration expected, not 'do'
contracts.d(15): Error: unrecognized declaration
contracts.d:12:1: error: declaration expected, not 'do'
do
^
contracts.d:15:1: error: unrecognized declaration
}
/usr/include/d/core/stdc/stdarg.d:48:5: error: undefined identifier __va_list_tag
alias __va_list = __va_list_tag;
请注意，目前的dlang.org文档中没有提到body，虽然可能已弃用，但仍然有效，并且对于早于[unknown version]的dmd编译器版本以及在[unknown version]之前使用dmd前端的任何gdc或ldc版本都是必需的。使用
bodydodobodydmd、ldc和gdc都共享同一个前端，但它们的版本不同。即使您使用的是最新的ldc，它也至少比dmd落后一个，也许是两个版本，除非您使用的是gdc的开发版本，否则它目前远远落后（它的IIRC为2.068，而DMD2.077.0目前处于测试阶段），尽管下一个版本最终应该与dmd相当接近（从C++到D的前端切换导致了它们的主要延迟）。 < P>使用代码>正文< /C> >，而不是<代码> do/COD>。允许<代码> do>代码>代替<代码>正文是一个很新的事情（我不知道这个改变甚至被接受，虽然它与当前DMD编译，所以我猜是这样）。< /P>
dmd、ldc和gdc都共享同一个前端，但它们的版本并不都相同。即使您使用的是最新的ldc，它也至少有一个，也许有两个版本落后于dmd，而且除非您使用的是gdc的开发版本，否则它目前远远落后（IIRC为2.068，而DMD2.077.0目前处于测试阶段）虽然下一个版本的发行版本应该相当接近DMD（前端交换机从C++到D导致了它们的主要延迟）.是的，ldc和gdc都支持合同。这是最近的一次语言更改-将合同中的
dobodyldcldc2--versiondobodyldcldc2--versionbodydobody/usr/include/d/core/stdc/stdarg.d/usr/include/dbodydobody/usr/include/d/core/stdc/stdarg.d/usr/include/dbodybodydobodydobody