Конечно, ничем не докажут, что не пользовались компилятором. Я это предвидел, поэтому основной упор и был сделан не на ответ, какой будет результат, а на объяснение, почему так.
Два раза выводится Original string, а объяснить я попробую при помощи программы на С++, которая работает аналогично, но выводит также и адреса в памяти.
char* foo(char* str)
{
__try
{
printf("str in foo %s\n", str);
printf("str in foo points to %d\n", str);
printf("str's in foo address %d\n", &str);
printf("\n");
return str;
}
__finally
{
str = "Modified in finally!";
printf("str in foo-finally %s\n", str);
printf("str in foo-finally points to %d\n", str);
printf("str's in foo-finally address %d\n", &str);
printf("\n");
}
}
int main()
{
char* str = "Original string";
printf("str %s\n", str);
printf("str points to %d\n", str);
printf("str's address to %d\n", &str);
printf("\n");
char* newstr = foo(str);
printf("==============Main output=================\n");
printf("newstr %s\n", newstr);
printf("str %s\n", str);
scanf("%s", str);
return 0;
}
Программа на моей машине выводит следующее:
str Original string
str points to 4282432
str's address to 1245024
str in foo Original string
str in foo points to 4282432
str's in foo address 1244800
str in foo-finally Modified in finally!
str in foo-finally points to 4283208
str's in foo-finally address 1244800
==============Main output=================
newstr Original string
str Original string
Таким образом, тут наглядно видно что и где происходит.
В момент, когда мы инициализируем указатель
char* str = "Original string";
адрес начала данной строки в памяти равен 4282432.
Но само значение "4282432" лежит по адресу 1245024, и ассоциированно с переменной str в методе main.
Что происходит, когда мы передаем str в функцию foo - строка передается по указателю, но сам-то указатель передается по значению, а это означает, что создается новый указатель, и в него записывается значение 4282432, но этот указатель и указатель в main - два разных указателя, хотя указывают они на один и тот же адрес.
Это доказывает вывод, в котором адрес этого нового указателя 1244800. Для простоты назовем этот указатель str2.
Что происходит далее, далее вызывается блок try-finally, в котором, как известно, finally отрабатывает только после того, как отработал try.
В блоке try происходит return, который нам возвращает адрес, находящийся в str2 на тот момент, то есть 4282432, адрес строки "Original string", и только потом выполняет finally, в котором str2 присваивается адрес строки "Modified in finally!", но это уже ни на что не влияет, ни на значение, которое возвратит foo, ни тем паче на значение, хранящееся в str - т.к. в foo все операции проходят с указателем str2.
Таким образом, адрес, на который указывает str не меняется, и foo() возвращает тот же самый адрес, соответственно, дважды выводится "Original string".
Более того, нормальный анализатор кода обязательно укажет на блок finally, который по чути ничего принципиально не делает.
Поскольку в C# string является ref-типом, вся логика та же самая.
И немного ИМХО: задача интересная, но давать ее на собеседовании лично я бы не стал. Если, конечно, вы работаете не в Google или Microsoft.
Объективно достойный кандидат может и не ответить, и будет вам false-negative. В некоторых конторах это нормально, (например, см. выше), но в условиях КЗ это слишком.
Но опять же, это только мое ИМХО.
Войти
Регистрация
Наверх
