c++ - C++ Cast的实现

Question

我正在浏览 CodeProject 中的一些代码，并遇到了以下用于 C++ 转换的代码。

template <class OutputClass, class InputClass>
union horrible_union{
    OutputClass out;
    InputClass in;
};
template <class OutputClass, class InputClass>
inline OutputClass horrible_cast(const InputClass input){
    horrible_union<OutputClass, InputClass> u;
    u.in = input;
    return u.out;
}

为什么演员表以上述方式实施。为什么我们不能只进行手动转换。有人可以举一个普通演员何时不起作用的例子吗？

Answer 1

这种方法基本上可以让您摆脱任何强制转换，尽管它依赖于未定义的行为。

在不相关的类型之间进行转换时，正常的转换会抱怨，而这不会。

struct A{};
struct B{};

template <class OutputClass, class InputClass>
union horrible_union{
    OutputClass out;
    InputClass in;
};
template <class OutputClass, class InputClass>
inline OutputClass horrible_cast(const InputClass input){
    horrible_union<OutputClass, InputClass> u;
    u.in = input;
    return u.out;
}

int main()
{
    A a;
    B b;
    a = horrible_cast<A,B>(b);   //this compiles
    a = reinterpret_cast<A>(b);  //this doesn't
} 

底线：这太可怕了，不要这样做。

Answer 2

以这种方式使用联合通常大致相当于硬reinterpret_cast指针。但是，这不会复制对象，您的示例确实如此（事实上，即使使用 RVO 也会复制两次；将其作为参数会更有效const InputClass& input）。因此，您可以直接对其结果进行操作，而无需改变原始对象。

这到底有什么用处……嗯。我不认为有任何真正好的用例，应始终避免未经检查的强制转换，正如大卫哈门所说，这实际上是完全未定义的（尽管如果“正确”使用它通常会起作用）。