C++ Tutorial => Named return value elision

Example

If you return an lvalue expression from a function, and this lvalue:

represents an automatic variable local to that function, which will be destroyed after the return
the automatic variable is not a function parameter
and the type of the variable is the same type as the function's return type

If all of these are the case, then the copy/move from the lvalue can be elided:

std::string func()
{
  std::string str("foo");
  //Do stuff
  return str;
}

More complex cases are eligible for elision, but the more complex the case, the less likely the compiler will be to actually elide it:

std::string func()
{
  std::string ret("foo");
  if(some_condition)
  {
    return "bar";
  }
  return ret;
}

The compiler could still elide ret, but the chances of them doing so go down.

As noted earlier, elision is not permitted for value parameters.

std::string func(std::string str)
{
  str.assign("foo");
  //Do stuff
  return str; //No elision possible
}

PDF - Download C++ for free

Previous Next