Ошибка компиляции: no matching function for call

@Mr. Hat · Регистрация: 17.02.2012

Студворк — интернет-сервис помощи студентам

В классе объявлено 4 конструктора:

C++
1
2
3
4
    MyClass() = default;
    explicit MyClass(const MyClass&) = default;
    explicit MyClass(MyClass&) = default;
    explicit MyClass(MyClass&&) = default;

Если некая функция возвращает MyClass, то в строке, содержащей "return X" возникает ошибка компиляции:

no matching function for call to 'MyClass::MyClass(MyClass&)'
MyClass MyClass::get_result() { return result; }

Чем компилятору не нравится объявленный конструктор копирования?

Если во 2 строке убрать слово explicit, ошибок компилятор не находит. Есть ли риск, что именно MyClass(const MyClass&) будет теперь вызываться при передаче неконстантной переменной или rvalue?

Что вообще делает автоматически сгенерированный перемещающий конструктор? По идее он должен применять std::move к каждому полю аргумента и инициализировать полученными значениями каждое поле конструируемой структуры. Это так?

Если вместо "return X" написать, к примеру, "return MyClass()", то возникает другая ошибка:

no matching function for call to 'MyClass::MyClass(MyClass)'
MyClass MyClass::get_result() { return MyClass(); }

Но такой конструктор даже объявить невозможно. Компилятор на такую попытку реагирует сообщением:

invalid constructor; you probably meant 'MyClass (const MyClass&)'

Если таких конструкторов не бывает, что вообще вызывается при возвращении из функции не именованного объекта? И вообще при передаче не именованного объекта конструктору (например, при вызове "MyClass( MyClass() )")?

@DrOffset · 09.09.2014, 23:12

Mr. Hat, а зачем, собственно, нужен здесь explicit? explicit блокирует неявное преобразование типов, если определить с ним конструктор копирования, то разрешена будет только такая запись:

C++
1
2
MyClass c;
MyClass x(c);

Сообщение от Mr. Hat

MyClass(MyClass&)

А это не конструктор копирования.

Сообщение от Mr. Hat

что вообще вызывается при возвращении из функции не именованного объекта?

Вызывается конструктор копирования:
Добавлено через 12 минут
Поправочка: или move конструктор, если он доступен.

C++
1
MyClass (const MyClass&)

Сообщение от Mr. Hat

Если вместо "return X" написать, к примеру, "return MyClass()", то возникает другая ошибка:

Ты же запретил неявное копирование через explicit, поэтому ошибка. Да у gcc не всегда внятная диагностика. Попробуй пособирать в clang, там с этим гораздо лучше. Вот например что он выдал на твой пример:

error: no matching constructor for initialization of 'MyClass'
note: candidate constructor not viable: requires 1 argument, but 0 were provided

вместо gcc`шного:

no matching function for call to 'MyClass::MyClass(MyClass)'

@Mr. Hat · 09.09.2014, 23:21 **[ТС]**

Сообщение от DrOffset

зачем, собственно, нужен здесь explicit?

Это скорее теоретический интерес. Чтобы знать, какой конструктор точно вызывается для каждого случая.

Сообщение от DrOffset

разрешена будет только такая запись:

Но я ведь кроме этого определил и MyClass(MyClass&&), значит, должна быть разрешена и запись MyClass(MyClass())?

Сообщение от DrOffset

requires 1 argument, but 0 were provided

Но есть же конструктор с 0 аргументов. Он должен вернуть объект типа MyClass как rvalue, разве не так? Значит, в строчке "return MyClass()" должен вызываться MyClass(MyClass&&)? То есть я же запретил только неявное преобразование к const MyClass& в конструкторе копирования, но есть же и другие конструкторы.

@DrOffset · 09.09.2014, 23:52

Сообщение от Mr. Hat

Но я ведь кроме этого определил и MyClass(MyClass&&), значит, должна быть разрешена и запись MyClass(MyClass())?

Да.

Сообщение от Mr. Hat

Чтобы знать, какой конструктор точно вызывается для каждого случая.

На самом деле в этом примере возможно будет не вызван ни один конструктор, кроме конструктора без параметров, потому что будет действовать RVO.

Сообщение от Mr. Hat

должен вызываться MyClass(MyClass&&)?

Да. Но он же у тебя тоже explicit.

Добавлено через 17 минут

Сообщение от Mr. Hat

должна быть разрешена и запись MyClass(MyClass())?

При explicit такая запись разрешена, а вот возврат из функции не будет работать, т.к. он уже считается неявным приведением. Я думаю, в этом была проблема в понимании.

@Mr. Hat · 10.09.2014, 06:31 **[ТС]**

Да, проблема в этом. Хотя, почему возврат из функции считается неявным приведением, я до сих пор не понимаю. Зачем приводить один тип к другому, если все типы там такие, как указано в конструкторах?

Ну ладно, по крайней мере, теперь знаю, в чем ошибка.

@DrOffset · 10.09.2014, 08:58

Сообщение от Mr. Hat

Зачем приводить один тип к другому, если все типы там такие, как указано в конструкторах?

На самом деле ты прав, поэтому там не будет никакого приведения, будет выполнена RVO и все.
Что касается ошибки, то это требования синтаксиса языка:

Сообщение от § 12.3.1

An explicit constructor constructs objects just like non-explicit constructors, but does so only where the
direct-initialization syntax (8.5) or where casts (5.2.9, 5.4) are explicitly used. A default constructor
may be an explicit constructor; such a constructor will be used to perform default-initialization or value-
initialization (8.5).

я не изучал этот вопрос досконально, но, если синтаксически разрешить такое использование в функциях, то получим проблему в случаях наподобие этого:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
struct MyClass
{
    MyClass(int a);
};
 
MyClass foo() { return 3; } // ok
//.....
struct MyClass
{
    explicit MyClass(int a);
};
 
MyClass foo() { return 3; } // error, но, если перенебречь правилом выше, будет ok

Тут можно сказать, что компилятор мог бы вычислять тот же самый это тип или нет, но во-первых это еще больше усложняет язык, в одном месте поведение одно, в другом другое - С++ и без того полон всяких неявных особенностей, чтобы добавлять еще одну. Во-вторых это действительно противоречит принципу явной инициализации, которая вкладывалась в explicit, ведь здесь ее по сути нет. Здесь аналог MyClass a = MyClass();, который как раз и не работает с explicit.
В третьих, наверняка на этом строятся какие-нибудь идиомы, где запрещается неявное копирование или что-то в этом роде.
В четвертых, у пользовательских типов могут быть операторы неявного приведения, которые подливают масло в огонь: должен ли копилятор учитывать их при оценке приводимости или нет?

Tulosba · 10.09.2014, 13:02

Сообщение от DrOffset

C++
1
MyClass(MyClass&)

А это не конструктор копирования.

Почему это?

12.8/2 A non-template constructor for class X is a copy constructor if its first parameter is of type X&, const X&, volatile X& or const volatile X&, and either there are no other parameters or else all other parameters have default arguments (8.3.6).

@DrOffset · 10.09.2014, 13:11

Не по теме:

Сообщение от Tulosba

Почему это?

my bad.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 19.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@Mr. Hat 2 / 2 / 0 Регистрация: 17.02.2012 Сообщений: 68
	10.09.2014, 06:31 [ТС]
	Да, проблема в этом. Хотя, почему возврат из функции считается неявным приведением, я до сих пор не понимаю. Зачем приводить один тип к другому, если все типы там такие, как указано в конструкторах? Ну ладно, по крайней мере, теперь знаю, в чем ошибка. 0

Ошибка компиляции: no matching function for call

Решение