static_cast的神秘行为

Question

我正在尝试实现一类数字矢量。 我正在使用Qt模板QVector，它类似于STL向量

typedef float ArithmeticF;
typedef QVector<ArithmeticF> VectorFloat;

class VectorF : public VectorFloat
{
/// appends the rightSide to the end
VectorF& operator << (const VectorF& rightSide);
}

令我困惑的是那件事

VectorF& VectorF::operator << (const VectorF& rightSide)
{
static_cast<VectorFloat>(*this) <<  static_cast<VectorFloat>(rightSide);
return *this;
}

根本不起作用。 我尝试逐行调试它，并且根本没有调用VectorFloat :: operator <<。 没有错误，程序编译并运行，但什么都不做。 但这有效：

VectorF& VectorF::operator << (const VectorF& rightSide)
{
VectorFloat a = static_cast<VectorFloat>(*this);
VectorFloat b = static_cast<VectorFloat>(rightSide);
a << b;
*this = VectorF(a);
return *this;
}

我很好奇为什么会这样。 我试图深入研究static_cast命令，但我无法弄明白。

请帮我。

Answer 1

您正在转换为值类型VectorFloat ，它会生成*this对象的副本并将<<运算符应用于它。 这个临时物体被迅速摧毁，因此无法观察到任何影响。

您应该VectorFloat&转换为参考VectorFloat& ：

static_cast<VectorFloat&>(*this) <<  static_cast<VectorFloat>(rightSide);

第二个例子有效的事实很容易解释。 你是存储在复制的对象a变量，而你正在重建的VectorF在此基础上修改后的副本。 有太多的操作在这个过程中完成（转换为VectorFloat ，转换回VectorF ，赋值给*this ），但在实践中它可以工作。