Neden 'void *', C ++ 'da örtük olarak kullanılmıyor?

C'de, void *herhangi bir işaretçi tipine bir a kullanmaya gerek yoktur , her zaman güvenli bir şekilde teşvik edilir. Ancak, C ++, bu durum böyle değil. Örneğin,

int *a = malloc(sizeof(int));

C ile çalışır, ancak C ++ ile çalışmaz. (Not: mallocC ++ 'da veya bu konuda newkullanmamanız gerektiğini ve bunun yerine akıllı göstericileri ve / veya STL'yi tercih etmeniz gerektiğini biliyorum ; bu tamamen meraktan sorulur.) C ++ standardı neden bu gizli kullanıma izin vermiyor? C standardı ne zaman?

Örtük tip dönüşümler genellikle güvensizdir ve C ++ yazarak C'den daha güvenli bir duruş sergiler.

C, çoğu zaman dönüşümün bir hata olduğu durumlarda bile, örtük dönüşümlere izin verir. Çünkü C programcının tam olarak ne yaptığını bildiğini varsayar ve eğer değilse, programcının problemidir, derleyicinin problemi değil.

C ++ genellikle potansiyel olarak hata olabilecek şeylere izin vermez ve niyetinizi bir tür cast ile açıkça belirtmenizi ister. Çünkü C ++ programcı dostu olmaya çalışıyor.

Daha fazla yazmaya başlamanızı gerçekten gerektirdiğinde, nasıl bir arkadaşlık olduğunu sorabilirsiniz.

Eh, görüyorsunuz, herhangi bir program dilinde, herhangi bir program dilinde herhangi bir kod satırı genellikle yazıldığından çok daha fazla okunacaktır (*). Bu nedenle, okuma kolaylığı yazma kolaylığından çok daha önemlidir. Ve okurken, potansiyel olarak güvensiz dönüşümlerin açık tip yayınlar ile göze çarpması, neler olup bittiğini anlamaya ve ne olduğunun gerçekte ne olduğuna dair kesin bir kesinliğe sahip olmaya yardımcı olur.

Ayrıca, açık oyuncu kadrosunu yazmanın zorluğu, sizi uyarmış olabileceğiniz, ancak asla olamadığınız yanlış bir görevin yol açtığı bir hatayı bulmak için saatlerce süren sorun giderme ile ilgili saatlerin uygunsuzluğuyla karşılaştırıldığında önemsizdir.

(*) İdeal olarak, sadece bir kez yazılır, ancak her biri yeniden kullanım için uygunluğunu belirlemek için incelemeye ihtiyaç duyduğu her zaman ve ne zaman sorun giderilirse ve birisinin yanına kod eklemesi gerektiğinde okunur. ve sonra her zaman yakın kodda sorun giderme vb. Bu, "bir kez yaz, koş, sonra fırlat" komutları dışında tüm durumlarda doğrudur ve bu nedenle çoğu komut dosyası dilinin, okuma kolaylığını tamamen ihmal ederek yazmayı kolaylaştıran bir sözdizimine sahip olması şaşırtıcı değildir. Perl'in tamamen anlaşılmaz olduğunu hiç düşündün mü? Yalnız değilsin. "Yalnızca yaz" dilleri gibi dilleri düşünün.

İşte Stroustrup ne diyor :

C'de, bir boşluğu * örtülü olarak bir T * biçimine dönüştürebilirsiniz. Bu güvensiz

Daha sonra, boşluğun * ne kadar tehlikeli olabileceğinin bir örneğini göstermeye devam ediyor ve şöyle diyor:

... Sonuç olarak, C ++ 'da bir boşluktan * T * almak için açık bir döküm yapmanız gerekir. ...

Sonunda, notları:

Bu güvenli olmayan dönüştürmenin C'deki en yaygın kullanımlarından biri, malloc () sonucunu uygun bir göstericiye atamaktır. Örneğin:

int * p = malloc (sizeof (int));

C ++ 'da typesafe new operatörünü kullanın:

int * p = yeni int;

C ++ 'ta Tasarım ve Evrim'de bu konuda daha fazla ayrıntıya giriyor .

Böylece cevap şunun için aşağıya düşer: Dil tasarımcısı, güvensiz bir model olduğuna inanır ve bu nedenle yasadışı yapılmasını sağlar ve modelin normalde ne için kullanıldığını yerine getirmenin alternatif yollarını sunar.

C'de, herhangi bir diğer işaretçi tipine boşluk * koymaya gerek yoktur, her zaman güvenli bir şekilde yükseltilir.

Her zaman terfi ettirilir, evet ama zor bir şekilde .

C ++ bu davranışı tam olarak devre dışı bırakır, çünkü C'den daha güvenli bir tür sistemine sahip olmaya çalışır ve bu davranış güvenli değildir .

Genel olarak aşağıdaki 3 dönüşüm türünü ele aldığınızı düşünün:

1. kullanıcıyı her şeyi yazmaya zorlar, böylece tüm dönüşümler açıktır
2. Kullanıcının ne yaptığını bildiğini varsayalım ve herhangi bir türü diğerine dönüştürün
3. güvenli tip jenerik (şablonlar, yeni ifadeler), açık kullanıcı tanımlı dönüşüm operatörleri ile tam bir tür sistem uygulayın ve yalnızca derleyicinin göremediği şeylerin açıkça dönüştürülmesini zorunlu kılın

Eh, 1 çirkin ve bir şeyi yapmanın önündeki pratik bir engel, ancak gerçekten çok dikkatli olunması gerektiğinde kullanılabilir. C, kabaca 2'nin daha kolay, ancak uygulanması daha kolay olan C ++ 'ı tercih etti.

Tanım olarak, boş bir işaretçi herhangi bir şeye işaret edebilir. Herhangi bir işaretçi boş işaretçiye dönüştürülebilir ve böylece geri gelen aynı değerde geri dönüştürebilirsiniz. Ancak, diğer türlere yönelik işaretçilerin hizalama kısıtlamaları gibi kısıtlamaları olabilir. Örneğin, karakterlerin herhangi bir hafıza adresini işgal edebileceği, ancak tamsayıların adres sınırlarında bile başlaması gereken bir mimari düşünün. Bazı mimarilerde, tamsayı işaretçiler bir seferde 16, 32 veya 64 bit sayarlar, böylece bir karakter * aslında bellekte aynı yere işaret ederken int * 'nin sayısal değerinin bir katına sahip olabilir. Bu durumda, bir boşluktan * dönüştürme aslında kurtarılamayan ve bu nedenle geri dönüşü olmayan bitleri tamamlar.

Basitçe söylemek gerekirse, boşluk işaretçisi, diğer işaretçilerin işaret edemeyeceği şeyler dahil, herhangi bir şeyi işaret edebilir. Bu nedenle, boş göstericiye dönüştürme güvenlidir, ancak tersi olmaz.