Bu tanımlanmamış davranış için gerekçe nedir?

Question

[...] Uyarı: tanımsız davranışı: Uçucu erişimlerin sırası bu hat tanımsız davranıştır Neden bu açıklama x.cpp xxx

tanımlanmamış?

volatile short const *VREFINT_CAL = (short *) 0x1FFFF7BA; 

ve

volatile STRUCT_ADC_DR *ADC_DR = (STRUCT_ADC_DR*) 0x40012440; 

tarafından tanımlanan:

typedef struct 
{ 
    unsigned DATA   : 16; 
    unsigned    : 16; 
} STRUCT_ADC_DR; 

bunu mi derleyici konusunda emin olmadığı için beyanlar/ilklenmeleri olan

case 2: 
    Vdda = 3.3 * (*VREFINT_CAL)/ADC_DR->DATA; 

uçucu elemanlar farklı davranabilir erişildikleri sırada? (Durum nedir?)

Ancak, hesaplamalar aynı önceliklere sahip olduğundan, hesaplamanın soldan sağa doğru yapılmasını sağlamamalı mıyım?

Answer 1

volatile, derleyici için normal bir bellek adresi olmayan bir G/Ç bağlantı noktası gibi bir şey okuduğunuz anlamına gelir. Bu tür iki okuma için, bu okumaların belli bir düzende gerçekleşmesini isteyeceksiniz.

Hem C hem de C++ 'da, işlenenlerin değerlendirme sırası tanımlanmamıştır. Eğer size yardımcı olur, bir işlev çağrısı olarak bölünme düşünüyorum:

Vdda = 3.3 * divide(*VREFINT_CAL, ADC_DR->DATA); 

nokta şimdi, işte bu düzen önemlidir olasıdır volatile için, derleyiciye bu kararı ayrılmak istemeyebilir . Bu yüzden bu konuda uyardı.

Uyarıdan kurtulmak için, kodunuza ek sıralama noktaları ekleyerek siparişi açıkça verin. Örneğin:

short const x = *VREFINT_CAL; 
unsigned const y = ADC_DR->DATA; 
Vdda = 3.3 * x/y; 

Answer 2

Eğer değerlendirmenin ait düzen ve öncelik arasındaki farkı bilmek zorunda Bunu anlamak için.

örneğin, ifadeyi ele alalım:

Vdda = 3.3 * (*VREFINT_CAL)/ADC_DR->DATA; 

Öncelik (ve parantez) soyut sözdizimi ağacı (AST) oluşturulma biçimi belirler. Sonuç şöyle olur:

= 
    Vdda 
    * 
    3.3 
    /
     * 
     VREFINT_CAL 
     -> 
     ADC_DR 
     DATA 

Değerlendirme sırası sıralama noktalarının varlığıyla belirlenir. Ve kodunuzun, ifadenin sonunda (;) yalnızca bir sıra noktası vardır. Bu nedenle herhangi bir alt ifadenin değerlendirilme sırası belirtilmemiş olur. Yani derleyici, uygun gördüğü herhangi bir sırayla herhangi bir ara hesaplama ve hafıza erişimi yapabilir. Bazı insanlar, alt ifadelerin soldan sağa doğru değerlendirildiğini düşünmeyi severler, fakat bu dilin işleyiş şekli değildir.

Normalde herhangi bir fark yapmaz, ancak alt ifadelerin iki volatile (*VREFINT_CAL ve ADC_DR->DATA) böylece sipariş konularda vardır. Belki sizin için önemli değil, ama kesinlikle derleyicide önemlidir.

short a = *VREFINT_CAL; 
unsigned b = ADC_DR->DATA; 
Vdda = 3.3 * a/b;