MISRA kural 13.6 açıklama

Question

Kural 13.6 devletleri gerekli: belirlemek için sizeof() operatörünün işlenen potansiyel yan affects.I bir kayıp am sahip herhangi
ifadesini içermemelidir nasıl bir operatör yan etkileri olan
olacak sizeof() operatörünün sonucunu etkiler.
Bu örnekle herhangi biri açıklanabilir mi?

void f(int32_t n) 
{ 
    size_t s; 
    s = sizeof(int32_t[n]); //Compliant 
    s = sizeof(int32_t[n++]); //Non Compliant 
} 

Veya herhangi biri daha anlaşılabilir bir örnek verebilir ve bununla ilgili bir açıklama yapabilir mi?

Answer 1

sizeof operatörü özel bir durumdur, genellikle yalnızca derleme zamanında değerlendirilir ve bir sabit ile değiştirilir. sizeof işleneni içindeki herhangi bir yan etkinin ("kod") gerçekte gerçekleştirilmeyeceği anlamına gelir.

sizeof(i++) // Bad! i will not get incremented 
sizeof(i=j) // Bad! i will not get a new value 
sizeof(func()) // Bad! The function will not get called 

(. Orada sizeof çalıştırma süresi içinde değerlendirilir tek istisna ve işlenen değişken uzunluklu dizi türü olduğu durumda)

MISRA belge temin eder: böcek örnekleri Tüm bunları açıklayan iyi mantık. İyi bir baskıyı okursanız, volatile değişkenleri için bir istisna vardır, çünkü bir ifadede böyle bir değişkenin varlığı, bir yan etki ortaya çıkarır (değişkeni okuma).

Answer 2

sizeof operatörüne girilen ifade değerlendirilmez. sizeof operatörüne yalnızca ifadenin türü çıkar ve girdi olarak kullanılır. Bunun anlamı, MISRA'ya uymayan durumlarda, n++, n,'un artırılmayacağı anlamına gelir. Bu biraz sezgisel olduğundan, MISRA hatalardan kaçınmak için yan etkileri olan ifadeleri kullanmamanızı önerir.