Нечетное поведение имени пользователя?

Question

Рассмотрим следующий ничегонеделания код, который я компиляции в C++ на Win10 64-битном:

int test(int argc, char *argv[]); 
int main(int argc, char *argv[]) 
{ 
    return test(argc, argv); 
} 

int test(int argc, char **argv) 
{ 
    return 0; 
} 

Если весь этот код помещается в одном .cpp файл, он компилируется и правильно в VS2012, VS2013, VS2015 и mingw32-g ++ v4.7.1, как я ожидал бы этого.

Однако, если я просто переместить определение функции тестирования в отдельный файл в результате два файла компилироваться и ссылка правильно с MinGW компилятором, но на все версии VS я получаю:

error LNK2019: unresolved external symbol "int __cdecl test(int,char * * const)" (?test@@YAHHQAPAD@Z) referenced in function _main" 

I может решить эту проблему в VS, просто изменив объявление параметра argv в тестовой функции на char *argv[], но это не обязательно, поскольку char *argv[] и char **argv означают то же самое, что и при объявлении параметра.

Я не пробовал, но меня заставляет задуматься, будет ли VS рассматривать две версии, отличающиеся друг от друга для перегрузки.

Answer 1

Да, это ошибка в схеме оформления имен Visual C++. Для параметров типа указателя верхние константы и изменчивые квалификаторы кодируются в декорированное имя, хотя они не имеют отношения к типу функции. Так, например, char** и char** const кодируются по-разному. (В вашем примере char*[] эквивалентен char** const.)

При определении того, как украсить имя функции, компилятор будет использовать первое объявление функции, даже если определение не соответствует первому объявлению. Вот почему ваш пример связывается, когда определение находится в том же исходном файле, что и основная функция: тестовая функция украшена именем, требуемым первым объявлением, которое является тем же именем, на которое ссылается основная функция.

Если вы двигаетесь как декларацию и определение в отдельный исходный файл, например,

int test(int argc, char *argv[]); 

int test(int argc, char **argv) 
{ 
    return 0; 
} 

тогда ваша программа будет ссылка успешно, по той же причине. Вот почему эта «ошибка» обычно не является проблемой: обычно, когда функции используются в нескольких единицах перевода, они объявляются в файле заголовка, и есть одно объявление, которое включено повсюду.

Answer 2

Для отдельного файла используйте тест (int argc, char ** const argv) на основе сообщения об ошибке. Обратите внимание, что адрес массива (char * argv []) будет постоянным (поэтому argv будет постоянным), в отличие от указателя на указатель (char ** argv). Хотя, поскольку argv передается по значению, его нельзя изменить, поэтому я не уверен, почему VS обманывает об этом.

Если обе функции находятся в одном файле, очевидно, VS может обнаружить, что test() не изменяет argv, поэтому он не жалуется.