C++ Insights

Source:

#include <cstdio>
#include <iostream>

struct Xray
{
  Xray(std::string value)
    : mValue(std::move(value))
  {
      std::cout << "Xray ctor, value is " << mValue << std::endl;
  }
  
  Xray(Xray&& other)
    : mValue(std::move(other.mValue))
  {
      std::cout << "Xray&& ctor, value is " << mValue << std::endl;
  }
  
  Xray(const Xray& other)
    : mValue(other.mValue)
  {
      std::cout << "Xray const& ctor, value is " << mValue << std::endl;
  }
  
  ~Xray()
  {
      std::cout << "~Xray dtor, value is " << mValue << std::endl;
  }
  
  std::string mValue;
};

const Xray& foo() 
{ 
    return Xray("1"); 
}

int main()
{
  // Все примеры ниже - неверные. Время жизни не будет продлено.
  const Xray& _1= foo(); // Висячая ссылка

auto _2 = foo(); // Тип Xray. Значение с неопределённым содержимым в Xray::mValue.
  const auto& _3 = foo(); // Тип const Xray&, висячая ссылка
  auto&& _4 = foo();      // Тип const Xray&, висячая ссылка

decltype(auto) _5 = foo();  // Тип const Xray&, висячая ссылка
  decltype(foo()) _6 = foo(); // Тип const Xray&, висячая ссылка
}

Source:

Insight:

Console: