С++: перегрузка ++ для pre и post increment
Можем ли мы перегрузить operator++
для предварительного приращения и пошагового увеличения? т.е. правильно вызывать SampleObject++
и ++SampleObject
.
class CSample {
public:
int m_iValue; // just to directly fetch inside main()
CSample() : m_iValue(0) {}
CSample(int val) : m_iValue(val) {}
// Overloading ++ for Pre-Increment
int /*CSample& */ operator++() { // can also adopt to return CSample&
++(*this).m_iValue;
return m_iValue; /*(*this); */
}
// Overloading ++ for Post-Increment
/* int operator++() {
CSample temp = *this;
++(*this).m_iValue;
return temp.m_iValue; /* temp; */
} */
};
Мы не можем перегружать функцию, основанную только на возвращаемом типе, а также даже если считать ее разрешенной, она не решает проблему из-за неоднозначности разрешения вызова.
Так как перегрузка оператора обеспечивается, чтобы встроенные типы велись так же, как пользовательские типы, почему мы не можем одновременно использовать как до, так и пост приращения для наших собственных типов.
Ответы
Ответ 1
Постфиксная версия оператора приращения принимает фиктивный параметр int
для устранения двусмысленности:
// prefix
CSample& operator++()
{
// implement increment logic on this instance, return reference to it.
return *this;
}
// postfix
CSample operator++(int)
{
CSample tmp(*this);
operator++(); // prefix-increment this instance
return tmp; // return value before increment
}
Ответ 2
Стандартный шаблон для предварительного инкремента и пост-приращения для типа T
T& T::operator++() // pre-increment, return *this by reference
{
// perform operation
return *this;
}
T T::operator++(int) // post-increment, return unmodified copy by value
{
T copy(*this);
++(*this); // or operator++();
return copy;
}
(Вы также можете вызвать общую функцию для выполнения приращения, или если это простой однострочный, как ++, для элемента, просто сделайте это в обоих случаях)
Ответ 3
почему мы не можем одновременно использовать до и после приращения для наших собственных типов.
Вы можете:
class CSample {
public:
int m_iValue;
CSample() : m_iValue(0) {}
CSample(int val) : m_iValue(val) {}
// Overloading ++ for Pre-Increment
int /*CSample& */ operator++() {
++m_iValue;
return m_iValue;
}
// Overloading ++ for Post-Increment
int operator++(int) {
int value = m_iValue;
++m_iValue;
return value;
}
};
#include <iostream>
int main()
{
CSample s;
int i = ++s;
std::cout << i << std::endl; // Prints 1
int j = s++;
std::cout << j << std::endl; // Prints 1
}
Ответ 4
[N4687]
16.5.7
Пользовательская функция с именем operator++ реализует оператор префикса и постфикса ++. Если эта функция является нестатической функцией-членом без параметров или не-функцией с одним параметром, она определяет приращение префикса operator++ для объектов этого типа. Если функция является нестатической функцией-членом с одним параметром (который должен иметь тип int) или функцией, не являющейся членом, с двумя параметрами (второй из которых должен иметь тип int), она определяет оператор приращения постфикса ++ для объектов этого типа. Когда приращение постфикса вызывается в результате использования оператора ++, аргумент int будет иметь нулевое значение
Пример:
struct X {
X& operator++(); // prefix ++a
X operator++(int); // postfix a++
};
struct Y { };
Y& operator++(Y&); // prefix ++b
Y operator++(Y&, int); // postfix b++
void f(X a, Y b) {
++a; // a.operator++();
a++; // a.operator++(0);
++b; // operator++(b);
b++; // operator++(b, 0);
a.operator++(); // explicit call: like ++a;
a.operator++(0); // explicit call: like a++;
operator++(b); // explicit call: like ++b;
operator++(b, 0); // explicit call: like b++;
}
Ответ 5
#include<iostream>
using namespace std;
class increment{
int a;
public:
increment(int x)
{ a=x; }
void operator ++(){
cout<<"pre-increment:";
cout<<++a;}
void operator ++(int){ /*post version of increment operator takes int as a dummy parameter*/
cout<<endl<<"post-increment:";
cout<<a++;}
};
int main(){
increment o1(4);
increment o2(4);
++o1; //pre-increment
o2++; //post-increment
}
ВЫВОД:
Преинкремент: 5
пост-инкремент: 4