What are reference qualifiers for functions?

Question

According to this webpage, a non-static member function can have a trailing & or && in its declaration. They have the following example

struct S {
    virtual int f(char) const, g(int) &&; // declares two non-static member functions
    };

1) Does the signature of the second function include the virtual?

virtual int g(int) &&

2) What is the meaning of the trailing &&?

Please create two different questions for the two different questions in your text. — Stephan Dollberg, Jun 26 '15 at 17:52

score 7 · Accepted Answer · edited May 23 '17 at 11:43

7

struct S {
  virtual int f(char) const, g(int) &&;
};

struct D : S {
  virtual int f(char) const override;
  virtual int g(int) && override;
};

the above code compiles in both g++ and clang. This indicates, at least in practice, that g is virtual in S.

edited May 23 '17 at 11:43

Community

answered Jun 26 '15 at 18:06

2

Good use of `override` there! I was going to confirm by testing if a pointer-to-base would call the correct `g`, but this is much better! – Alejandro Jun 26 '15 at 18:13

1 Answers1