关于deprecated-copy-with-user-provided-copy警告的解决方案咨询

编译时出现如下警告：

warning: definition of implicit copy constructor for 'Vec<double, 3>' is deprecated because it has a user-provided copy assignment operator [-Wdeprecated-copy-with-user-provided-copy]
        Vec &operator=(const Vec &t)
             ^
...test_temp.cpp:86:17: note: in implicit copy constructor for 'Vec<double, 3>' first required here
    auto vadd = v1 + v2;
                ^
1 warning generated.

我定义了一个基于模板的Vec类，遇到上述编译警告后，不确定该遵循何种最佳实践：是将拷贝赋值运算符标记为默认实现，还是添加-Wno-deprecated-copy-with-user-provided-copy禁用警告？是否还有其他解决方案？

测试文件代码如下：

#include <iostream>
#include <assert.h>

template <typename T, uint Size>
class Vec
{
public:
    static const int NUM_COMPONENTS = Size;
    T Components[NUM_COMPONENTS];
    Vec() {}
    Vec(T init)
    {
        for (uint i = 0; i < this->NUM_COMPONENTS; i++)
        {
            this->Components[i] = init;
        }
    }

    Vec<T,Size> operator+(const Vec &t) const
    {
        assert(this->NUM_COMPONENTS == t.NUM_COMPONENTS);
        Vec<T,Size> result;
        for (uint i = 0; i < this->NUM_COMPONENTS; i++)
        {
            result[i] = this->Components[i] + t.Components[i];
        }
        return result;
    }

    Vec<T,Size> operator-(const Vec &t) const
    {
        assert(this->NUM_COMPONENTS == t.NUM_COMPONENTS);
        Vec<T,Size> result;
        for (uint i = 0; i < this->NUM_COMPONENTS; i++)
        {
            result[i] = this->Components[i] - t.Components[i];
        }
        return result;
    }

    T &operator[](uint index)
    {
        assert(index >= 0);
        assert(index < this->NUM_COMPONENTS);
        return this->Components[index];
    }
    
    const T &operator[](uint index) const
    {
        assert(index >= 0);
        assert(index < this->NUM_COMPONENTS);
        return this->Components[index];
    }

    Vec<T,Size> &operator=(const Vec<T,Size> &t)
    {
        assert(this->NUM_COMPONENTS == t.NUM_COMPONENTS);
        for (uint i = 0; i < this->NUM_COMPONENTS; i++)
        {
            this->Components[i] = t.Components[i];
        }
        return *this;
    }
    void Show()
    {
        for (int i = 0; i < this->NUM_COMPONENTS; i++)
        {
            printf("%lf ", 1.0 * this->Components[i]);
        }
        printf("\n");
    }
};

int main() {
    Vec<double, 3> v1;
    for (int i = 0; i < 3; i++)
    {
        v1[i] = 2.0;
    }
    Vec<double, 3> v2;
    for (int i = 0; i < 3; i++)
    {
        v2[i] = 3.0;
    }
    auto vadd = v1 + v2;
    std::cout << "test";
    vadd.Show();
    return 0;
}

CMake编译选项设置：

set(CMAKE_CXX_FLAGS "-Wall -Wextra -Wpedantic")

解决方案分析 #

核心原因 #

C++17及以后的标准中，当类存在用户提供的拷贝赋值运算符时，编译器隐式生成拷贝构造函数的行为被标记为过时。这是因为手动实现赋值却依赖编译器自动生成构造，容易导致拷贝语义不一致，埋下逻辑漏洞。

最佳实践方案 #

1. 删除手动实现的拷贝赋值运算符

你的operator=实现完全是对数组的逐元素拷贝，和编译器默认生成的拷贝赋值运算符行为完全一致。直接删除该函数，编译器会自动生成符合语义的拷贝构造和拷贝赋值函数，两者行为统一，警告自然消除。

2. 显式默认化特殊成员函数

如果需要明确声明这些特殊成员函数（比如用于文档化或未来扩展），可以用= default显式标记：

// 显式默认拷贝构造函数
Vec(const Vec&) = default;
// 显式默认拷贝赋值运算符
Vec& operator=(const Vec&) = default;

这种方式既符合现代C++规范，又能确保编译器生成的行为符合预期，同时消除警告。

3. 不推荐：禁用警告

添加-Wno-deprecated-copy-with-user-provided-copy确实能消除警告，但这属于掩盖问题而非解决问题，会隐藏潜在的拷贝语义不一致风险，不符合代码质量要求，不推荐使用。

额外优化建议 #

• 无参构造函数Vec()未初始化Components数组，可能导致未定义行为。可以改为Vec() = default;（允许未初始化），或者添加初始化逻辑（比如将数组元素置零）。
• printf("%lf ", 1.0 * this->Components[i]);中，1.0 *会对非浮点类型的T进行不必要的类型转换，建议改用std::cout输出，或者根据T的类型选择合适的格式化方式。

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