Ошибка компиляции: 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.

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

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

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

Решение