«undefined-behavior» etiketlenmiş sorular

Aşağıdaki gibi kod kullanımını merak ediyorum int result = 0; int factor = 1; for (...) { result = ... factor *= 10; } return result; Döngü ndefalarca yinelenirse , tam olarak factorçarpılır . Ancak, sadece toplam kez çarpıldıktan sonra kullanılır . Döngünün son yinelemesi dışında asla taşmadığını varsayarsak , …

56 c++  undefined-behavior 

AFAIK, 0 boyutlu bir statik bellek dizisi oluşturamasak da dinamik dizilerle yapabiliriz: int a[0]{}; // Compile-time error int* p = new int[0]; // Is well-defined Okuduğum pgibi, tek uçlu bir eleman gibi davranıyor. İşaret eden adresi yazdırabilirim p. if(p) cout << p << endl; Her ne kadar yineleyicilerle (geçmiş son …

34 c++  pointers  undefined-behavior  dynamic-arrays 

K&R (C Programlama Dili 2. Baskı) bölüm 5'de aşağıdakileri okudum: İlk olarak, işaretçiler belirli koşullar altında karşılaştırılabilir. Eğer pve qardından ilişkiler gibi nokta aynı dizinin üyelerine ==, !=, <, >=düzgün, vb işleri. Bu da sadece aynı diziyi gösteren işaretçilerin karşılaştırılabileceği anlamına geliyor. Ancak bu kodu denediğimde char t = 't'; …

33 c  pointers  heap  undefined-behavior  memory-layout 

Aşağıdaki durumda bazı garip davranışlar (clang ve GCC) buldum. nodesBir elemanım, bir sınıf örneği olan bir vektörüm var Node. Daha sonra vektöre nodes[0]yeni eklenen bir fonksiyon çağırıyorum Node. Yeni Düğüm eklendiğinde, çağıran nesnenin alanları sıfırlanır! Bununla birlikte, işlev bittiğinde tekrar normale dönüyor gibi görünüyorlar. Bunun minimal tekrarlanabilir bir örnek olduğuna …

31 c++  vector  stdvector  undefined-behavior  push-back 

Bazı üyeleri başlatılmamış bir yapıyı kopyalamak geçerli mi? Tanımlanmamış bir davranış olduğundan şüpheleniyorum, ancak eğer öyleyse, başlatılmamış üyeleri bir yapıda (bu üyeler asla doğrudan kullanılmasa bile) bırakmayı oldukça tehlikeli hale getirir. Standartta buna izin veren bir şey olup olmadığını merak ediyorum. Örneğin, bu geçerli mi? struct Data { int a, …

29 c++  initialization  copy-constructor  undefined-behavior 

Kısa süre önce ve p < qne zaman farklı nesneler / diziler işaretçiler C yapmak tanımsız davranışı hakkında bir soru cevap . Bu beni düşündürdü: C ++ bu durumda aynı (tanımsız) davranışa sahiptir , ancak aynı zamanda işaretçilerin karşılaştırılabildiği zaman aynı şeyi döndürmesi ve yapamadıkları zaman tutarlı bir sıralama döndürmesi …

26 c  pointers  undefined-behavior  memory-model  memory-segmentation 

C ++ 'da sabit ifadelerin çok düzgün bir özelliği vardır: değerlendirmelerinin tanımlanmamış davranışı olamaz ( 7.7.4.7 ): E ifadesi, soyut makinenin kurallarına ([intro.execution]) uygun olarak e değerlendirmesi aşağıdakilerden birini değerlendirmediği sürece, temel sabit bir ifadedir: ... bu belgenin [intro] ila [cpp] 'de belirtildiği gibi tanımlanmamış davranışa sahip bir işlem [Not: …

16 c++  undefined-behavior  c++20  consteval 

Bir programın sonlanması gerekiyor mu? Diğer bir deyişle, teknik olarak Tanımsız Davranış sonsuza dek çalışan bir program mı? Bunun boş döngülerle ilgili olmadığını unutmayın. Sonsuza kadar "şeyler" (yani gözlemlenebilir davranış) yapan programlar hakkında konuşmak. Örneğin böyle bir şey: int main() { while (true) { try { get_input(); // calls IO …

15 c++  language-lawyer  undefined-behavior 

Bir dizi veri girişi ve işaretçiler kullanarak başka bir veri dizisi çıktı bir işlev yazmak istiyorum. Ben her ikisi de sonuç ne olduğunu merak ediyorum srcve dstaynı adres işaret çünkü derleyici const için optimize edebilirsiniz biliyorum. Tanımlanmamış bir davranış mı? (Hem C hem de C ++ ile etiketledim, çünkü cevabın …

14 c++  c  const  undefined-behavior 

tl; dr: Sanırım static_vector'um tanımlanmamış bir davranışa sahip, ama bulamıyorum. Bu sorun, Microsoft Visual C ++ 17 üzerinde. Bu basit ve bitmemiş static_vector uygulama, yani yığın tahsis edilebilir sabit kapasiteli bir vektör var. Bu std :: aligned_storage ve std :: launder kullanan bir C ++ 17 programıdır. Soruyla alakalı olduğunu …

12 c++  segmentation-fault  c++17  undefined-behavior 

Bir iş arkadaşı şunu yazmak istedi: std::string_view strip_whitespace(std::string_view sv); std::string line = "hello "; line = strip_whitespace(line); Ben dönen söyledi string_viewbeni huzursuz yapılan önsel , ve dahası, örtüşme burada bana UB benziyordu. line = strip_whitespace(line)Bu durumda eşdeğer olduğunu kesin olarak söyleyebilirim line = std::string_view(line.data(), 5). Buna string::operator=(const T&) [with T=string_view]eşdeğer …

11 c++  stl  undefined-behavior 

Aşağıdaki (tutarlı örnek) iyi mi yoksa tanımsız davranış mı? // undefined behavior? const auto& c = SomeClass{}; // use c in code later const auto& v = c.GetSomeVariable();

11 c++  c++11  const  undefined-behavior 

*.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 = …

10 c++  c  undefined-behavior 

Aşağıda Tanımlanmamış Davranış için IIFE (Hemen Lambda-Axpression olarak adlandırılır) olarak ifade edilen iki test durumu bulunmaktadır: constexpr auto test3 = []{ int* p{}; { int x{}; p = &x; } return *p; // Undefined Behaviour }(); // IIFE constexpr auto test4 = []{ int x = std::numeric_limits<int>::min(); int y = …

9 c++  undefined-behavior  constexpr  avr-gcc 

Şüpheli bir iddiayı araştırırken , bu küçük test programını yazdımnoway.c int proveit() { unsigned int n = 0; while (1) n++; return 0; } int main() { proveit(); return 0; } Bunu test, anladım: $ clang -O noway.c $ ./a.out zsh: illegal hardware instruction ./a.out Wat. Optimizasyon olmadan derlersem beklendiği …

9 c  standards  undefined-behavior