İs 'int main;' geçerli bir C / C ++ programı?

Soruyorum çünkü derleyicim öyle düşünüyor gibi görünüyor, ben düşünmüyorum.

echo 'int main;' | cc -x c - -Wall
echo 'int main;' | c++ -x c++ - -Wall

Clang bununla ilgili hiçbir uyarı veya hata vermez ve gcc yalnızca uysal uyarıyı verir: 'main' is usually a function [-Wmain]ancak yalnızca C olarak derlendiğinde a belirtmek -std=önemli görünmüyor.

Aksi takdirde, iyi derler ve bağlanır. Ancak yürütme anında SIGBUS(benim için) ile hemen sona eriyor .

(Mükemmel) cevapları okumak, hangi işareti C ve C ana () dönüş ++? ve dil özellikleri sayesinde hızlı bir grep, kesinlikle olur görünmek ana bana işlevi gereklidir. Ancak gcc'nin lafzı -Wmain('ana' genellikle bir işlevdir) (ve buradaki hataların eksikliği) muhtemelen aksini gösteriyor gibi görünüyor.

Ama neden? Bunun için garip bir durum veya "tarihsel" kullanım var mı? Ne verir bilen var mı?

Demek istediğim, bunun gerçekten barındırılan bir ortamda bir hata olması gerektiğini düşünüyorum , değil mi?

Soru C ve C ++ olarak çift etiketlendiğinden, C ++ ve C için mantık farklı olacaktır:

• C ++, bağlayıcının farklı türlerdeki metinsel olarak özdeş sembolleri ayırt etmesine yardımcı olmak için ad karıştırma kullanır, örneğin bir global değişken xyzve bağımsız bir global işlev xyz(int). Ancak isim mainasla karıştırılmaz.
• C karıştırmayı kullanmaz, bu nedenle bir programın farklı bir sembol yerine bir tür sembol sağlayarak bağlayıcıyı karıştırması ve programın başarılı bir şekilde bağlanmasını sağlaması mümkündür.

Burada olan şey budur: bağlayıcı sembol bulmayı bekler ve bulur main. Bu sembolü bir işlevmiş gibi "bağlar", çünkü daha iyisini bilmiyor. Çalışma zamanı kitaplığının kontrolü mainbağlayıcıya soran kısmı main, bu nedenle bağlayıcı ona sembol verir mainve bağlantı aşamasının tamamlanmasına izin verir . Elbette bu, mainbir işlev olmadığı için çalışma zamanında başarısız olur .

İşte aynı sorunun başka bir örneği:

dosya xc:

#include <stdio.h>
int foo(); // <<== main() expects this
int main(){
    printf("%p\n", (void*)&foo);
    return 0;
}

dosya yc:

int foo; // <<== external definition supplies a symbol of a wrong kind

derleme:

gcc x.c y.c

Bu derlenir ve muhtemelen çalışır, ancak tanımsız bir davranıştır çünkü derleyiciye vaat edilen sembolün türü, bağlayıcıya sağlanan gerçek sembolden farklıdır.

Uyarı gittiği sürece makul olduğunu düşünüyorum: C mainişlevi olmayan kitaplıklar oluşturmanıza izin verir , böylece bilinmeyen bir nedenle mainbir değişken tanımlamanız gerekirse derleyici adı diğer kullanımlar için serbest bırakır main.

mainBir değil özel amaçlı sözcük bu sadece bir değil , önceden tanımlanmış tanımlayıcı (gibi cin, endl, nposadlı bir değişkeni bildirmek böylece ...), mainonun değerini yazdırmak sonra başlaması ve.

Elbette:

• bu oldukça hataya açık olduğundan uyarı yararlıdır;
• main()fonksiyon (kitaplıklar) olmadan bir kaynak dosyanıza sahip olabilirsiniz .

DÜZENLE

Bazı referanslar:

• main ayrılmış bir kelime değil (C ++ 11):

  Fonksiyon main, bir program içerisinde kullanılmayacaktır. Bağlantısı (3.5) mainuygulama tanımlıdır. Silinmiş veya ana beyan ana tanımlayan bir program olarak inline, staticya da constexprkötü oluşturulur. İsim mainbaşka türlü rezerve edilmemiştir. [Örnek: Üye işlevler, sınıflar ve numaralandırmalar, maindiğer ad alanlarındaki varlıklar gibi çağrılabilir . - son örnek]

  ^{C ++ 11 - [basic.start.main] 3.6.1.3}

  [2.11 / 3] [...] bazı tanımlayıcılar C ++ uygulamaları ve standart kitaplıklar (17.6.4.3.2) tarafından kullanılmak üzere ayrılmıştır ve başka türlü kullanılmayacaktır; teşhis gerekmez.

  [17.6.4.3.2 / 1] Belirli adlar ve işlev imzaları her zaman uygulama için ayrılmıştır:

  • Çift alt çizgi __ içeren veya alt çizgiyle başlayan ve ardından büyük harfle (2.12) başlayan her ad, herhangi bir kullanım için uygulamaya ayrılmıştır.
  • Alt çizgiyle başlayan her ad, genel ad alanında bir ad olarak kullanılmak üzere uygulamaya ayrılmıştır.

• Programlama dillerinde ayrılmış kelimeler .

  Ayrılmış sözcükler programcı tarafından yeniden tanımlanmayabilir, ancak önceden tanımlanmış sözcükler genellikle bazı kapasitelerde geçersiz kılınabilir. Durum şu main: Bu tanımlayıcıyı kullanan bir bildirimin anlamını yeniden tanımladığı kapsamlar vardır.

Mı int main;geçerli bir C / C ++ program?

Bir C / C ++ programının ne olduğu tam olarak belli değil.

Mı int main;geçerli bir C programı?

Evet. Bağımsız bir uygulamanın böyle bir programı kabul etmesine izin verilir. mainbağımsız bir ortamda özel bir anlamı olması gerekmez.

Öyle değil barındırılan bir ortamda geçerlidir.

Mı int main;geçerli bir C ++ program?

Aynen.

Neden çöküyor?

Program mantıklı zorunda değildir senin çevre. Bağımsız bir ortamda programın başlatılması ve sonlandırılması ve bunun anlamı main, uygulama tarafından tanımlanır.

Derleyici beni neden uyarıyor?

Derleyici, uyumlu programları reddetmediği sürece sizi ne isterse konusunda uyarabilir. Öte yandan, uymayan bir programı teşhis etmek için gereken tek şey uyarıdır. Bu çeviri birimi geçerli bir barındırılan programın parçası olamayacağından, bir teşhis mesajı haklı çıkar.

gccBağımsız bir ortam mı yoksa barındırılan bir ortam mı?

Evet.

gcc-ffreestandingderleme bayrağını belgeler . Ekle ve uyarı kaybolur. Örneğin, çekirdek veya aygıt yazılımı oluştururken kullanmak isteyebilirsiniz.

g++böyle bir bayrağı belgelemiyor. Bunu sağlamanın bu program üzerinde bir etkisi yok gibi görünüyor. G ++ tarafından sağlanan ortamın barındırıldığını varsaymak muhtemelen güvenlidir. Bu durumda teşhisin olmaması bir hatadır.

Teknik olarak izin verilmediği için bir uyarıdır. Başlangıç ​​kodu "main" sembol konumunu kullanacak ve üç standart argümanla (argc, argv ve envp) ona atlayacaktır. Yapmaz ve bağlantı anında bunun gerçekten bir işlev olup olmadığını veya bu argümanlara sahip olup olmadığını kontrol edemez. Bu aynı zamanda int main (int argc, char ** argv) 'nin çalışmasının nedenidir - derleyici envp argümanını bilmiyor ve sadece kullanılmıyor ve arayan temizleme işlemidir.

Şaka olarak, şöyle bir şey yapabilirsin

int main = 0xCBCBCBCB;

bir x86 makinesinde ve uyarıları ve benzeri şeyleri göz ardı ederek, sadece derlemekle kalmayacak, aynı zamanda gerçekten de çalışacaktır.

Biri buna benzer bir teknik kullanarak doğrudan birden fazla mimaride çalışan bir çalıştırılabilir (tür) yazdı - http://phrack.org/issues/57/17.html#article . Ayrıca IOCCC'yi kazanmak için kullanıldı - http://www.ioccc.org/1984/mullender/mullender.c .

Geçerli bir program mı?

Hayır.

Yürütülebilir parçası olmadığı için bir program değildir.

Derlemek geçerli mi?

Evet.

Geçerli bir programla kullanılabilir mi?

Evet.

Derlenen tüm kodların geçerli olması için çalıştırılabilir olması gerekmez. Örnekler statik ve dinamik kitaplıklardır.

Etkili bir nesne dosyası oluşturdunuz. Geçerli bir yürütülebilir dosya değildir, ancak başka bir program mainsonuçtaki dosyadaki nesneyi çalışma zamanında yükleyerek ona bağlanabilir .

Bu bir hata mı olmalı?

Geleneksel olarak C ++, kullanıcının geçerli bir kullanımı yokmuş gibi görünen ancak dilin sözdizimine uyan şeyler yapmasına izin verir.

Demek istediğim elbette, bu bir hata olarak yeniden sınıflandırılabilir, ama neden? Bu, uyarının olmamasına hangi amaca hizmet eder?

Bu işlevselliğin gerçek kodda kullanılmasının teorik bir olasılığı olduğu sürece, çağrılan işlevsiz bir nesneye sahip olmanın maindile göre bir hatayla sonuçlanması pek olası değildir .

Mevcut dil standartlarına atıfta bulunarak zaten verilmiş olan cevaplara eklemek istiyorum.

İs 'int main;' geçerli bir C programı?

Kısa cevap (bence): Yalnızca uygulamanız "bağımsız yürütme ortamı" kullanıyorsa.

C11'den aşağıdaki alıntılar

5. Çevre

Bir uygulama, C kaynak dosyalarını çevirir ve C programlarını , çeviri ortamı ve yürütme ortamı olarak adlandırılacak olan iki veri işleme sistemi ortamında yürütür [...]

5.1.2 Yürütme ortamları

İki yürütme ortamı tanımlanmıştır: bağımsız ve barındırılan. Her iki durumda da, çalıştırma ortamı tarafından belirlenmiş bir C işlevi çağrıldığında program başlangıcı gerçekleşir.

5.1.2.1 Bağımsız ortam

Bağımsız bir ortamda (C programının yürütülmesinin bir işletim sisteminin herhangi bir yararı olmadan gerçekleşebileceği), program başlangıcında çağrılan işlevin adı ve türü uygulama tanımlıdır.

5.1.2.2 Barındırılan ortam

Barındırılan bir ortamın sağlanması gerekmez, ancak varsa aşağıdaki özelliklere uyacaktır.

5.1.2.2.1 Program başlatma

Program başlangıcında çağrılan işlev main olarak adlandırılır . [...] Dönüş türü bir int ile ve parametresiz [...] veya iki parametre [...] veya eşdeğeri veya başka bir uygulama tanımlı şekilde tanımlanmalıdır.

Bunlardan aşağıdakiler gözlemlenir:

• Bir C11 programı, bağımsız veya barındırılan bir yürütme ortamına sahip olabilir ve geçerli olabilir.
• Bağımsız bir tane varsa, bir ana işlevi olması gerekmez.
• Aksi takdirde, int türünde bir dönüş değeri olan bir tane olmalıdır .

Bağımsız bir yürütme ortamında, bunun başlatmanın gerçekleşmesine izin vermeyen geçerli bir program olduğunu iddia ediyorum, çünkü 5.1.2'de gerektiği gibi bunun için mevcut bir işlev yok. Barındırılan bir yürütme ortamında, kodunuz main adlı bir nesneyi tanıtsa da , bir dönüş değeri sağlayamaz, bu nedenle bunun bu anlamda geçerli bir program olmadığını savunabilirim, ancak daha önce olduğu gibi, program değilse çalıştırılması amaçlanmıştır (örneğin, yalnızca veri sağlamak isteyebilir), o zaman sadece bunu yapmaya izin vermez.

İs 'int main;' geçerli bir C ++ programı?

Kısa cevap (bence): Yalnızca uygulamanız "bağımsız yürütme ortamı" kullanıyorsa.

C ++ 14'ten alıntı

3.6.1 Ana işlev

Bir program, programın belirlenmiş başlangıcı olan main adlı global bir işlevi içerecektir. Bağımsız bir ortamda bir programın bir ana işlevi tanımlamak için gerekli olup olmadığı, uygulama tarafından tanımlanır. [...] dönüş türü int türünde olacaktır, ancak aksi takdirde türü uygulama tanımlıdır. [...] main adı başka türlü saklı değildir.

Burada, C11 standardının aksine, bağımsız yürütme ortamına daha az kısıtlama uygulanır, çünkü hiçbir başlangıç ​​işlevi belirtilmezken, barındırılan bir yürütme ortamı için durum C11 ile hemen hemen aynıdır.

Yine, barındırılan durum için kodunuzun geçerli bir C ++ 14 programı olmadığını iddia ediyorum, ancak bunun bağımsız durum için olduğundan eminim.

Cevabım sadece uygulama ortamını dikkate aldığından, çeviri ortamında meydana gelen isim kargaşası önceden gerçekleştiği için dasblinkenlicht'in cevabının devreye girdiğini düşünüyorum . Burada, yukarıdaki alıntılara bu kadar katı bir şekilde uyulduğundan pek emin değilim.

Demek istediğim, bunun gerçekten barındırılan bir ortamda bir hata olması gerektiğini düşünüyorum, değil mi?

Hata sizindir. Sen adında bir işlev belirtmedi maindöner bir o intve denenmiş barındırılan bir ortamda sizin programı kullanmak için.

Adlandırılmış global bir değişkeni tanımlayan bir derleme biriminiz olduğunu varsayalım main. Bu, bağımsız bir ortamda yasal olabilir, çünkü bir programı oluşturan şey, bağımsız ortamlarda uygulamaya bırakılmıştır.

Diyelim mainki bir döndüren intve argüman almayan bir global işlevi tanımlayan başka bir derleme biriminiz var . Bu, barındırılan bir ortamdaki bir programın tam olarak ihtiyaç duyduğu şeydir.

İlk derleme birimini yalnızca bağımsız bir ortamda kullanırsanız ve yalnızca ikincisini barındırılan bir ortamda kullanırsanız her şey yolunda. Ya ikisini de tek bir programda kullanırsanız? C ++ 'da, tek tanım kuralını ihlal ettiniz. Bu tanımlanmamış bir davranıştır. C'de, tek bir sembole yapılan tüm referansların tutarlı olması gerektiğini belirten kuralı ihlal ettiniz; eğer değilse, bu tanımlanmamış bir davranış. Tanımlanmamış davranış, "hapisten bedava çık!" bir uygulamanın geliştiricilerine kart. Tanımlanmamış davranışa yanıt olarak bir uygulamanın yaptığı her şey standartla uyumludur. Uygulama, tanımlanmamış davranışları saptamak şöyle dursun, uyarmak zorunda değildir.

Ya bu derleme birimlerinden yalnızca birini kullanırsanız, ancak yanlış olanı kullanırsanız (yaptığınız şey buydu)? C'de durum nettir. mainBarındırılan bir ortamda işlevin iki standart formdan birinde tanımlanamaması, tanımlanmamış bir davranıştır. Hiç tanımlamadığınızı varsayalım main. Derleyici / bağlayıcı, bu hata hakkında bir şey söylemek zorunda değildir. Şikayet etmeleri kendi adına bir nezakettir. C programının hatasız derlenmiş ve bağlanmış olması derleyicinin değil, sizin hatanızdır.

Bu, C ++ 'da biraz daha az açıktır çünkü mainbarındırılan bir ortamda işlevin tanımlanamaması, tanımsız davranıştan ziyade bir hatadır (başka bir deyişle, teşhis edilmesi gerekir). Bununla birlikte, C ++ 'daki tek tanım kuralı, bağlayıcıların oldukça aptal olabileceği anlamına gelir. Bağlayıcının görevi dış referansları çözmektir ve tek tanım kuralı sayesinde, bağlayıcının bu sembollerin ne anlama geldiğini bilmek zorunda kalmaz. Adlı bir sembol sağladınız main, bağlayıcı, adlandırılmış bir sembolü görmeyi bekliyor main, böylece bağlayıcı söz konusu olduğunda her şey yolunda.

Şimdiye kadar C için uygulama tanımlı davranıştır.

ISO / IEC9899'un dediği gibi:

5.1.2.2.1 Program başlatma

1 Program başlangıcında çağrılan işlev main olarak adlandırılır. Uygulama, bu işlev için hiçbir prototip bildirmez. Dönüş türü bir int ile ve parametresiz olarak tanımlanmalıdır:

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

veya iki parametreli (burada argc ve argv olarak anılır, ancak bildirildikleri işlev için yerel oldukları için herhangi bir ad kullanılabilir):

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

veya eşdeğer; veya başka bir uygulama tanımlı şekilde.

Hayır, bu geçerli bir program değil.

C ++ için bu, yakın zamanda kusur raporu 1886 tarafından açıkça biçimsiz hale getirildi : main () için dil bağlantısı, diyor ki:

Main () 'e açık bir dil bağlantısı vermede herhangi bir kısıtlama yok gibi görünmektedir, ancak muhtemelen ya biçimsiz ya da koşullu olarak desteklenmelidir.

ve kararın bir kısmı aşağıdaki değişikliği içeriyordu:

Global kapsamda main değişkenini bildiren veya main adını C dili bağlantısıyla (herhangi bir isim alanında) bildiren bir program bozuk biçimlidir.

Bu ifadeyi , C ++ 1z taslağı olan en son C ++ taslak standardı N4527'de bulabiliriz.

Hem clang hem de gcc'nin en son sürümleri artık bunu bir hata yapıyor ( canlı yayına bakın ):

error: main cannot be declared as global variable
int main;
^

Bu hata raporundan önce, teşhis gerektirmeyen tanımsız bir davranıştır. Öte yandan, kötü biçimlendirilmiş kod bir teşhis gerektirir, derleyici bunu bir uyarı veya bir hata yapabilir.