GCC / G ++ derleyicisinde -pedantic kullanmanın amacı nedir?

Bu not şunları söylüyor:

-ansi: derleyiciye ANSI dil seçeneğini uygulamasını söyler. Bu, ANSI standardıyla uyumlu olmayan GCC'nin belirli "özelliklerini" kapatır.

-pedantic: ile birlikte kullanıldığında -ansi, derleyiciye ANSI standardına sıkı sıkıya bağlı kalmasını söyler ve uyumlu olmayan herhangi bir kodu reddeder.

Her şey sırayla:

• GCC / G ++ derleyicisinin amacı -pedanticve -ansiseçenekleri nedir (yukarıdaki açıklamayı anlayamadım)?
• Birisi bana bu iki seçeneği kullanmak için doğru koşulları söyleyebilir mi?
• Ne zaman kullanmalıyım?
• Onlar önemli mi?

GCC derleyicileri, mümkünse her zaman programınızı derlemeye çalışır. Ancak, bazı durumlarda, C ve C ++ standartları belirli uzantıların yasak olduğunu belirtir. Gcc veya g ++ gibi uygun derleyiciler bu uzantılarla karşılaşıldığında tanı koymalıdır. Örneğin, gcc derleyicisinin -pedantic seçeneği, gcc'nin bu gibi durumlarda uyarı vermesine neden olur. Daha katı -pedantic-errorsseçeneğini kullanmak, bu tür tanılama uyarılarını, bu tür noktalarda derlemenin başarısız olmasına neden olacak hatalara dönüştürür. Yalnızca uygun bir derleyici tarafından işaretlenmesi gereken ISO dışı yapılar uyarı veya hata oluşturur.

Kodlamamda her zaman kullanıyorum.

-ansiBayrak eşdeğerdir -std=c89. Belirtildiği gibi, GCC'nin bazı uzantılarını kapatır. Ekleme -pedantic, daha fazla uzantıyı kapatır ve daha fazla uyarı oluşturur. Örneğin, 509 karakterden daha uzun bir dize hazır bilginiz varsa, bu konuda -pedanticuyarır, çünkü bu C89 standardının gerektirdiği minimum sınırı aşmaktadır. Yani, her C89 derleyicisi 509 uzunluktaki dizeleri kabul etmelidir; daha uzun kabul etmelerine izin verilir, ancak bilgiçlik yapıyorsanız, bir derleyicinin daha uzun dizeleri kabul etmesine izin verilse ve bilgiçlik uyarıları olmadan GCC de bunları kabul eder.

-ansi30 yaşındaki göre derlemek için derleyici istekleri eski bir anahtardır C standardının eskimiş revizyonu , 1990: ISO / IEC 9899 , esasen ANSI standardı bir rebranding olan Dil C Programlama X3.159-1989" . Neden eskimiş? Çünkü C90 ISO tarafından yayınlandıktan sonra ISO, C standardizasyonundan sorumluydu ve C90'a yönelik herhangi bir teknik onay ISO tarafından yayınlandı -std=c90.

Bu anahtar olmadan, son GCC C derleyicileri ISO / IEC 9899: 2011'de standartlaştırılmış C diline veya en yeni 2018 revizyonuna uyacaktır .

Ne yazık ki, standartlaştırma belgesinin standart kuruluşlardan bile bulunmadığı eski bir standart revizyona bağlı kalmanın kabul edilebilir olduğuna inanan bazı tembel derleyici satıcıları var.

Anahtarın kullanılması, kodun bu eski derleyicilerde derlenmesini sağlamaya yardımcı olur.

-pedanticİlginç bir tanesidir. Yokluğunda -pedanticspesifik standart istendiğinde bile, GCC yine Cı standart olarak kabul edilebilir olmayan bazı uzantılar sağlayacaktır. Örneğin programı düşünün

struct test {
    int zero_size_array[0];
};

C11 taslak n1570 paragraf 6.7.6.2p1 diyor :

İsteğe bağlı tür niteleyicilerine ve statik anahtar sözcüğüne ek olarak, [ve] bir ifadeyi veya * sınırlayabilir. Bir ifadeyi (bir dizinin boyutunu belirten) sınırlarlarsa, ifade bir tamsayı türüne sahip olacaktır. İfade sabit bir ifadeyse, sıfırdan büyük bir değere sahip olacaktır. [...]

C standardı, dizi uzunluğunun sıfırdan büyük olmasını gerektirir; ve bu paragraf kısıtlamalar içerisindedir ; standart şu 5.1.1.3p1 diyor :

Bir önişleme çeviri birimi veya çeviri birimi, herhangi bir sözdizimi kuralının veya kısıtlamasının ihlali içeriyorsa, davranış açıkça tanımsız veya uygulama olarak belirtilmiş olsa bile, uygun bir uygulama (uygulama tanımlı bir şekilde tanımlanır) tanımladı. Tanılama mesajlarının başka durumlarda üretilmesine gerek yoktur.9)

Ancak, programı derlerseniz, gcc -c -std=c90 pedantic_test.cuyarı yapılmaz.

-pedanticderleyicinin aslında C standardına uymasını sağlar ; şimdi standardın gerektirdiği gibi bir teşhis mesajı üretecektir:

gcc -c -pedantic -std=c90 pedantic_test.c
pedantic_test.c:2:9: warning: ISO C forbids zero-size array ‘zero_size_array’ [-Wpedantic]
     int zero_size_array[0];
         ^~~~~~~~~~~~~~~

Bu nedenle, maksimum taşınabilirlik için standart revizyonu belirtmek yeterli değildir, ayrıca GCC'nin standardın harfine gerçekten uyduğundan emin olmak için -pedantic(veya -pedantic-errors) kullanmanız gerekir .

Sorunun son kısmı C ++-ansi ile kullanmaktı . ANSI hiçbir zaman C ++ dilini standartlaştırmamıştı - sadece ISO'dan benimsediğinden, bu, "Fransa tarafından standartlaştırılmış İngilizce" demek kadar mantıklı. Bununla birlikte, GCC hala C ++ için, aptalca göründüğü gibi kabul ediyor gibi görünüyor.

Temel olarak, kodunuzu ANSI standardını da uygulayan diğer derleyiciler altında derlemeyi ve hangi kitaplıkları / api çağrılarını kullandığınıza dikkat ederseniz, diğer işletim sistemleri / platformları altında derlemeyi çok daha kolay hale getirecektir.

Birincisi, GCC'nin SPECIFIC özelliklerini kapatır. (-ansi) İkincisi, standarda uymayan herhangi bir şeyden şikayet edecek (sadece GCC'nin belirli özellikleri değil, yapılarınız da.) (-pedantik).

Kodunuzun taşınabilir olması gerekiyorsa, gcc uzantıları veya standart olmayan diğer özellikler olmadan derlendiğini test edebilirsiniz. Kodunuz derlendiğinde -pedantic -ansi, teoride, diğer ANSI standart derleyicileriyle Tamam'ı derlemelidir.

Çok sayıda farklı derleyici ile çok çeşitli platformlarda derleneceğini düşündüğünüz kod yazıyorsanız, bu bayrakları kullanmak sadece GCC altında derlenen kodları üretmemenize yardımcı olacaktır.

Diğerleri yeterince cevap verdi. Sık sık uzantılara birkaç örnek eklemek istiyorum:

mainİşlev dönen void. Bu standart tarafından tanımlanmamıştır, yani sadece bazı derleyiciler (GCC dahil) üzerinde çalışır, diğerlerinde çalışmaz. Bu arada int main()ve int main(int, char**)standardın tanımladığı iki imza.

Bir başka popüler uzantı, diğer işlevler içindeki işlevleri bildirebilir ve tanımlayabilir:

void f()
{
    void g()
    {
       // ...
    }

    // ...
    g();
    // ...
}

Bu standart dışı. Bu tür bir davranış istiyorsanız, C ++ 11 lambdas'a göz atın

Pedantic, gcc derleyicisinin sadece ANSI uyumlu olmasını değil tüm GNU C uzantılarını reddetmesini sağlar.