Daftar perubahan dalam D 2.092. Meminjam Meminjam

Perubahan kompiler

1. The -revert = import dan -transition = checkimport switch baris perintah dihapus
2. Menambahkan dukungan untuk pengkodean (penyusunan) nama C ++ GNU ABI
3. Konstruktor dan destruktor untuk modul yang bukan eksternal (D) ditandai sudah usang
4. Pelanggaran DIP25 Ditandai Secara Default Usang
5. Kepemilikan Prototipe dan Sistem Pinjaman untuk Pointer
6. Ditambahkan = -preview di pilihan itu ternyata kelas penyimpanan di dalam lingkup const
7. Parameter printf dan scanf sekarang diperiksa untuk kesesuaian dengan penentu format
8. Variabel lingkungan SOURCE_DATE_EPOCH sekarang didukung.

Perubahan runtime

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

Perubahan kompiler

1. Perintah baris switch -revert = import dan -transition = checkimport telah dihapus.
   
   Kunci-kunci ini tidak melakukan apa-apa, dan untuk beberapa waktu mereka ditandai usang. Kompiler tidak akan lagi mengenalinya.
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__ .

Lingkup sistem OB prototipe

• pointer dereferencing yang dalam keadaan tidak valid
• lebih dari satu pointer aktif ke objek memori yang bermutasi.

Prinsip dasar OB

Rancangan

• memori dialokasikan untuk itu (misalnya, variabel lokal di stack), yang menempatkan pointer dalam keadaan tidak terdefinisi
• inisialisasi (dianggap sebagai penugasan)
• penugasan - sumber dan target pointer berubah status tergantung pada keadaan apa mereka berada, serta pada tipe dan kelas penyimpanan mereka
• 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

Perubahan runtime

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