this == null // Como isso pode ser possível?

Recentemente me deparei com um comportamento estranho da minha aplicação. Ele foi desenvolvido principalmente em C #, mas o CLI / C ++ também foi usado para obter melhor desempenho. Eu estava recebendo um System.NullReferenceException em um método muito simples na comparação TimeSpan:

TimeSpan _timestamp;
void UpdateFrame(TimeSpan timestamp)
{
    if(TimeSpan::Equals(_timestamp, timestamp) == false) 

Era óbvio que a única referência usada nessa expressão estava implícita (this._timestamp). Eu adicionei uma declaração de declaração e verificou-se que isso é realmente nulo. Após uma breve investigação, consegui preparar um pequeno programa apresentando esse fenômeno. É C ++ / CLI.

using namespace System;
using namespace System::Reflection;

public class Unmanaged
{
public:
    int value;
};

public ref class Managed
{
public:
    int value;

    Unmanaged* GetUnmanaged()
    {
        SampleMethod();
        return new Unmanaged();
    }

    void SampleMethod()
    {
        System::Diagnostics::Debug::Assert(this != nullptr);
        this->value = 0;
    }
};

public ref class ManagedAccessor
{
public:
    property Managed^ m;
};

int main(array<System::String ^> ^args)
{
    ManagedAccessor^ ma = gcnew ManagedAccessor();
    // Confirm that ma->m == null
    System::Diagnostics::Debug::Assert(ma->m == nullptr);
    // Invoke method on the null reference
    delete ma->m->GetUnmanaged();
    return 0;
}

Alguém sabe como isso é possível? É um bug no compilador?

questionAnswers(2)

yourAnswerToTheQuestion