Tanımlanmamış C ++ davranışı C tanımlı davranışı karşılıyorsa ne olur?

*.cppC ++ ile derlediğim bir dosya var (C derleyicisi değil). İçerme işlevi, C'de tanımlandığı anlaşılan bir döküm (son satıra bakın) (bu, yanlışsam lütfen düzeltin!), Ancak bu özel tür için C ++ değil.

[...] C++ code [...]

struct sockaddr_in sa = {0};
int sockfd = ...;
sa.sin_family = AF_INET;
sa.sin_port = htons(port);
bind(sockfd, (struct sockaddr *)&sa, sizeof sa);

[...] C++ code [...]

Bunu bir C ++ dosyasında derlediğim için, şimdi tanımlanmış veya tanımlanmamış bir davranış mı? Yoksa *.ctanımlanmış davranış yapmak için bunu bir dosyaya taşımam gerekir mi?

Bu hem C ++ hem de C'de tanımlanır. Sonuçta ortaya çıkan işaretçiyi geri çevirmemesi nedeniyle katı takma düzenlemelerini ihlal etmez.

İşte C ++ 'dan (@interjay ve @VTT sayesinde) alıntı:

Bir nesne işaretçisi, açıkça farklı türde bir nesne işaretçisine dönüştürülebilir.

İşte bunu sağlayan C (teşekkürler @StoryTeller) alıntı :

Bir nesne türüne işaretçi farklı bir nesne türüne işaretçi olarak dönüştürülebilir.

Bunlar, bir işaretçi türünün sonuç olmadan başka bir işaretçi türüne dönüştürülebileceğini (ve sonra isteğe bağlı olarak geri dönüştürülebileceğini) belirtir.

İşte POSIX'in bu özel duruma izin veren alıntısı :

Sockaddr_in yapı İnternet adresi ailesi için adresleri saklamak için kullanılır. Bu tipteki göstergeler soket işlevleriyle kullanım için sockaddr * yapılandırması uygulamaları tarafından kullanılır.

Bu işlev ( bind) C standart kitaplığının bir parçası olduğundan, içeride ne olursa olsun (özellikle, tip döküm işaretçisinin kaydının kaldırılması) tanımlanmamış bir davranış yoktur.

Daha genel soruyu cevaplamak için:

C ve C ++ iki farklı dildir. C ile tanımlanmış ancak C ++ ile tanımlanmamışsa, C ile tanımlanmış ancak C ++ ile tanımlanmamıştır. İki dil arasında hiçbir örtük uyumluluk bunu değiştirmeyecektir. C'de iyi tanımlanmış ancak C ++'da tanımlanmamış bir kod kullanmak istiyorsanız, bu kodu derlemek için bir C derleyicisi kullanmanız gerekir.

C ve C ++ kodu arasındaki çağrıların tümü, ilgili standartlar açısından Tanımsız Davranışı çağırır, ancak çoğu platform bu tür şeyleri belirtir.

C veya C ++ Standardının bir bölümünün ve bir uygulamanın belgelerinin birlikte bir eylemi tanımladığı veya tanımladığı, ancak diğer bölümlerin Tanımsız olarak nitelendirdiği durumlarda, uygulamaların müşterilerinin ihtiyaçlarına en iyi şekilde hizmet edecek şekilde kod işlemesine izin verilir veya hangi moda uygun olursa olsun, müşteri ihtiyaçlarına kayıtsız kalır. Standardın kendi yetkileri dışındaki konuları dikkate alması, çeşitli amaçlara uygunluk iddiasında bulunan uygulamaların ne zaman ve / veya nasıl anlamlı bir şekilde işlenmesi gerektiğine dair herhangi bir yargı anlamına gelmez, ancak bazı derleyici sahiplerinin yaptığı bir efsaneye abone olmaları gerekir.