Могу я привести пример из реальной жизни, где приведение через void * работает, а reinterpret_cast - нет?

реальные примеры, когда приведение через void * работает, а reinterpret_cast - нет

Если я интерпретирую это предложение как приведение через void* работает , чтобы помочь мне избежать неопределенного поведения, а reinterpret_cast - нет, то ниже приводится пример.

reinterpret_cast<TYPE*&> (ссылка на указатель) может нарушить строгое правило псевдонима (это происходит, по крайней мере, для g ++) и приведет к неопределенному поведению. Демо.

Однако static_cast<void*&> приведет к ошибке компилятора и избавит вас от такого неопределенного поведения. Демо.

Я видел такое использование в умном указателе:

template<class TYPE>
struct SmartPointer
{
  void *p;
  TYPE& operator ++ ()
  {
    (reinterpret_cast<TYPE*&>(p))++;  // breaking strict aliasing rule
    return *this;
  }
}

приведение из T1 * к несвязанному T2 * с reinterpret_cast не менее определено, чем с static_cast. Фактически, когда и T1, и T2 являются стандартными типами макета, он работает одинаково (см. 5.2.10 / 7):

Когда prvalue v типа «указатель на T1» преобразуется в тип «указатель на cv T2», результатом будет static_cast ‹cv T2 *› (static_cast ‹cv void *› (v))

Для нестандартных типов макета результат преобразования не указан, но он также не указан для static_cast.

Я думаю, вы можете получить разницу только при приведении типов, не являющихся указателями, в таких искусственных случаях, как это:

struct Foo
{
};

struct Bar
{
    operator void*()
    {
        return 0;
    }
};

int main ()
{
  Bar b;
  Foo * p1 = static_cast<Foo*>(static_cast<void *>(b)); // ok, Bar::operator void* -> static_cast
  Foo * p2 = reinterpret_cast<Foo*>(b); // error, no conversion from Bar to Foo*.
}