Вопрос по с++, Помогите понять суть Опции

[igor_bogomolov]

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

Раскрывающийся текст

#include <string>

class A
{
public :
      A(const std::string & s) : m_name(s) {}
      ~A() { }
private :
      std::string m_name;
};

int main(int c, char ** v)
{
      A r1(std::string(v[1]));

      const char * e = "Hello";
      A r2(std::string(e));
      std::string s(e);

      A r3(s);
      A r4(std::string("World"));
      return 0;../test/main.cpp:25: ошибка: запрос элемента ‘m_name’ в ‘r2’, имеющего не классовый тип ‘A(std::string)’ [quote][/quote]
}

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

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

ошибка: запрос элемента ‘m_name’ в ‘r1’, имеющего не классовый тип ‘A(std::string)’

При этом r3 и r4 создаются нормально и обращение к m_name не приводит к ошибке.

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

[DEADHUNT]

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


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

[Litkevich Yuriy]

может рассматриваться как функция A r1(std::string)

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

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

[DIMEDROLL]

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

1>\testprocload.cpp(32) : warning C4930: 'A r1(std::string [])': prototyped function not called (was a variable definition intended?)
1>\testprocload.cpp(35) : warning C4930: 'A r2(std::string)': prototyped function not called (was a variable definition intended?)

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

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

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

[Алексей1153]

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

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

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

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

[offtop]

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

а если бы это и было прототипом, то синтаксис неверен - какой ещё тут параметр по умолчанию ? 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

[igor_bogomolov]

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

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

строчки
A r1(std::string(v[1]));
и
A r3(s);
проигнорированы оптимизатором, так как эти локальные переменные нигде далее не использованы

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

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

1>\testprocload.cpp(32) : warning C4930: 'A r1(std::string [])': prototyped function not called (was a variable definition intended?)
1>\testprocload.cpp(35) : warning C4930: 'A r2(std::string)': prototyped function not called (was a variable definition intended?)

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

[DEADHUNT]

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

объявлять можно(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

[igor_bogomolov]

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

[Алексей1153]

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

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

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

r2 и r4 тоже нигде далее по коду не используются.

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

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

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

[ЙаМайскЫйПчОЛ]

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