डी 2.092 में परिवर्तन की सूची। उधार लेना उधार लेना

संकलक परिवर्तन

1. -Revert = import और -transition = checkimports कमांड लाइन स्विच हटा दिए गए
2. C ++ GNU ABI नामों की कोडिंग (मैन्ग्रिंग) के लिए जोड़ा गया समर्थन
3. बाहरी (डी) मॉड्यूल के लिए कंस्ट्रक्टर और डिस्ट्रक्टर्स अप्रचलित चिह्नित नहीं हैं
4. DIP25 डिफ़ॉल्ट रूप से चिह्नित उल्लंघन
5. पॉइंटर्स के लिए प्रोटोटाइप स्वामित्व और उधार प्रणाली
6. जोड़ा विकल्प है कि में -preview = भंडारण वर्ग बदल जाता है में में गुंजाइश स्थिरांक
7. प्रिंटफ़ और स्कैनफ़ मापदंडों को अब प्रारूप विनिर्देशक के अनुपालन के लिए जांचा जाता है
8. पर्यावरण चर SOURCE_DATE_EPOCH अब समर्थित है।

रनटाइम बदल जाता है

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

संकलक परिवर्तन

1. कमांड लाइन स्विच -revert = आयात और -transition = चेकइमपोर्ट हटा दिए गए हैं।
   
   इन कुंजियों ने कुछ भी नहीं किया, और कुछ समय के लिए उन्हें अप्रचलित चिह्नित किया गया। कंपाइलर अब उन्हें पहचान नहीं पाएंगे।
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__ .

प्रोटोटाइप ओबी सिस्टम का दायरा

• dereferencing पॉइंटर्स जो अमान्य स्थिति में हैं
• म्यूटेड मेमोरी ऑब्जेक्ट में एक से अधिक सक्रिय पॉइंटर।

ओबी का मूल सिद्धांत

डिज़ाइन

• इसके लिए मेमोरी आवंटित की जाती है (उदाहरण के लिए, स्टैक पर एक स्थानीय चर), जो सूचक को अपरिभाषित स्थिति में रखता है
• आरंभीकरण (असाइनमेंट के रूप में माना जाता है)
• असाइनमेंट - स्रोत और लक्ष्य पॉइंटर्स उन राज्यों के आधार पर बदलते हैं जो वे राज्यों में हैं, साथ ही साथ उनके प्रकार और भंडारण वर्ग पर भी
• 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

रनटाइम बदल जाता है

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