Die Liste der Änderungen in D 2.092. Ausleihen Ausleihen

Compiler ändert sich

1. Die Befehlszeilenschalter -revert = import und -transition = checkimports wurden entfernt
2. Unterstützung für das Codieren (Mangeln) von C ++ GNU ABI-Namen hinzugefügt
3. Konstruktoren und Destruktoren für Module, die nicht extern sind (D), sind als veraltet markiert
4. DIP25-Verstöße, die standardmäßig veraltet sind
5. Prototyp-Besitz- und Ausleihsystem für Zeiger
6. Hinzugefügt -preview = in - Option , die die Speicherklasse verwandelt sich in in Umfang const
7. Die Parameter printf und scanf werden jetzt auf Übereinstimmung mit den Formatspezifizierern überprüft
8. Die Umgebungsvariable SOURCE_DATE_EPOCH wird jetzt unterstützt.

Laufzeitänderungen

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

Compiler ändert sich

1. Die Befehlszeilenschalter -revert = import und -transition = checkimports wurden gelöscht.
   
   Diese Schlüssel haben nichts getan und waren für einige Zeit als veraltet markiert. Der Compiler erkennt sie nicht mehr.
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__ .

Umfang des Prototyp-OB-Systems

• Dereferenzieren von Zeigern, die sich in einem ungültigen Zustand befinden
• mehr als ein aktiver Zeiger auf ein mutiertes Speicherobjekt.

Das Grundprinzip von OB

Design

• Es wird Speicher zugewiesen (z. B. eine lokale Variable auf dem Stapel), wodurch der Zeiger in einen undefinierten Zustand versetzt wird
• Initialisierung (als Zuordnung betrachtet)
• Zuweisung - Die Quell- und Zielzeiger ändern ihren Status abhängig von ihrem Status sowie von ihren Typen und Speicherklassen
• 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

Laufzeitänderungen

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