18

I try to find address of this pointer, but this code is showing a strange error:

#include <iostream>
using namespace std;
class Base
{
    public:
        void test()
        {
            void *address_of_this =&this;
            cout<<address_of_this<<endl;
        }
};

int main()
{   Base k;
    k.test();

    return 0;
}   //error non-lvalue in unary'&'   

Can you explain this error ?
Also point that what is illegal in taking address of this?

1
  • Try adding a space after the = sign
    – Alexander
    Feb 2, 2012 at 15:28

4 Answers 4

43

this is a pointer containing the address to the "current object". It is not a variable that is stored somewhere (or could even be changed), it is a special keyword with these properties.

As such, taking its address makes no sense. If you want to know the address of the "current object" you can simply output:

std::cout << this;

or store as

void* a = this;
3
  • 2
    Finally.. the voice of reason.
    – Mankarse
    Feb 2, 2012 at 15:33
  • 8
    In standardese: this is an rvalue (and not of class type), so it doesn't have an address. Feb 2, 2012 at 15:48
  • 1
    In Standardese again, this is prvalue - pure-rvalue.
    – Xupicor
    Oct 27, 2015 at 10:24
8

Quoting the 2003 C++ standard:

5.1 [expr.prim] The keyword this names a pointer to the object for which a nonstatic member function (9.3.2) is invoked. ... The type of the expression is a pointer to the function’s class (9.3.2), ... The expression is an rvalue.

5.3.1 [expr.unary.op] The result of the unary & operator is a pointer to its operand. The operand shall be an lvalue or a qualified_id.

To put it simply, & requires an lvalue. this is an rvalue, not an lvalue, just as the error message indicates.

0

this refers to the current object by using it's address.

In your problem, there are two errors:

  • this is not an lvalue.

    The & requires an lvalue. lvalues are those that can appear on on the left-hand side of an assignment (variables, arrays, etc.).

    Whereas this is a rvalue. rvalues can not appear on the left-hand side (addition, subtraction, etc.).

    Reference: C++ Rvalue References Explained.

  • A hidden error which I'd like to also mention is thus:

    address_of_this is actually receiving an address of an address.

    Basically, &this is translated into something like &&object or &(&object).

Basically, think of this as &object (but only to remember because it is not that true).

1
  • It isn't very clear, what you wanna imply in your 2nd error.
    – Shubham
    Jan 8, 2021 at 17:53
0

this is a prvalue.

In other words, it's computed on the fly when needed, and not stored in the memory otherwise. Thus it doesn't have a persistent address/location for you to take.

2
  • That something does not have a persistent address/location for one to take need not be reason enough not to take its address. A vector could get reallocated and .data() does offer its current address .
    – Tryer
    Sep 10 at 10:45
  • 1
    @Tryer Ultimately, inability to take addresses of rvalues is an arbitrary language limitation, desiged to prevent you from shooting yourself in the foot. Nothing would stop us from defining & to materialize prvalues into xvalues, which actually exist in memory, and then allowing & to work on xvalues. It would just be hard to use safely, because the resulting pointer would become dangling at the end of the full-expression that produced it. Here's an interesting example: gcc.godbolt.org/z/Mvqvc7836 Sep 10 at 12:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.