为何传递const引用仍会触发Vector的拷贝构造函数？

先看匹配你场景的典型最小可复现代码：

#include <iostream>

class Vector {
public:
    Vector() { std::cout << "Vector 默认构造函数\n"; }
    Vector(const Vector& other) { std::cout << "Vector 拷贝构造函数\n"; }
};

class Particle {
private:
    Vector pos; // 成员变量是值类型的Vector
public:
    // 构造函数接收const引用参数
    Particle(const Vector& position) : pos(position) {}
};

int main() {
    Vector v;
    Particle p(v);
    return 0;
}

运行输出通常为：

Vector 默认构造函数
Vector 拷贝构造函数

核心原因 #

你看到拷贝构造被触发，本质是Particle的成员变量pos是Vector的值类型，而非引用类型。虽然构造函数的参数const Vector&避免了参数传递阶段的拷贝，但初始化成员变量pos时，必须用传入的引用对象来拷贝构造一个新的Vector实例——这是值类型成员的固有特性：它需要拥有独立的对象内存，不会共享外部传入对象的内存。

其他可能的触发场景 #

如果你的代码中是用临时Vector对象初始化Particle（比如Particle p(Vector{});），在C17之前，编译器可能会执行拷贝构造（即使理论上可以优化）；C17及之后引入了保证拷贝消除，这种场景下不会触发拷贝，但如果你的编译器版本较旧或未开启优化，仍可能看到拷贝构造的输出。

解决办法 #

如果想避免这个拷贝操作，可根据场景选择以下方案：

1. 将成员变量改为引用类型：把Vector pos;改为const Vector& pos;，但必须保证被引用的Vector对象生命周期长于Particle对象，否则会出现悬空引用问题（比如不能用临时对象初始化这种Particle）。
2. 使用移动语义：给Vector添加移动构造函数，当传入临时对象时，会调用开销更低的移动构造而非拷贝构造：

   Vector(Vector&& other) noexcept { 
       std::cout << "Vector 移动构造函数\n"; 
       // 这里可以转移资源，比如指针、容器等
   }
   

3. 就地初始化成员：给Particle提供直接初始化Vector成员的构造函数，跳过外部传递Vector的步骤：

   Particle(double x, double y, double z) : pos(x, y, z) {}
   

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