3

在他的 The C++ Programming Language Stroustrup 中给出了 inc/dec 重载的以下示例:

class Ptr_to_T {
    T* p;
    T* array ;
    int size;
public:
    Ptr_to_T(T* p, T* v, int s); // bind to array v of size s, initial value p
    Ptr_to_T(T* p); // bind to single object, initial value p
    Ptr_to_T& operator++(); // prefix
    Ptr_to_T operator++(int); // postfix
    Ptr_to_T& operator--(); // prefix
    Ptr_to_T operator--(int); // postfix
    T&operator*() ; // prefix
}

为什么前缀运算符按引用返回,而后缀运算符按值返回?

谢谢。

4

3 回答 3

17

后缀运算符在值递增之前返回值的副本,因此它几乎必须返回一个临时值。前缀运算符确实返回对象的当前值,因此它可以返回对其当前值的引用。

于 2009-01-21T14:34:19.650 回答
8

为了更好地理解,您必须想象(或查看)这些运算符是如何实现的。通常,前缀 operator++ 或多或少会这样写:

MyType& operator++()
{
    // do the incrementation
    return *this;
}

由于this已“就地”修改,我们可以返回对实例的引用以避免无用的复制。

现在,这是后缀运算符++的代码:

MyType operator++(int)
{
    MyType tmp(*this); // create a copy of 'this'
    ++(*this); // use the prefix operator to perform the increment
    return tmp; // return the temporary
}

由于后缀运算符返回一个临时值,它必须按值返回它(否则,您将获得一个悬空引用)。

C++ Faq Lite也有一个关于这个主题的段落。

于 2009-01-21T14:48:02.057 回答
0

假设我使用重载的预增量来增加一个私有成员。返回对私有成员的引用不会将 ++private_var 表达式转换为左值,从而可以直接修改私有成员吗?

于 2009-01-21T15:07:47.727 回答