3

Рассмотрим следующий код (реальный код несколько сложнее и находится под NDA):

class NonMovable
{
  public:
  NonMovable() = default;
  NonMovable(const NonMovable&) noexcept = default;
  NonMovable(NonMovable&&) noexcept = delete;
  NonMovable& operator=(const NonMovable&) noexcept = default;
  NonMovable& operator=(NonMovable&&) noexcept = delete;
  // ...
};

NonMovable SomeFunction()
{
  NonMovable nonMovable;
  // ...
  return nonMovable;// Error, NonMovalbe(NonMovable&&) is deleted.
}

Я не могу понять, почему возникает эта ошибка. У NonMovable есть стандартный конструктор копирования, но компилятор пытается вызвать конструктор перемещения, который удален.

Является ли это ошибкой компилятора? Или, может быть, возможен еще какой-то фактор, который принуждает компилятор к такому решению?

Вот так это выглядит. Ошибка наблюдается на разных версиях Visual Studio и компиляторов. введите сюда описание изображения

7
  • Какой стандарт языка используется? Это может быть важным.
    – αλεχολυτ
    19 мар 2021 в 9:52
  • Используется C++17.
    – MGNeo
    19 мар 2021 в 9:52
  • Передача результата из функций реализована всегда переносом. А вы это запретили.
    – AlexGlebe
    19 мар 2021 в 9:54
  • @AlexGlebe, разве не является перенос просто более предпочтительным, чем копирование, но вовсе не обязательным? Иначе говоря, если перенос возможен - то он выполняется, в противном случае выполняется копирование?
    – MGNeo
    19 мар 2021 в 9:56
  • Ваш класс называется "Не переносимый". Значит передача через стек переносом запрещается в вашем проекте. Остаётся только реализовать в куче с помощью new.
    – AlexGlebe
    19 мар 2021 в 10:01

2 ответа 2

3

В С++17 ввели правило, по которому для возвращаемых безымянных объектов конструктор копирования или перемещения не должен вызываться и даже не обязан быть объявлен. Это такая обязательная оптимизация (RVO - return value optimization), даже если в теле конструктора выполняется какой-то видимый код. Однако, в вашем случае объект не безымянный (не создан при вызове return), а значит, правило RVO не применимо. В данном случае может происходить оптимизация NRVO - Named RVO, но её исполнение не стандартизовано.

Для устранения ошибки в вашем случае можно просто обернуть имя возвращаемой переменной в фигурные скобки, вызвав тем самым конструктор копирования до return. Но а при return уже сработает обязательная оптимизация RVO:

return {nonMovable};

Похоже, что вариант с фигурными скобками (list-initialization) не работает должным образом в msvc (по-прежнему хочет вызвать конструктор перемещения), и нужно явно указать вызов копирующего конструктора.

return NonMovable(nonMovable);

Clang, GCC устраивают оба варианта.

Вообще, стоит заметить, что при наличии копирующего конструктора в классе, автоматической генерации перемещающего конструктора не происходит. Т.е. если убрать эти строки:

NonMovable(NonMovable&&) noexcept = delete;
NonMovable& operator=(NonMovable&&) noexcept = delete;

класс не станет вдруг перемещаемым, а останется по-прежнему "NonMovable". И в этой ситуации msvc будет вполне корректно себя вести даже с первичным вариантом кода.

7
  • Ага, то есть, все же проблема вызвана особенностями реализации компилятора? Я так и думал!
    – MGNeo
    19 мар 2021 в 10:08
  • Попробовал вариант со скобками - он проблему не решил.
    – MGNeo
    19 мар 2021 в 10:19
  • Удалось, причем при использовании круглых скобок return NonMovable(nonMovable).
    – MGNeo
    19 мар 2021 в 10:25
  • @MGNeo странно, что с фигурными не сработало, по идее вызывается тот же самый конструктор копирования. Можете привести код, который зафейлился с {}?
    – αλεχολυτ
    19 мар 2021 в 11:19
  • проверял, в студии не работает с фигурными скобками
    – KoVadim
    19 мар 2021 в 11:19
0

Если не определить NonMovable(NonMovable&&) явно и не поставить NonMovable(NonMovable&&) = default, то конструктор перемещения не будет создан, а будет использоваться конструктор копирования. = delete применять к конструктору перемещения бессмысленно.

И даже если написать NonMovable(NonMovable&&) = default; то конструктор копирования по умолчанию будет представлять из себя побайтовое копирование данных.

Можно и нужно эту строку убрать.

1
  • 1
    можно. но ведь сделали так не случайно. Иногда нужно явно показать, что вот эти конструкторы/операторы нужны, а вот эти нет.
    – KoVadim
    24 мар 2021 в 10:19

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.