Чому аргумент не є постійною?

int main( const int argc , const char[] const argv)

Оскільки в пункті № 3 ефективного C ++ зазначено "Використовувати const, коли це можливо", я починаю думати "чому б не зробити ці" постійні "параметриconst ".

Чи є сценарій, коли значення програми argcзмінюється в програмі?

У цьому випадку історія є фактором. C визначив ці входи як "не постійні", а сумісність із (хорошою частиною) наявним кодом С була ранньою метою C ++.

Деякі API-файли UNIX, такі як getopt, насправді, маніпулюють argv[], тому його також неможливо зробити const.

^{(Убік: Цікаво, що хоча getoptпрототип протоколу припускає, що він не буде змінюватись, argv[]але може змінювати рядки, на які вказував, сторінка "Людина Linux" вказує, що getoptпереставляє свої аргументи, і, здається, вони знають, що вони неслухняні . Сторінка людини на Open Група не згадує про цю перестановку.)}

Поклавши constна argcі argvне купуватиме багато, і це може зробити недійсними деякі старої школи програмування практики, такі як:

// print out all the arguments:
while (--argc)
    std::cout << *++argv << std::endl;

Я писав такі програми в С, і знаю, що не один. Я кудись скопіював приклад .

Стандарт C (ISO / IEC 9899: 2011) говорить:

5.1.2.2.1 Запуск програми

¶1 Названа функція, викликана при запуску програми main. Реалізація не оголошує прототипу для цієї функції. Він повинен визначатися з типом повернення int та без параметрів:

int main(void) { /* ... */ }

або з двома параметрами (тут згадується як argcі argv, хоча будь-які імена можуть використовуватися, оскільки вони локальні для функції, в якій вони оголошені):

int main(int argc, char *argv[]) { /* ... */ }

або еквівалент; ¹⁰⁾ або іншим способом, визначеним реалізацією.

¶2 Якщо вони оголошені, параметри mainфункції повинні дотримуватися таких обмежень:

• Значення argc має бути негативним.
• argv[argc] має бути нульовим покажчиком.
• Якщо значення argc більше нуля, масив argv[0]проходить через argv[argc-1] включно повинні містити покажчики на рядки, яким задається реалізація значеннями хост-середовищем перед запуском програми. Наміром є подання програмної інформації, визначеної до запуску програми, з інших місць в розміщеному середовищі. Якщо хост-середовище не здатне подавати рядки з літерами як у великому, так і в малому регістрі, реалізація повинна забезпечити отримання рядків рядками.
• Якщо значення argcбільше нуля, рядок, на який вказують, argv[0] представляє назву програми; argv[0][0]має бути нульовим символом, якщо назва програми недоступна в середовищі хоста. Якщо значенняargc більше, ніж одиниця, рядки, на які вказує argv[1]через, argv[argc-1] представляють параметри програми.
• Параметри argcіargv та рядки, на які вказує argvмасив, повинні змінюватися програмою та зберігати їх останні збережені значення між запуском програми та завершенням програми.

¹⁰⁾ Таким чином, intможна замінити на ім'я typedef, визначене як int, або типargv може бути записаний як char **argvтощо.

Зверніть увагу на останню точку кулі. Це говорить про те, що і те, argcі argvповинно бути видозміненим. Вони не повинні бути змінені, але вони можуть бути модифіковані.

argcзазвичай не є константою, оскільки підпис функції для main()попередніх дат const.

Оскільки argc є змінною стека, її зміна не вплине на що-небудь, крім вашої власної обробки командного рядка.

Ви, звичайно, можете це заявити, constякщо хочете.

Вищий рівень constформального аргументу не є частиною типу функції. Ви можете додати його або видалити як завгодно: це впливає лише на те, що ви можете зробити з аргументом при реалізації функції.

Таким чином, argcви можете додати вільно додати const.

Але для argvвас неможливо зробити дані символів, constне змінивши тим самим функції підпису. Що означає, що тоді це не один із стандартних mainфункцій підписів, і його не доведеться розпізнавати як mainфункцію. Отже, не гарна ідея.

Хорошою причиною не використовувати стандартні mainаргументи в неіграшних програмах є те, що в Windows вони не в змозі представляти фактичні аргументи програми, такі як назви файлів з міжнародними символами. Це тому, що в Windows вони за дуже сильною умовою закодовані як Windows ANSI. У Windows можна реалізувати ще якийсь портативний інструмент доступу до аргументів з точки зору функції GetCommandLineAPI.

Підводячи підсумок, ніщо не заважає вам додавати constдо argc, але найкорисніший const-ness на argvдасть вам нестандартну mainфункцію, швидше за все , не визнаються в якості таких. На щастя (іронічно) є вагомі причини не використовувати стандартні mainаргументи для портативного серйозного коду. Простіше кажучи, на практиці вони підтримують лише старі ASCII, лише англійські букви алфавіту.

Підпис mainдещо історичного артефакту C. Історично Cне мали const.

Однак ви можете оголосити свій параметр, constоскільки ефекти const - це лише час компіляції.

Тому що argcце локальна змінна (і, в С ++, не посилання чи щось подібне), і тому, що особливе місце mainзасобів, що сприяють сумісності із зворотною сумішшю, надає їй величезну кількість простору, не маючи вагомих причин, щоб змусити додатки змусити її використовувати.

main() {}

int main() {}

main() { return 0; }

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

int main(const int argc, const char** argv) { /* no return*/ }

ці та багато інших варіантів збиратимуться на широкому діапазоні компіляторів C і C ++.

Отже, в кінцевому підсумку це не те, що аргумент не const, просто те, що не повинно бути, але це може бути, якщо ви хочете, щоб це було.

http://ideone.com/FKldHF , приклад C:

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

http://ideone.com/m1qc9c , приклад C ++

main(const int argc) {}

Окрім історичних причин, вагомою причиною утримати constаргументи та аргументи не є те, що реалізація компілятора не знає, що ви збираєтеся робити з аргументами для основного, він просто знає, що він повинен надати вам ці аргументи.

Коли ви визначаєте власні функції та пов'язані з ними прототипи, ви знаєте, які параметри ви можете зробити const та які саме змінити ваша функція.

У крайньому випадку ви можете оголосити, що всі параметри всіх функцій повинні бути оголошені const, і тоді, якщо у вас була причина змінити їх (наприклад, зменшення індексу для пошуку через масив), вам доведеться зробити локальні не constзмінні і скопіюйте значення constаргументів у ці змінні. Це робить для зайнятої роботи та додаткового LOC без реальної вигоди. Пристойний статичний аналізатор підбере, якщо ви не змінюєте значення аргументу, і рекомендує ввести параметр const.