Небезопасно смешивать статические и реинтерпрет-литые при бросании в void и обратно?

Просто: Если я static_cast тип X* - void*, всегда ли безопасно reinterpret_cast вернуть его в X *?

Я не могу выполнить какой-либо случай, если это не удается, например:

#include <iostream>

struct a
{
    int* m_array;
};

int main()
{
    bool fail = false;

    for(int i = 0; ++i < 5000;)
    {
        a* pA = new a;
        pA->m_array = new int [i+1]; // A new size of data everytime
        pA->m_array[i] = 10;

        void* pvA = static_cast<void*>(pA);
        pA = reinterpret_cast<a*>(pvA);

        if(pA->m_array[i] != 10)
        {
            fail = true;
            break;
        }

        delete []pA->m_array;
        delete pA;
    }

        if(fail)
            std::cout<<"FAILED!!";
        else
            std::cout<<"Never failed :/";
}

Ссылка на скомпилированный пример

Дает результат "Никогда не сработал:/" в обоих режимах отладки и выпуска с vs 2012. Однако это, скорее всего, поведение undefined. Правильно?

Ответ 1