3

Имеется класс Koords и конструктор копирования для него:

Koords();
Koords(Koords &, unsigned = 0, unsigned = 0);

При этом если объявляю его как explicit, то перестает работать возврат Koords в функции, типа:

Koords fun()
{
     return Koords{};
}

компилятор пишет, что нет подходящего конструктора.. Но какого? Конструктор копирования есть и у него есть Koords & в первом аргументе, так что вроде никаких преобразований и быть не должно. Но мне компилятор говорит обратное...

19
  • 1
    Как насчёт минимальный воспроизводимый пример?
    – αλεχολυτ
    Commented 24 апр. 2018 в 13:58
  • 1
    Если это собирается vc++, то это баг компилятора. Commented 24 апр. 2018 в 14:00
  • @alexolut вверху смотрите. Или пример для вас недостаточно минимальный? Или у вас какие-то проблемы, чтобы его воспроизвести? Commented 24 апр. 2018 в 14:03
  • 1
    Ага, проблема. В fun у вас используется конструктор по умолчанию, но его наличие в коде не указано. Т.е. пример не полный. Идеальный пример, когда код можно просто ctrl+c, ctrl+v и посмотреть на результат. Не додумывая ничего и не склеивая куски из разных частей.
    – αλεχολυτ
    Commented 24 апр. 2018 в 14:07
  • да сдесь обычный Koords() - все. Commented 24 апр. 2018 в 14:08

2 ответа 2

3

В вашем случае подходящего конструктора копирования у вас не уже хотя бы потому, что первый параметр вашего конструктора копирования объявлен как неконстантная lvalue ссылка. Такую ссылку невозможно привязать к временному объекту Koords{}. Поэтому до С++17 (см. ниже) работать это не может в принципе, и explicit тут ни при чем вообще.


Что же касается explicit на конструкторе копирования... Конструктор копирования по определению всегда являлся частным случаем конструктора конверсии. Объявление конструктора копирования как explicit производит на него тот же самый эффект, как и на любой другой "одноаргументный" конструктор. Такой explicit конструктор будет использоваться только в контекстах, соответствующих прямой инициализации (direct-initialization), и не будет использоваться в контекстах, соответствующих копирующей инициализации (copy-initialization)

struct S {
  S() {}
  explicit S(const S&) {}
};

int main()
{
  S s;
  S a(s);  // OK
  S b = s; // Ошибка
}

Возвращение значения из функции через return делается по правилам копирующей инициализации. Поэтому explicit конструктор копирования там использоваться не может

S foo() {
  S s;
  return s; // Ошибка
}

Обратите внимание, что в С++14 ошибочным по той же причине являются и такие варианты

return S(s);
return S();
return S{};

но начиная с С++17 именно эти варианты уже являются корректными из-за guaranteed copy elision.

Что интересно, даже в С++14 корректным является вариант

S foo() {
  return {};
}

но я навскидку не помню, какой "уголок" стандарта делает это возможным.

4
  • разве copy-elision отменяет семантические правила? Commented 26 апр. 2018 в 3:13
  • @Croessmah: Guaranteed copy-elision в С++17 отменяет. То есть в контекстах с guaranteed copy-elision больше нет требования наличия доступного конструктора копирования . Commented 26 апр. 2018 в 3:15
  • благодарю за пояснение. Commented 26 апр. 2018 в 3:25
  • От таких ответов, конечно, больше пользы... Commented 26 апр. 2018 в 7:54
1
  • Очевидно у вас в классе есть поля и не установлен инвариант по умолчанию. Потому у вас ошибка: нет соответствующей функции для вызова в Koords :: Koords(){}
  • Ваш конструктор копирования компилятор не воспринимает как конструктор копирования, во избежании модификации копируемого обьекта (отсутствует спецификатор const). Компилятор может считать это просто как неопределенный конструктор и сообщить, что это неверная инициализация из rvalue типа 'Koords'.

    Это уже вторая ошибка.

Я напишу как надо:

class Koords{    
public:
    Koords() {}
    Koords(const Koords &, unsigned = 0, unsigned = 0);
};

теперь вы можете спокойно возвращать обьект с инициализатором по умолчанию. explicit для коструктора коопирования?.. Когда вы пишете конструктор копирования, вы и так явно копируете.. (Хотя это не относится к ответу на вопрос)

Koords fun()
{
     return Koords{};
}

Если не будете писать конструктор, то как инициализировать ваш обьект, компилятор не знает. Придется возвращать просто неинициализированный обьект, заменяя фигурные скобки на круглые. Надеюсь вы понели, хотя никогда не буду утверждать, что умею хорошо обяснять

6
  • "вас ошибка: нет соответствующей функции для вызова в Koords :: Koords(){}" - не стоит выдумывать, если бы не было этого конструктора, то код бы не работал и до добавления explicit. Конструктор копирования тут вообще не вызывается. Кроме того, ОП так и не привел пример, демонстрирующий заявленную проблему, так что еще вопрос, была ли она на самом деле и какая. Commented 24 апр. 2018 в 16:16
  • @VTT, откуда такая уверенность, что придумываю я, а не вы. Не соглашусь с вами, даже если вы себя считаете самым большим знатоком Commented 24 апр. 2018 в 19:07
  • как const связан с бесконечным копированием? Commented 25 апр. 2018 в 18:53
  • @Croessmah, да, я немного не то написал (ошибка невнимательности), но раз копируемый обьект не константный, можно и такое написать в теле КК и не только такое. Но спасибр, что предупредили. Сейчас поправлю Commented 25 апр. 2018 в 20:19
  • Конструктор копирования не обязан принимать ссылку на константу. Первым параметром может быть просто ссылка, а остальные - заданы по-умолчанию. Commented 26 апр. 2018 в 2:56

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

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