理性类和移动语义不起作用

Rational class and Move Semantics not working

本文关键字:语义 不起作用 移动 理性      更新时间:2023-10-16

我试图在问题中为已经给定的类(@Aak的答案)添加更多功能:如何输出分数而不是十进制数? 用于打印numerator / denominator分数。

首先,给定的代码在代码中没有任何更改的情况下无法工作。然后我在进行一些更改后使其工作。但是,我的实现给了我错误的输出。

例如:

input: A = 3;
B = 3;
Output: 9/1
9
instead of: 1

以下是完整的实现:

#include <iostream>
/********************** Rational class **********************************/
class Rational
{
private:
int m_numerator, m_denominator;
private:
inline void simplificate()
{
int commondivisor = 1;
for(int i=2;i<= std::min(abs(m_numerator), abs(m_denominator));i++)
if( m_numerator%i == 0 && m_denominator%i == 0 )
commondivisor = i;
m_numerator /= commondivisor;
m_denominator /= commondivisor;
}
public:
Rational()                                  // Defualt
:m_numerator(1), m_denominator(1)
{}
Rational(const int& num, const int& den=1)  // Parameterized
:m_numerator(num), m_denominator(den)
{}
Rational(const Rational& other)             // Copy
:m_numerator(other.m_numerator), m_denominator(other.m_denominator)
{}
/*Rational(Rational&& other)                  // Move
:m_numerator(other.m_numerator), m_denominator(other.m_denominator)
{}*/
~Rational(){}
Rational& operator/ (const int& divisor)
{
m_denominator *= divisor;
simplificate();
return *this;
}
Rational& operator/ (const Rational &divisor)
{
m_numerator *= divisor.m_numerator;
m_denominator *= divisor.m_denominator;
simplificate();
return *this;
}
const double getrealformat()const
{
return  static_cast<double>(m_numerator)/
static_cast<double>(m_denominator);
}
friend double operator/ (Rational& obj, const int& divisor);
friend void printRational(Rational& obj, const int& A, const int& B);
friend void printRational(Rational& obj, const int&& A, const int&& B);
};
/************************** Friend functions ********************************/
double operator/ (Rational& obj, const int& divisor)
{
obj.m_denominator *= divisor;
obj.simplificate();
return obj.getrealformat();
}
void printRational(Rational& obj, const int& A, const int& B)   // lvalue
{
Rational r1(A), r2(B);
obj = r1/r2;
std::cout<<obj.m_numerator<<'/'<<obj.m_denominator<<std::endl;
std::cout<<obj.getrealformat()<<std::endl;
}
void printRational(Rational& obj, const int&& A, const int&& B)  // rvalue
{
Rational r1(A), r2(B);
obj = r1/r2;
std::cout<<obj.m_numerator<<'/'<<obj.m_denominator<<std::endl;
std::cout<<obj.getrealformat()<<std::endl;
}
/*****************************************************************************/
int main()
{
Rational obj;
printRational(obj, 3,3);
return 0;
}

问题 - 1:逻辑看起来不错,但我不知道为什么我得到错误的答案。有人能找到问题吗?

问题 - 2:我已经为类编写了"Move"构造函数,您可以在注释部分找到它。但是,由于以下错误,我无法使用它:

D:ProgrammingC++CPP ProgramsClass - FractionsClass - Fractions.cpp|70|error: use of deleted function 'Rational& Rational::operator=(const Rational&)'|
D:ProgrammingC++CPP ProgramsClass - FractionsClass - Fractions.cpp|77|error: use of deleted function 'Rational& Rational::operator=(const Rational&)'|

(据我所知,每当它被调用时,移动的对象/实例都会被销毁。

任何人都可以帮助我实现此类的 Move 构造函数吗?

查看您的operator/()

Rational& operator/ (const Rational &divisor)
{
m_numerator *= divisor.m_numerator;
m_denominator *= divisor.m_denominator;
simplificate();
return *this;
}

此代码对于operator*()是正确的,而不是对operator/()正确的。

m_numerator *= divisor.m_denominator;
m_denominator *= divisor.m_numerator;

但更糟糕的是,您operator/()修改对象。

您的代码(更正的开关分子和分母)对于operator/=()是正确的,而不是对于应该返回新对象的operator/()是正确的。

我建议如下

Rational& operator/= (const Rational &divisor)
{
m_numerator *= divisor.m_denominator;
m_denominator *= divisor.m_numerator;
simplificate();
return *this;
}
friend Rational operator/ (Rational A, Rational const & B);

而且,在课外,

Rational operator/ (Rational A, Rational const & B)
{ return A/=B; }

关于问题 2("我已经为类编写了"移动"构造函数,[...]但是,由于以下错误,我无法使用它"),您可以在此页面中看到

如果满足以下任一条件,则类 T 的隐式声明的复制赋值运算符定义为已删除:

  • T 有一个用户声明的移动构造函数;
  • T 具有用户声明的移动分配运算符。

因此,在定义移动构造器时,将删除隐式复制运算符。

您可以解决问题添加

Rational & operator= (Rational const &) = default;

重新激活隐式复制构造函数