C / C ++ ana argv neden sadece “char * argv” yerine “char * argv []” olarak ilan edildi?

Neden argvsadece "dizinin ilk dizinine işaretçi" olmak yerine "dizinin ilk dizinine işaretçi" olarak bildirildi char* argv?

Burada "göstericiden işaretçiye" kavramı neden gerekli?

Argv temelde şöyle:

Solda, bağımsız değişkenin kendisi - aslında ana argüman olarak geçen şey. Bir işaretçi dizisinin adresini içerir. Bunların her biri, komut satırında iletilen karşılık gelen argümanın metnini içeren bellekte bir yere işaret eder. Ardından, bu dizinin sonunda boş bir işaretçi olduğu garanti edilir.

Bağımsız değişkenler için gerçek depolamanın en azından potansiyel olarak birbirinden ayrı olarak tahsis edildiğine dikkat edin, bu nedenle bellekteki adresleri oldukça rasgele düzenlenebilir (ancak, işlerin nasıl yazıldığına bağlı olarak, aynı zamanda tek bir bitişik blokta da olabilirler). hafıza - sadece bilmiyorsunuz ve umursamamanız gerekiyor).

Çünkü işletim sisteminin sağladığı şey :-)

Sorunuz biraz tavuk / yumurta inversiyonu sorunudur. Sorun C ++ 'da istediğinizi seçmek değil, sorun C ++' da işletim sisteminin size ne verdiğini söylemektir.

Unix, her biri bir komut argümanı olan bir "dizge" dizisinden geçer. C / C ++ 'da, bir dize bir "char *" dır, bu nedenle bir dizi dizgi tadı gereği char * argv [] veya char ** argv olur.

Birincisi, parametre bildirimi char **argvolarak char *argv[]; her ikisi de bir işaretçiyi (bir dizi veya bir veya daha fazla mümkün kümesi) işaretçilerine dizeleri gösterir.

Daha sonra, eğer sadece "char - char" işaretine sahipseniz - örneğin sadece char *- o zaman nth maddesine erişmek için, nth maddesinin başlangıcını bulmak için ilk n-1 maddelerini taramanız gerekecektir. (Ve bu, aynı zamanda her bir dizginin bitişik olarak kaydedilmesi şartını getirecektir.)

İşaretçiler dizisiyle, nth öğesini doğrudan dizine ekleyebilirsiniz - bu nedenle (kesinlikle gerekli olmasa da - dizelerin bitişik olduğunu varsayarak) genellikle çok daha uygundur.

Göstermek için:

./program merhaba dünya

argc = 3
argv[0] --> "./program\0"
argv[1] --> "hello\0"
argv[2] --> "world\0"

Bir os sağlanan karakter dizisinde mümkündür:

            "./program\0hello\0world\0"
argv[0]      ^
argv[1]                 ^
argv[2]                        ^

argv sadece bir "char işaretçisi" olsaydı

       "./program\0hello\0world\0"
argv    ^

Bununla birlikte (işletim sisteminin tasarımıyla muhtemel olsa da), üç dizenin "./program", "merhaba" ve "dünya" nın bitişik olduğuna dair gerçek bir garanti yoktur. Ayrıca, bu tür "çoklu bitişik dizelere tek gösterici", özellikle dize işaretçiler dizisiyle karşılaştırıldığında, daha sıradışı bir veri tipi yapısıdır (C için).

Neden C / C ++ main argv “char * argv []” olarak ilan edildi?

Muhtemel bir cevap, C11 standardı n1570'in ( §5.1.2.2.1'de Program başlangıcında ) ve C ++ 11 standardı n3337'nin ( §3.6.1'de ana fonksiyonda ) barındırılan ortamlar için gerekli olmasını gerektirmesidir (ancak C standardının bahsettiğine dikkat edin). Ayrıca §5.1.2.1 ortamları müstakil da) Bkz bu .

Sonraki soru, C ve C ++ standartlarının neden mainböyle bir int main(int argc, char**argv)imzayı seçtikleridir ? Açıklama büyük ölçüde tarihsel: Cı ile icat edilmiştir Unix bir sahiptir, kabuk etmez globbing yapmadan önce forkve (bir işlem oluşturmak için bir sistem çağrısı olan) execve, (a programı çalıştırmak için sistem çağrısı olan), ve bu execveileten bir dizi dize program argümanlarının ve mainyürütülen programınkilerle ilgilidir. Unix felsefesi ve ABI'ler hakkında daha fazla bilgi edinin .

Ve C ++, C kurallarını takip etmek ve onunla uyumlu olmak için çok çalıştı. mainC gelenekleriyle uyumsuz olduğunu tanımlayamadı .

Bir işletim sistemini sıfırdan (hala bir komut satırı arayüzüne sahip olan) ve sıfırdan bir programlama dili tasarladıysanız, farklı program başlangıç ​​kuralları icat etmekte özgür olacaksınız. Ve diğer programlama dilleri (örneğin Common Lisp veya Ocaml veya Go) farklı program başlangıç ​​kurallarına sahiptir.

Uygulamada, mainbazı crt0 kodu ile çağrılır . Windows'ta globlamanın her program tarafından crt0'a eşdeğer olarak yapılabildiğine ve bazı Windows programlarının standart olmayan WinMain giriş noktasından başlayabildiğine dikkat edin . Unix'te, globbing kabuk tarafından yapılır (ve crt0ABI ve onun belirttiği ilk çağrı yığını düzenini C uygulamanızın çağrı kurallarına göre uyarlar).

"İşaretçi işaretçisi işaretçisi" olarak düşünmek yerine, diziyi []ifade eden ve char*dizgeyi ifade eden "dizge dizisi " olarak düşünmeye yardımcı olur . Bir programı çalıştırdığınızda, bir veya daha fazla komut satırı argümanını iletebilirsiniz ve bunlar argümanlara yansıtılır main: argcbağımsız değişkenlerin sayısıdır ve bağımsız değişkenlere argverişmenize izin verir.

Çoğu durumda cevap "standart olduğu için" dır. C99 standardını alıntılamak için :

- Eğer argc değeri sıfırdan büyükse, argv [argc-1] inclusive içindeki argv [0] dizisi dizileri , program başlangıcından önce host ortamı tarafından uygulama tarafından tanımlanan değerler verilen dizgilere işaretçiler içermelidir .

Elbette, standartlaştırılmadan önce, K&R C tarafından Unix uygulamalarında, komut satırı parametrelerini saklamak amacıyla ( gömülü sistemler gibi /bin/bashya da /bin/shgömülü sistemler gibi Unix kabuğunda dikkat etmeniz gerekenler ) zaten kullanılıyordu. K & R’lerin “C Programlama Dili” nin ilk baskısını sunmak (sayfa 110) :

Birincisi (geleneksel olarak argc olarak adlandırılır ), programın çağrıldığı komut satırı argümanlarının sayısıdır; ikincisi ( argv ), her bir dize olmak üzere, bağımsız değişkenleri içeren bir karakter dizgileri dizisinin göstericisidir.