Особенности работы RVO и NRVO

Дело в том, что при NRVO компилятор может опускать только конструктор копирования, создавая объект сразу по месту вызова, при этом объекты и a1, и a2 он создать обязан, но не может заранее определить, какой из этих временных объектов должен создаваться на месте возвращаемого значения.

Проще говоря, чтобы NRVO работала во всех ветвях функции должен возвращаться один и тот же объект. Рабочий вариант будет выглядеть например так:

#include <iostream>
class A
{
  int x;
  public:
  A(){std::cout<<"A():"<<this<<'\n';}
  A(int x):x(x){std::cout<<"A(int):"<<this<<'\n';}
  A(const A&other){std::cout<<"A(const&):"<<this<<'\n';}
  A(A&&other){std::cout<<"A(const&&):"<<this<<'\n';}
  ~A(){std::cout<<"~A():"<<this<<'\n';}
  setX(int _x){x=_x;std::cout<<"A::setX():"<<this<<'\n';}
};
A createObject_NRVO(int param)
{
    std::cout<<"create Object (NRVO) "<<'\n';
    int 
    A a;
    if(param > 10) {
      a.setX(1);
    } else {
      a.setX(2);
    }
    return a;
}