gcc/g++ error 'implicitly-declared' constructor is 'deprecated' 是什么意思?

Whats the meaning of gcc/g++ error 'implicitly-declared' constructor is 'deprecated'?

我正在尝试找出将我的构建系统 OS 和 gcc 版本升级到 9 时出现的错误。我可以用下面的代码演示它。

class Cl {
        private:
                float f;
        public:
        constexpr float GetF() const { return f; }
        Cl& operator=(const Cl& other) {
                f = other.GetF();
                return *this;
        }
        Cl& operator=(const float& other) {
                this->f = other;
                return *this;
        }
        explicit constexpr Cl(const float& val) : f(val) {}
};

struct Sl {
        float x, y;
        Cl lcl;
        constexpr Sl(const float &init_x, const float &init_y, const Cl &cl) : x(init_x), y(init_y), lcl(cl) {}

};

typedef struct Sl sdata;

int main()
{
        const float fx = 30.30;
        Cl c1(fx);
        sdata s1(0, 0.0, c1);
        return 0;
}

编译:

preetam@preetam-Precision-M4800 ~ $ g++-9 -Werror=deprecated-copy dp_test.cc 
dp_test.cc: In constructor ‘constexpr Sl::Sl(const float&, const float&, const Cl&)’:
dp_test.cc:22:101: error: implicitly-declared ‘constexpr Cl::Cl(const Cl&)’ is deprecated [-Werror=deprecated-copy]
   22 |  constexpr Sl(const float &init_x, const float &init_y, const Cl &cl) : x(init_x), y(init_y), lcl(cl) {}
      |                                                                                                     ^
dp_test.cc:8:6: note: because ‘Cl’ has user-provided ‘Cl& Cl::operator=(const Cl&)’
    8 |  Cl& operator=(const Cl& other) {
      |      ^~~~~~~~
cc1plus: some warnings being treated as errors`

错误是什么意思?

我尝试按照此处的建议将以下内容添加到 Cl:

constexpr Cl(const Cl& other) {
    f = other.GetF();
}

导致错误:

preetam@preetam-Precision-M4800 ~ $ g++-9 -Werror=deprecated-copy dp_test.cc 
dp_test.cc: In copy constructor ‘constexpr Cl::Cl(const Cl&)’:
dp_test.cc:10:9: error: member ‘Cl::f’ must be initialized by mem-initializer in ‘constexpr’ constructor
   10 |         }
      |         ^
dp_test.cc:5:9: note: declared here
    5 |   float f;
      |         ^

最终使用以下复制构造函数修复:

constexpr Cl(const Cl& other) : f(other.f) {}

您正在为 lcl(cl) 使用复制构造函数,尽管您没有定义复制构造函数,但您定义了一个用户定义的赋值运算符。您可以通过添加用户定义的构造函数来修复它:

class Cl {
        private:
                float f;
        public:
        constexpr float GetF() const { return f; }
        constexpr Cl(const Cl& other) : f(other.f) { }
        Cl& operator=(const Cl& other) {
                f = other.GetF();
                return *this;
        }
        Cl& operator=(const float& other) {
                this->f = other;
                return *this;
        }
        explicit constexpr Cl(const float& val) : f(val) {}
};

struct Sl {
        float x, y;
        Cl lcl;
        constexpr Sl(const float &init_x, const float &init_y, const Cl &cl) : x(init_x), y(init_y), lcl(cl) {}

};

typedef struct Sl sdata;

int main()
{
        const float fx = 30.30;
        Cl c1(fx);
        sdata s1(0, 0.0, c1);
        return 0;
}

Nitpick:“错误是什么意思?”这不是错误,而是警告。该项目可以编译,应该 运行 符合预期,但当然,问题应该得到解决。

Sl 结构的 lcl 成员在 Sl 的构造函数中初始化。 此初始化暗示了复制构造函数的使用。

但是,正如编译器的消息所述,如果我们提供自己版本的复制赋值运算符,这肯定意味着在这样的复制操作中存在一些微妙的东西,那么复制构造函数应该有可能也被明确提供了。

如果没有提供复制赋值运算符,则认为默认的是合适的,默认的复制构造函数可能也合适。

请注意,您应该始终考虑 rule of five or zero