Объяснение кода Asm

Одна причина использовать reinterpret_cast состоит в том, когда базовый класс не имеет vtable, но производный класс делает. В этом случае, static_cast и reinterpret_cast приведет к различным значениям указателя (это было бы нетипичным случаем, упомянутым jalf выше ). Так же, как правовая оговорка я не заявляю, что это - часть стандарта, но реализация нескольких широко распространенных компиляторов.

Как пример, возьмите код ниже:

#include 

class A {
public:
    int i;
};

class B : public A {
public:
    virtual void func() {  }
};

int main()
{
    B b;
    const A* a = static_cast(&b);
    const A* ar = reinterpret_cast(&b);

    printf("&b = %p\n", &b);
    printf(" a = %p\n", a);
    printf("ar = %p\n", ar);
    printf("difference = %ld\n", (long int)(a - ar));

    return 0;
}

, Который производит что-то как:

& b = 0x7ffe10e68b38
= площадь 0x7ffe10e68b40
= различие 0x7ffe10e68b38
= 2

Во всех компиляторах я попробовал (MSVC 2015& 2017, лязгайте 8.0.0, gcc 9.2, ICC 19.0.1 - видят godbolt для последнего 3 ), результат эти static_cast отличается от результата reinterpret_cast 2 (4 для MSVC). Единственный компилятор для предупреждения о различии был лязгом, с:

17:16: предупреждение: 'reinterpret_cast' от класса 'B *' к его основе при ненулевом смещении '*' ведет себя по-другому по сравнению с 'static_cast' [-Wreinterpret-базовый-класс]
константа* площадь = reinterpret_cast (& b);
^ ~~~~~~~~~~~~~~~~~~~~~~~
17:16:примечание: используйте 'static_cast' для корректировки указателя правильно в то время как константа upcasting
* площадь = reinterpret_cast (& b);
^ ~~~~~~~~~~~~~~~
static_cast

Один последний протест состоит в том, что, если базовый класс не имеет никаких элементов данных (например, int i;) тогда, лязгают, gcc, и ICC возвращает тот же адрес для reinterpret_cast что касается static_cast, тогда как MSVC все еще не делает.