ldcとgdcはD言語契約をサポートしていますか？

Question

契約にこのコード：

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; 
} 

コンパイル及びDMD（v2.076.0-汚い）ではなく、LDC（0.17.1）又はGDC（5.4.0 20160609）で実行されます。

LDCは言う：

contracts.d(12): Error: declaration expected, not 'do' 
contracts.d(15): Error: unrecognized declaration 

とGDC言う：

contracts.d:12:1: error: declaration expected, not 'do' 
do 
^ 
contracts.d:15:1: error: unrecognized declaration 
} 

編集：ではなく "やる" の "体" でコンパイル、答えあたりは、LDCに成功します。現時点でcontract programmingためdlang.orgのドキュメントの可能性が高い非推奨ながら体が、まだ動作していることを言及していない、とDMDのバージョンのために必要であることを

/usr/include/d/core/stdc/stdarg.d:48:5: error: undefined identifier __va_list_tag 
    alias __va_list = __va_list_tag; 

注：GDCは、新しいコンパイルエラーを取得しますコンパイラは[未知のバージョン]より前のコンパイラと、バージョン[未知のバージョン]よりも前にdmdフロントエンドを使用するgdcまたはldcのすべてのバージョンです。

Answer 1

bodyではなく、doを使用してください。最近のことはbodyの代わりにdoを許可することです（私はその変更が受け入れられたことに気づいていませんでしたが、それは現在のdmdとコンパイルされているためです）。

dmd、ldc、およびgdcはすべて同じフロントエンドを共有しますが、すべて同じバージョンではありません。最新のldcを使用していても、dmdの後ろに少なくとも1つ、おそらくは2つのリリースがあります。開発バージョンのgdcを使用していない限り、現在の方法（2.068 IIRC、dmd 2.077）です。 0は現時点ではベータ版です）、次回のリリースでは最終的にdmd（C++からDへのフロントエンドスイッチは大きな遅延を引き起こしました）にかなり近いはずです。

Answer 2

はい、ldcとgdcはどちらも契約をサポートしています。これは最近の言語変更です。doをbodyに置き換えてコンパイルします。あなたは常に同じDフロントエンドバージョンを使用していることに注意する必要があります。 ldcは、例えばldc2 --versionと表示されます。