La liste des changements dans D 2.092. Emprunter Emprunter

Modifications du compilateur

1. Les commutateurs de ligne de commande -revert = import et -transition = checkimports ont été supprimés
2. Ajout de la prise en charge du codage (mangling) des noms C ++ GNU ABI
3. Les constructeurs et destructeurs pour les modules qui ne sont pas externes (D) sont marqués comme obsolètes
4. Violations DIP25 marquées par défaut Obsolète
5. Système de propriété et d'emprunt de prototypes pour pointeurs
6. Ajouté -preview = en option qui transforme la classe de stockage en en périmètre const
7. Les paramètres Printf et scanf sont maintenant vérifiés pour la conformité avec les spécificateurs de format
8. La variable d'environnement SOURCE_DATE_EPOCH est désormais prise en charge.

Modifications de l'exécution

1. TypeInfo_Class/TypeInfo_Interface.isBaseOf C#/Java isAssignableFrom
2. core.memory.pageSize minimumPageSize

1. Date.isoWeekYear Date.fromISOWeek std.datetime.date
2. std.xml
3. std.digest.digest

Dub

2. Dub lint --report-file

Modifications du compilateur

1. Les commutateurs de ligne de commande -revert = import et -transition = checkimports ont été supprimés.
   
   Ces clés n'ont rien fait, et pendant un certain temps, elles ont été marquées comme obsolètes. Le compilateur ne les reconnaîtra plus.
2. () C++ GNU ABI
   
   GNU ABI C++11 GCC 5.1. D C++, DMD UDA ( ) gnuAbiTag, core.attribute object ( ). ABI , , ++ . , std::string C++11 (DMD -extern-std={c++11,c++14,c++17}).
   
   :
   
   

   extern(C++):
   @gnuAbiTag("tagOnStruct")
   struct MyStruct {}
   @gnuAbiTag("Multiple", "Tags", "On", "Function")
   MyStruct func();

   
   gnuAbiTag. ( ). UDA -extern-std=c++11. (-extern-std=c++98) UDA . UDA extern(C++) .
3. , extern(D) .
   
   ( ) , extern(D), . , , / , , 479, 479, .
   
   , , .
4. DIP25 .
   
   DIP25 2.067.0, , -preview=dip25. , , DIP1000.
   
   , , -preview=dip25, -preview=dip25. ( ).
   
   DIP25 , @ safe . , ref , return , .
   
   

   struct Foo
   {
       int x;
       // returning `this.x` escapes a reference to parameter `this`, perhaps annotate with `return`
       ref int method() /* return */ { return this.x; }
   }
   // returning `v` escapes a reference to parameter `v`, perhaps annotate with `return`
   ref int identity(/* return */ ref int v) { return v; }

   
   return . DIP25 .
5. -preview=in in scope const.
   
   const scope, in . , in (. inout ) .
   
   -preview=in, :
   
   

   void fun(in int x);
   void fun(const int x);

   
   -preview=in, :
   
   

   void fun(in int x);
   void fun(scope const int x);

6. printf scanf
   
   C99 7.19.6.1 printf 7.19.6.2 scanf.
   
   printf , . , .
   
   scanf .
   
   :
   
   
   1. ,
   2. ,
   6. — , s
   8. C99
   
   -, .
   
   .
   
   , printf/scanf, :
   
   

   printf("%k\n", value);  // error: non-Standard format k
   const format = "%k\n";
   printf(format.ptr, value);  // no error

   
   — . ,
   
   

   string s;
   printf("%.*s\n", s.length, s.ptr);
   printf("%d\n", s.sizeof);
   ulong u;
   scanf("%lld%*c\n", &u);

   
   :
   
   

   string s;
   printf("%.*s\n", cast(int) s.length, s.ptr);
   printf("%zd\n", s.sizeof);
   ulong u;
   scanf("%llu%*c\n", &u);

   
   printf scanf pragma(printf) printf pragma(scanf) scanf.
   
   , :
   
   
   1. extern (C ) extern (C++)
   2. const(char)*
   3. … -v , va_list ( «v» printf scanf)
   .
   
   «v»- .
   
7. SOURCE_DATE_EPOCH
   
   SOURCE_DATE_EPOCH. UNIX ( 1970-01-01 00:00:00), . DMD __DATE__, __TIME__ __TIMESTAMP__ .

Portée du prototype de système OB

• déréférencer les pointeurs qui sont dans un état non valide
• plusieurs pointeurs actifs vers un objet mémoire muté.

Le principe de base de l'OB

Conception

• de la mémoire lui est allouée (par exemple, une variable locale sur la pile), ce qui place le pointeur dans un état non défini
• initialisation (considérée comme affectation)
• affectation - les pointeurs source et cible changent d'état en fonction de l'état dans lequel ils se trouvent, ainsi que de leurs types et classes de stockage
• out ( ), , .
• ref , , .
• , .
• - ()
• , , .
• , ,
• , ,
• ,

@live void uhoh()
{
    scope p = malloc();  // p is considered an Owner
    scope const pc = malloc(); // pc is not considered an Owner
} // dangling pointer pc is not detected on exit

@live void ohno()
{
    auto p = malloc();

    void sneaky() { free(p); }

    sneaky();
    free(p);  // double free not detected
}

@live void leaky()
{
    auto p = malloc();
    pitcher();  // throws exception, p leaks
    free(p);
}

@live void waterTight()
{
    auto p = malloc();
    scope(exit) free(p);
    pitcher();
}

void* xmalloc(size_t);
void xfree(void*);

void* ymalloc(size_t);
void yfree(void*);

auto p = xmalloc(20);
yfree(p);  // should call xfree() instead

U* umalloc();
void ufree(U*);

V* vmalloc();
void vfree(V*);

auto p = umalloc();
vfree(p);  // type mismatch

Modifications de l'exécution

1. TypeInfo_Class/TypeInfo_Interface.isBaseOf C#/Java isAssignableFrom.
   
   TypeInfo_Class.isBaseOf true, , , , . isBaseOf, isAssignableFrom, , opAssign D — . TypeInfo_Interface.isBaseOf , TypeInfo_Class, TypeInfo_Interface.
2. core.memory.pageSize minimumPageSize.
   
   pageSize .
   
   

   import core.memory : pageSize;
   ubyte[] buffer = new ubyte[pageSize];

   
   minimumPageSize .
   
   , . , . pageSize, .
   
   , , , : ubyte[minimumPageSize].
   
   

   import core.memory : minimumPageSize;
   ubyte[minimumPageSize] buffer;

   
   

1. Date.isoWeekYear Date.fromISOWeek std.datetime.date
   
   ISO 8601 , Date and DateTime.
   
   ISO , . Date.fromISOWeek(2020, 11, DayOfWeek.mon) Date(2020, 3, 9).
   
   ISO , () .isoWeekYear Date ISO. , .isoWeekAndYear , .
2. std.xml .
   
   std.xml . , , UndeaD. xml dub- dxml.
3. std.digest.digest .
   
   2.076.1 . std.digest .
   
   std.digest.digest 2.101.

Dub

1. .
   
   Posix , .dub. dub (, .swap.file.d), . , dub . , dub.
   
   , .
2. Dub lint --report-file.
   
   Dub lint --report-file: dub lint --report-file report.json