C++中Vector对象比较失败：为何0.0初始化后出现极小值？

排查步骤 #

• 启用clang高等级警告：编译时添加-Wall -Wextra参数，clang会直接抛出成员变量未初始化的警告，比如：

  warning: member 'Vector::x' is uninitialized when used here [-Wuninitialized]
  

  这会直接定位到构造函数的问题，不用纠结隐式转换的猜想。
• 打印成员变量验证：临时在operator==里加打印代码，输出两个对象的x、y值：

  bool Vector::operator==(const Vector &rhs) const
  {
    std::cout << "this x: " << x << ", rhs x: " << rhs.x << "\n";
    std::cout << "this y: " << y << ", rhs y: " << rhs.y << "\n";
    return x == rhs.x && y == rhs.y;
  }
  

  运行后会看到这些值是完全随机的垃圾数，直接推翻“0.0隐式转换为随机值”的误解。
• 检查构造函数逻辑：你的构造函数只声明了形参，但完全没给类的成员变量x、y赋值，导致对象创建时成员变量保留栈内存的随机值，自然没法相等。

修正方案 #

有两种标准的修正方式，推荐第二种：

方式1：构造函数体内赋值 #

修改构造函数，把形参的值赋给成员变量：

// 在Vector.h或Vector.cpp中实现
Vector(double x = 0.0, double y = 0.0) {
    this->x = x;
    this->y = y;
}

用this->x明确区分成员变量和同名形参。

方式2：成员初始化列表（更高效） #

C++推荐用初始化列表直接初始化成员变量，避免先默认初始化再赋值的额外开销：

// 在Vector.h或Vector.cpp中实现
Vector(double x = 0.0, double y = 0.0) : x(x), y(y) {}

冒号后的x(x)表示用形参x初始化成员变量x，编译器会在对象创建时直接给成员变量赋值，是更规范的写法。

修正后重新编译运行，assert会顺利通过，两个默认构造的Vector对象成员都会被正确初始化为0.0，比较结果为true。

内容的提问来源于stack exchange，提问作者Exchange_programming