Вопрос из теста.

Вопрос в тесте такой - сколько раз вызовется конструктор класса A при исполнении функции main. После ответа откомпилируй код для проверки, добавив какой-нибудь std::cout в конструктор A.

При первом просмотре (да и при втором, третьем, ...) я предположил, что конструктор вызовится 4 раза. Откомпилировав, получил всего два вызова. Пробовал воспользоваться отладчиком и впал в недоумение. r1 и r2 вообще не создаются, т.е. при компиляции эти строчки игнорируются. Сделал m_name публичным и попробовал обратиться к нему после создания r1. Получил ошибку компиляции
При этом r3 и r4 создаются нормально и обращение к m_name не приводит к ошибке.

Помогите разобраться что происходит

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


A r1(std::string(v[1])); может рассматриваться как функция A r1(std::string) с параметром по умолчанию v[1] и т. д.

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

A r1(std::string(v[1]));
r1.m_name = "test";

вижуал студия сразу выдает предупреждение:



Что значит нельзя?

int main(int c, char ** v)
{
    int foo(int a);

    int r = foo(5);

    return 0;
}

int foo(int a){
    return a+=2;
}

отлично компилится

Сообщение отредактировал DIMEDROLL - 14.7.2010, 7:33

должен 4 раза вызваться - все 4 раза конструктор копирования (поскольку он явно определён)

строчки
A r1(std::string(v[1]));
и
A r3(s);
проигнорированы оптимизатором, так как эти локальные переменные нигде далее не использованы. Можно вывести их значение в поток тоже, чтобы они "остались", либо отрубить оптимизацию (а в дебаге должно само остаться, кстати)


Ну ну С каких в C++ стало можно объявлять локальные функции ?

[offtop]

а если бы это и было прототипом, то синтаксис неверен - какой ещё тут параметр по умолчанию ? std::string() - это конструктор класса std::string. А параметр по умолчанию пишется после "="
[/offtop]




ты объявил не функцию, сделал предопределение глобальной функции foo ИМХО

int foo(int a);
    
int main(int c, char ** v)
{
    int r = foo(5);
    
    return 0;
}


int foo(int a){
    return a+=2;
}

Хотя, студия, к примеру, не позволила бы сделать это внутри функции ))

Сообщение отредактировал Алексей1153 - 14.7.2010, 7:56

Где вы увидели конструктор копирования? Он явно не определён.

Вы не внимательно прочитали мое первое сообщение. r2 и r4 тоже нигде далее по коду не используются. Тем не менее они не с оптимизированны, как вы это объясните? С r3 вообще икаких проблем нет. Игнорируются r1 и r2.



Спасибо, теперь понятно.

объявлять можно(declare), определять нельзя(define).

в стандарте также упоминается о неоднозначностях c с примерами - 6.8 Ambiguity resolution

8.3.6 Default arguments:
....
5. A default argument expression is implicitly converted (Clause 4) to the parameter type. The default argu-
ment expression has the same semantic constraints as the initializer expression in a declaration of a variable
of the parameter type, using the copy-initialization semantics (8.5). The names in the expression are bound,
and the semantic constraints are checked, at the point where the default argument expression appears.
Name lookup and checking of semantic constraints for default arguments in function templates and in mem-
ber functions of class templates are performed as described in 14.7.1. [ Example: in the following code, g
will be called with the value f(2):

с этим загнался.

Сообщение отредактировал DEADHUNT - 14.7.2010, 13:17

Еще подсказали. Достаточно выражение в r1 и r2 заключить еще в одни скобки и неоднозначность пропадет.

мдя, ночь без сна сказалась ))


Да, это я протупил. Там тип ссылки же не A


Да, теперь вижу

Сорри за дезинформацию

Сообщение отредактировал Алексей1153 - 14.7.2010, 14:13

Этож... 3.14дец
Так всетаки он это чуствовал как прототип функции???
А то у нас тут работа остановилась.