C++ оператор не найден

Question

Не мог бы кто-нибудь рассказать мне, почему это не работает? У меня создалось впечатление, что C++ автоматически передает ссылку на результат функции return-by-value на конструктор, но он жалуется, что никакой соответствующий оператор не может быть найден.

class bucket_string { 
     public: 
      bucket_string(); 
      bucket_string(bucket_string & rhs); 
      bucket_string & operator=(bucket_string & rhs); 
      virtual ~bucket_string(); 

      bucket_string substr(iterator start, iterator end){ 
         bucket_string b(str); 
         return b; 
        } 
}; 



bucket_string bs("the quick brown fox jumps over the lazy dog"); 
bucket_string bs1 = bs.substr(bs.begin(), bs.end()); 

возвращает следующее сообщение об ошибке:

error: no matching function for call to ‘bucket_string::bucket_string(bucket_string)’ 
note: candidates are: bucket_string::bucket_string(bucket_string&) 
     bucket_string::bucket_string() 

Answer 1

В C++, временные значения не может быть связаны с неконстантными ссылками.

Функция bucket_string substr(iterator start, iterator end) возвращает временный, и ваш оператор-конструктор/присваивание принимает неконстантную ссылку в качестве параметра, следовательно, вашу проблему.

Таким образом, вам необходимо добавить отсутствующий спецификатор const в свой конструктор и оператор присваивания. Как так:

bucket_string(const bucket_string& rhs); 
bucket_string& operator=(const bucket_string& rhs); 

Вот interesting discussion на эту тему для лучшего понимания.

На стороне примечания, и если C++ 11 является опцией, вы также можете сделать свой класс подвижным. Это позволит перевести внутренние ресурсы вашего временного объекта в другой экземпляр. Нам не хватает контекста, чтобы сказать, хорошо ли это в вашей ситуации.

Вы бы тогда реализовать эти методы:

bucket_string(bucket_string&& other); 
bucket_string& operator=(bucket_string&& other); 

Answer 2

Положите несколько const.

bucket_string(const bucket_string & rhs); 
       ^^^^^ 
bucket_string & operator=(const bucket_string & rhs); 
          ^^^^^ 

Вы передаете временные значения const конструктору. Компилятор ищет конструктора, который accpets const ссылки:

bucket_string bs("the quick brown fox jumps over the lazy dog"); 

Answer 3

Код перемешивает значения и ссылки семантику таким образом, что не работает. substr возвращает значение по значению, но конструктор принимает параметр с помощью неконстантной ссылки. Будучи непостоянным, указывает, что параметр будет рассматриваться как модифицируемый объект, а не чистое значение. Язык запрещает использование ссылок таким образом. Настройте оператор присваивания, поэтому он не может изменить свой аргумент:

 bucket_string & operator=(bucket_string const & rhs); 

Это работает, потому что C++ позволит временный объект (например, возвращаемое значение функции), чтобы пропустить через const ссылки.

Если вы действительно хотите изменить источник операции присваивания, то C++ предлагает решение в ссылках rvalue. Вместо const & используйте &&. Но назначение больше не будет идемпотентным, поэтому его можно было бы называть назначением перемещения, и вам понадобится альтернативный синтаксис при использовании , а не - временные объекты.