C 铸件的实现

Implementation of C++ Cast

本文关键字:实现      更新时间:2023-10-16

我正在通过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;
}

为什么演员阵容以上方式实现。为什么我们不能只是做手动演员。有人可以举个例子说明何时不起作用吗?

这种方法基本上可以让您摆脱任何演员,尽管它依赖于未定义的行为。

在无关类型之间铸造时,普通的演员会抱怨,而这不会。

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
} 

底线:太可怕了,不要做。

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

这对... HM到底有用。我认为没有任何非常好的用例,应该始终避免不受限制的演员阵容,而且正如戴维·哈蒙(David Hammen)所说的那样,这实际上是完全不确定的(尽管通常会使用"正确")。