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는 새로운 컴파일 오류를 가져옵니다 [unknown version] 이전의 컴파일러와 dmd 프론트 엔드를 사용하는 gdc 또는 ldc의 모든 버전 (unknown 버전 이전).

Answer 1

body이 아니라 do을 사용하십시오. body 대신 do을 허용하는 것은 매우 최근의 일입니다. (현재의 dmd로 컴파일 되긴하지만, 그 변화가 받아 들여 졌음도 몰랐습니다.)

dmd, ldc 및 gdc는 모두 동일한 프런트 엔드를 공유하지만 모두 동일한 버전은 아닙니다. 가장 최근의 ldc를 사용하고 있어도 dmd 뒤에 적어도 하나의 릴리스가있을 수 있습니다. gdc의 개발 버전을 사용하지 않는 한 현재 way 뒤에 있습니다 (2.068 IIRC, dmd 2.077). 0이 현재 베타 버전 임), 다음 릴리스에서는 마침내 dmd (C++에서 D 로의 프론트 엔드 스위치가 주요 지연을 유발 함)에 상당히 근접해야합니다.

Answer 2

예, ldc 및 gdc 모두 계약을 지원합니다. 최근 언어 변경입니다. do을 body으로 바꾸면 컴파일됩니다. 항상 같은 D 프론트 엔드 버전을 사용하고 있다는 것에 주목해야한다. ldc은 예를 들어 ldc2 --version으로 표시합니다.