VPF::Какой конструктор будет вызван

Alca

Дата 14.3.2011, 13:16 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 3993
Регистрация: 14.6.2006

Репутация: 7
Всего: 50

Код


#include <iostream>
#include <string>
using namespace std;
//---------------------------------------------------------------------------
class A {
   public:
      A() {
         cout << __PRETTY_FUNCTION__ << endl; 
      };
      
      explicit A(A &) {
         cout << __PRETTY_FUNCTION__ << endl; 
      }
      
      explicit A(const A&) {
         cout << __PRETTY_FUNCTION__ << endl; 
      }
   
};
//---------------------------------------------------------------------------
int main() {
   cout << "a1: "; 
   A a1;
   cout << endl; 
     
   cout << "a2: "; 
   A a2();
   cout << endl; 
     
   return 0;
}
//---------------------------------------------------------------------------

Вывод:

Код


a1: A::A()

a2:

http://liveworkspace.org/code/38540c339d87...e650f417a045e0a

Какой конструктор вызывается во втором случае (A a2();)?

Это сообщение отредактировал(а) Alca - 14.3.2011, 13:17

--------------------

C++ cross-platform library

Earnest

Дата 14.3.2011, 13:31 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

А никакой. Вообще ничего не вызывается, это воспринимается компилятором как объявление функции (с именем a2, которая принимает пустой список аргументов, а возвращает A).

--------------------

...

Cheloveck

Дата 14.3.2011, 13:31 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1578
Регистрация: 26.7.2008
Где: Тула

Репутация: 3
Всего: 32

Конструкторы вызываются в полном соответствии параметру. Во втором случае у тебя конструктор без параметра, как и в первом. Что по поводу конструктора с параметром A& и const A& - смотри именно на то, что передаёшь, если это не константа - A&, иначе - const A&.

Добавлено через 57 секунд
Странно, что онлайн компиллер проглотил твой вызов второго конструктора, он не праильный

--------------------

Earnest

Дата 14.3.2011, 13:35 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Экс. модератор
Сообщений: 5962
Регистрация: 17.6.2005
Где: Рязань

Репутация: 53
Всего: 183

Cheloveck, все здесь правильно (видимый результат), есть такая засада в С++: то, что может трактоваться как объявление функции, именно так и трактуется.
Не помню уже, почему так сделано, но помню, что папа Страуструп что-то на эту тему объяснял в своей книге.
Поэтому нужно приучиться вызывать конструкторы по-умолчанию без скобок.

--------------------

...

Alca

Дата 14.3.2011, 13:45 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 3993
Регистрация: 14.6.2006

Репутация: 7
Всего: 50

Earnest, спасибо.

--------------------

C++ cross-platform library

azesmcar

Дата 14.3.2011, 14:20 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(Earnest @ 14.3.2011, 13:35

)

Не помню уже, почему так сделано

Для совместимости с C, но точного примера не приведу.

Добавлено через 1 минуту и 41 секунду
а вообще-то тут полагается warning smile

mes

Дата 14.3.2011, 15:34 (ссылка)

(нет голосов)

Загрузка ...

любитель

Профиль
Группа: Участник Клуба
Сообщений: 7954
Регистрация: 14.1.2006

Репутация: 144
Всего: 250

Цитата(azesmcar @ 14.3.2011, 13:20

)

Для совместимости с C, но точного примера не приведу.

скорее для того, чтоб можно было объявить функцию.. в противном случае эта конструкция будет перекрыта..

--------------------

http://opendots.net

azesmcar

Дата 14.3.2011, 15:38 (ссылка)

(нет голосов)

Загрузка ...

uploading...

Профиль
Группа: Участник Клуба
Сообщений: 6291
Регистрация: 12.11.2004
Где: Армения

Репутация: 81
Всего: 211

Цитата(Exception C++ Style)

What's going on here? Basically, we're running across one of the painful rules that C++ inherited from C, to maintain C compatibility: If a piece of code can be interpreted as a declaration, it will be. In the words of the C++ standard:

There is an ambiguity in the grammar involving expression-statements and declarations: An expression-statement with a function-style explicit type conversion (_expr.type.conv_) as its leftmost subexpression can be indistinguishable from a declaration where the first declarator starts with a (. In those cases the statement is a declaration.[C++03] §6.8

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »