Но разве после получения новой a+b старые a b не будут подчищены?
существует такой момент, в котором в памяти присутствуют a, b и аллоцированный a+b, в который и идет копирование данных. после окончания процесса а и b подчищаются, возвращается реф на a+b. но в момент процесса x 2 памяти. Есть кое какие исключения во всех этой чехарде, но про них как раз и задачка