Est-ce que ldc et gdc supportent les contrats en langage D?

Question

Ce code avec un contrat:

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

compile, et fonctionne avec DMD (v2.076.0-sale), mais pas ldc (0.17.1) ou gdc (5.4.0 20160609).

ldc dit:

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

et gdc dit:

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

Edit: Compiler avec "corps" au lieu de "faire", par la réponse réussit avec PMD. gdc obtient une nouvelle compilation erreur:

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

Notez que à l'heure actuelle la documentation dlang.org pour contract programming ne mentionne pas que corps, tandis que dépréciée probablement, fonctionne toujours, et il est nécessaire pour les versions de la DMD compilateur plus tôt que [version inconnue] et toutes les versions de gdc ou ldc qui utilisent un frontal dmd avant la version [version inconnue].

Answer 1

Utilisez body, et non do. Permettre do au lieu de body est une chose très récente (je ne savais pas que ce changement avait même été accepté, bien qu'il compile avec le dmd actuel, donc je suppose que c'était le cas). Dmd, ldc et gdc partagent tous le même frontend, mais ils n'ont pas tous la même version. Même si vous utilisez ldc le plus récent, il existe au moins un, peut-être deux versions derrière dmd, et à moins que vous n'utilisiez une version de développement de gdc, il est chemin derrière (il est à 2.068 IIRC, alors que dmd 2.077. 0 est en version bêta pour le moment), même si la prochaine version devrait finalement être assez proche de dmd (le changement de frontend de C++ à D a causé des retards importants pour eux).

Answer 2

Oui, ldc et gdc prennent tous deux en charge les contrats. Ceci est un changement de langue récent - remplacez do par body dans le contrat et il compile. Vous devriez toujours faire attention à ce que vous utilisez la même version D frontend. ldc le montre avec ldc2 --version, par exemple.