• Home
• Syllabus
• Schedule
• Checkin
• Scores
• Homework
  • HW0
  • HW1
  • HW2
  • HW3
  • HW4
  • HW5
  • HW6
  • HW7
  • HW8
• Examples
• Piazza
• Slides
• Other Info

Show Lecture.CopyElision as a slide show.

CS253 Copy Elision

• “elision”
• “removal”
• “omission”
• “elimination”
• “suppression”

The Loud Class

The following examples use our class Loud, which displays a message for every method invoked.

#include "Loud.h"

int main() {
    Loud alpha;
}

Loud::Loud()
Loud::~Loud()

No surprise, here. alpha got created & destroyed.

More Construction

#include "Loud.h"

int main() {
    Loud beta, gamma;
}

Loud::Loud()
Loud::Loud()
Loud::~Loud()
Loud::~Loud()

Sure.

Copy ctor & assignment

#include "Loud.h"

int main() {
    Loud delta;
    Loud epsilon(delta);
    delta=epsilon;
}

Loud::Loud()
Loud::Loud(const Loud &)
Loud::operator=(const Loud &)
Loud::~Loud()
Loud::~Loud()

As expected.

More copying

#include "Loud.h"

Loud foo() {
    Loud zeta;
    return zeta;
}

int main() {
    Loud eta(foo());
}

Loud::Loud()
Loud::~Loud()

• Hey, wait. Where’s the copy ctor?
• Two distinct objects, zeta and eta, should have been created.
• They weren’t.

Ludicrous copying

#include "Loud.h"

int main() {
    Loud theta = Loud(Loud(Loud(Loud(Loud(Loud(Loud(Loud())))))));
}

Loud::Loud()
Loud::~Loud()

There should be more than that.

Elision

#include "Loud.h"
Loud foo() {
    Loud iota;
    return iota;
}

int main() {
    Loud kappa(foo());
}

Loud::Loud()
Loud::~Loud()

• The compiler is allowed (sometimes required) to elide (suppress, omit) ctors, copy ctors, and dtors, even if the methods have side effects, like the Loud class.
• Another way to view it: the compiler can assume that ctors, copy ctors, and dtors only do creation/copying/destruction, even if they don’t (as in Loud).
• This is efficient. Copying takes time & space.
• There is no variable iota. Instead, the ctor in foo() constructs directly in kappa. No copying; it’s built in the right place.

Parameter Passing

• For this to make sense, we have to understand how parameters & results are passed to & from functions.
• How does something get passed as an argument?
  • On the stack, or in a register?
  • A double?
  • A double *?
  • An array of double?
  • A std::string?
  • A const std::string &?
• How does a a function return an int?
  • A std::string?

Parameter Passing

When a function returns an non-scalar object, compilers typically pass a hidden argument to the result.

// User code:
string tv() {
   string s="SNL";
   return s;
}

int main() {
   string fav=tv();


   cout << fav;
}

SNL

// Implementation:
void tv(string &out) {
   string s="SNL";
   out=s;
}

int main() {
   string result;
   tv(result);
   string fav=result;
   cout << fav;
}

SNL

// After optimization:
void tv(string &out) {
   out="SNL";

}

int main() {
   string fav;
   tv(fav);

   cout << fav;
}

SNL

All thanks to copy elision!

User: Guest