รหัสที่ไม่ปลอดภัยนี้ควรทำงานใน. NET Core 3 ด้วยหรือไม่

ฉันปรับโครงสร้างห้องสมุดของฉันเพื่อใช้Span<T>ในการหลีกเลี่ยงการจัดสรรฮีปหากเป็นไปได้ แต่ตามที่ฉันกำหนดเป้าหมายด้วยเฟรมเวิร์กที่เก่ากว่าฉันกำลังใช้โซลูชันทางเลือกทั่วไปด้วย แต่ตอนนี้ฉันพบปัญหาแปลก ๆ และฉันค่อนข้างแน่ใจว่าฉันพบข้อผิดพลาดใน. NET Core 3 หรือฉันกำลังทำสิ่งผิดกฎหมาย

ปัญหา:

// This returns 1 as expected but cannot be used in older frameworks:
private static uint ReinterpretNew()
{
    Span<byte> bytes = stackalloc byte[4];
    bytes[0] = 1; // FillBytes(bytes);

    // returning bytes as uint:
    return Unsafe.As<byte, uint>(ref bytes.GetPinnableReference());
}

// This returns garbage in .NET Core 3.0 with release build:
private static unsafe uint ReinterpretOld()
{
    byte* bytes = stackalloc byte[4];
    bytes[0] = 1; // FillBytes(bytes);

    // returning bytes as uint:
    return *(uint*)bytes;
}

น่าสนใจพอReinterpretOldทำงานได้ดีใน. NET Framework และใน. NET Core 2.0 (ดังนั้นฉันจะมีความสุขกับมันหลังจากทั้งหมด) ยังคงมันรบกวนฉันเล็กน้อย

Btw ReinterpretOldสามารถแก้ไขได้ใน. NET Core 3.0 ด้วยการปรับเปลี่ยนเล็กน้อย:

//return *(uint*)bytes;
uint* asUint = (uint*)bytes;
return *asUint;

คำถามของฉัน:

นี่เป็นข้อบกพร่องหรือReinterpretOldทำงานในกรอบงานที่เก่ากว่าโดยไม่ได้ตั้งใจเท่านั้นและฉันควรใช้การแก้ไขกับพวกเขาด้วยหรือไม่

หมายเหตุ:

• การตรวจแก้จุดบกพร่องทำงานได้ใน. NET Core 3.0
• ผมพยายามที่จะนำไปใช้[MethodImpl(MethodImplOptions.NoInlining)]ในการReinterpretOldแต่ก็ไม่มีผล

โอ้โหนี่สนุกดีนะ สิ่งที่เกิดขึ้นที่นี่คือท้องถิ่นของคุณได้รับการปรับให้เหมาะสม - ไม่มีคนท้องถิ่นเหลืออยู่ซึ่งหมายความว่าไม่มี.locals initซึ่งหมายความว่าstackallocจะทำงานแตกต่างกันและไม่เช็ดพื้นที่

private static unsafe uint Reinterpret1()
{
    byte* bytes = stackalloc byte[4];
    bytes[0] = 1;

    return *(uint*)bytes;
}

private static unsafe uint Reinterpret2()
{
    byte* bytes = stackalloc byte[4];
    bytes[0] = 1;

    uint* asUint = (uint*)bytes;
    return *asUint;
}

กลายเป็น:

.method private hidebysig static uint32 Reinterpret1() cil managed
{
    .maxstack 8
    L_0000: ldc.i4.4 
    L_0001: conv.u 
    L_0002: localloc 
    L_0004: dup 
    L_0005: ldc.i4.1 
    L_0006: stind.i1 
    L_0007: ldind.u4 
    L_0008: ret 
}

.method private hidebysig static uint32 Reinterpret2() cil managed
{
    .maxstack 3
    .locals init (
        [0] uint32* numPtr)
    L_0000: ldc.i4.4 
    L_0001: conv.u 
    L_0002: localloc 
    L_0004: dup 
    L_0005: ldc.i4.1 
    L_0006: stind.i1 
    L_0007: stloc.0 
    L_0008: ldloc.0 
    L_0009: ldind.u4 
    L_000a: ret 
}

ฉันคิดว่าฉันมีความสุขที่จะบอกว่าปัญหานี้เป็นปัญหาคอมไพเลอร์หรืออย่างน้อย: ภาพที่ไม่พึงประสงค์ผลข้างเคียงและพฤติกรรมที่กำหนดว่าการตัดสินใจก่อนหน้านี้ได้รับการวางในสถานที่ที่จะพูดว่า "ปล่อย .locals init" , โดยเฉพาะที่จะลองและ รักษาstackallocสติ - แต่ไม่ว่าคนคอมไพเลอร์จะเห็นด้วยหรือไม่ขึ้นอยู่กับพวกเขา

วิธีแก้ปัญหาคือ: รักษาstackallocพื้นที่เป็นไม่ได้กำหนด (ซึ่งเป็นธรรมคือสิ่งที่คุณตั้งใจจะทำ); หากคุณคาดว่าจะเป็นศูนย์: ศูนย์ด้วยตนเอง