C ve C ++ 'da, hangi yöntemler denkliğin (==) gerekli olduğu (=) ödevinin yanlışlıkla kullanılmasını önleyebilir?

C ve C ++ 'da, aşağıdaki kodu ciddi bir hatayla yazmak çok kolaydır.

char responseChar = getchar();
int confirmExit = 'y' == tolower(responseChar);
if (confirmExit = 1)
{
    exit(0);
}

Hata, if ifadesinin olması gerektiğidir:

if (confirmExit == 1)

Kodlanmış olarak, her seferinde çıkacaktır, çünkü confirmExitdeğişkenin ataması gerçekleşir, ardından confirmExitifadenin sonucu olarak kullanılır.

Bu tür bir hatayı önlemenin iyi yolları var mı?

En iyi teknik derleyicinizin uyarı seviyesini arttırmaktır. Daha sonra, eğer koşullu ise potansiyel atama konusunda sizi uyaracaktır.

Kodunuzu sıfır uyarılarla derlediğinizden emin olun (yine de yapmanız gerekir). Bilgiçlik taslamak istiyorsanız, derleyicinizi uyarıları hata olarak değerlendirecek şekilde ayarlayın.

Yoda koşullarını kullanmak (sabiti sol tarafa koymak) on yıl önce popüler olan başka bir teknikti. Ancak kodu okumayı zorlaştırırlar (ve böylece okudukları doğal olmayan yoldan dolayı (Yoda değilseniz)) ve uyarı düzeyini arttırmaktan daha fazla fayda sağlamazlar (ayrıca daha fazla uyarının ekstra faydaları vardır).

Uyarılar koddaki gerçekten mantıklı hatalardır ve düzeltilmesi gerekir.

Yazılımınızı test etmek gibi her zaman radikal bir şey yapabilirsiniz. Otomatik birim testleri bile demek istemiyorum, sadece deneyimli her geliştiricinin yeni kodunu iki kez çalıştırarak alışkanlıktan çıktığı testler, bir kez çıkış onaylandı ve bir kez değil. Çoğu programcının bunu bir sorun olarak görmemesinin nedeni budur.

İfade içinde atamaların yanlış kullanımını önlemenin geleneksel bir yolu sabiti sola, değişkeni sağa yerleştirmektir.

if (confirmExit = 1)  // Unsafe

if (1=confirmExit)    // Safe and detected at compile time.

Derleyici, aşağıdakine benzer bir sabite geçersiz bir atama hatası bildirir.

.\confirmExit\main.cpp:15: error: C2106: '=' : left operand must be l-value

Gözden geçirilmiş durum şöyle olur:

  if (1==confirmExit)    

Aşağıdaki yorumlarda gösterildiği gibi, bu birçok kişi tarafından uygunsuz bir yöntem olarak kabul edilir.

Herkes "derleyici uyarıları" diyerek katılıyorum ama başka bir teknik eklemek istiyorum: Kod değerlendirmeleri. Taahhüt edilen tüm kodları, tercihen tamamlanmadan önce gözden geçirme politikanız varsa, muhtemelen bu tür bir şey inceleme sırasında yakalanır.

İlk olarak, uyarı seviyenizi yükseltmek asla acıtmaz.

Eğer koşulunuzun if ifadesinin içindeki bir ödevin sonucunu test etmesini istemiyorsanız, yıllar boyunca birçok C ve C ++ programcısıyla çalışmış ve sabitin ilk önce karşılaştırıldığını hiç duymamışsınızdır. if(1 == val) kötü bir şey , bu yapıyı deneyebilir.

Proje lideriniz bunu yaptığınızı onaylarsa, diğer insanların ne düşündüğü konusunda endişelenmeyin. Gerçek kanıt, siz veya bir başkasının kodunuzu aylar ve yıllar sonra anlamlandırabileceğidir.

Bununla birlikte, bir ödevin sonucunu test etmek istiyorsanız, daha yüksek uyarılar kullanmak ödevi bir sabite takmış olabilir (muhtemelen).

Partiye her zamanki gibi geç, ama burada Statik Kod Analizi anahtar

Çoğu IDE derleyicinin sözdizimsel kontrolü üzerinde ve üzerinde SCA sağlar ve MISRA (*) ve / veya CERT-C yönergelerini uygulayanlar da dahil olmak üzere başka araçlar da mevcuttur.

Beyan: MISRA C çalışma grubunun bir üyesiyim, ancak kişisel sıfatla gönderiyorum. Ayrıca herhangi bir araç satıcısından bağımsızım

Sadece sol taraftaki atamayı kullanın, derleyici uyarıları yardımcı olabilir, ancak doğru seviyeye ulaştığınızdan emin olmanız gerekir, aksi takdirde anlamsız uyarılarla gömüleceksiniz veya görmek istedikleriniz söylenmeyecektir.