قائمة التغييرات في D 2.092. الاقتراض

التغييرات المترجم

1. -revert = import و -transition = checkimports رموز تبديل سطر الأوامر التي تمت إزالتها
2. تمت إضافة دعم الترميز (mangling) لأسماء C ++ GNU ABI
3. يتم تمييز منشئي ومدمري الوحدات غير الخارجية (D) عفا عليها الزمن
4. DIP25 الانتهاكات التي تم تحديدها بشكل افتراضي عفا عليها الزمن
5. الملكية النموذجية ونظام الاقتراض للمؤشرات
6. وأضاف = معاينة وفي الخيار الذي يحول فئة تخزين في في CONST نطاق
7. يتم الآن فحص معلمات Printf و scanf للتوافق مع محددات التنسيق
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 = import and -transition = checkimports تم حذفها.
   
   لم تفعل هذه المفاتيح شيئًا ، وتم اعتبارها قديمة لبعض الوقت. لن يتعرف عليها المترجم بعد الآن.
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__ .

نطاق نظام OB النموذج

• مؤشرات إلغاء الإشارة الموجودة في حالة غير صالحة
• أكثر من مؤشر نشط إلى كائن ذاكرة متحور.

المبدأ الأساسي ل OB

التصميم

• تم تخصيص ذاكرة لها (على سبيل المثال ، متغير محلي على المكدس) ، والذي يضع المؤشر في حالة غير محددة
• التهيئة (تعتبر مهمة)
• الواجب - يغير المصدر والهدف الحالة حسب الحالة التي هم فيها ، وكذلك على أنواعها وفئات التخزين
• 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