Beni doğru dürüst sat

Öyleyse neden her zaman const'ı olabildiğince sık kullanmanız önerilir? Bana öyle geliyor ki const kullanmak C ++ 'da bir yardımdan daha fazla acı verici olabilir. Ama sonra tekrar, ben buna python perspektifinden geliyorum: eğer bir şeyin değiştirilmesini istemiyorsanız, onu değiştirmeyin. Bununla birlikte, işte birkaç soru:

1. Görünüşe göre bir şeyi const olarak her işaretlediğimde, bir hata alıyorum ve başka bir işlevi de sabit olmak için bir yerde değiştirmem gerekiyor. O zaman bu, başka bir yerde başka bir işlevi değiştirmeme neden oluyor . Bu deneyimle daha da kolaylaşan bir şey mi?

2. Const kullanmanın faydaları , sorunu telafi etmek için gerçekten yeterli mi? Bir nesneyi değiştirmeyi düşünmüyorsanız, neden onu değiştirmeyen bir kod yazmıyorsunuz?

Bu noktada, en çok doğruluk ve sürdürülebilirlik amaçları için const kullanmanın faydalarına odaklandığımı belirtmeliyim, ancak performans etkileri hakkında bir fikre sahip olmak da güzel.

Bu, "sabit doğruluk" ile ilgili kesin makaledir: https://isocpp.org/wiki/faq/const-correctness .

Özetle, const kullanmak iyi bir uygulamadır çünkü ...

1. Sizi yanlışlıkla değiştirilmesi amaçlanmayan değişkenleri değiştirmekten korur,
2. Sizi yanlışlıkla değişken atamalar yapmaktan korur ve

3. Derleyici bunu optimize edebilir. Örneğin, korunuyorsunuz

   if( x = y ) // whoops, meant if( x == y )

Aynı zamanda, derleyici daha verimli kod üretebilir çünkü değişkenin / fonksiyonun durumunun her zaman tam olarak ne olacağını bilir. Sıkı C ++ kodu yazıyorsanız, bu iyidir.

Sabit doğruluğu tutarlı bir şekilde kullanmanın zor olabileceği konusunda haklısınız, ancak son kod daha kısa ve programlanması daha güvenlidir. Çok fazla C ++ geliştirme yaptığınızda, bunun faydaları hızla ortaya çıkar.

İşte sabit doğruluğun sizi karşı koruyabileceği yaygın bir hataya sahip bir kod parçası:

void foo(const int DEFCON)
{
   if (DEFCON = 1)     //< FLAGGED AS COMPILER ERROR! WORLD SAVED!
   {
       fire_missiles();
   }
}

Görünüşe göre bir şeyi const olarak her işaretlediğimde, bir hata alıyorum ve başka bir işlevi de sabit olacak şekilde değiştirmem gerekiyor. O zaman bu, başka bir yerde başka bir işlevi değiştirmeme neden oluyor. Bu deneyimle daha da kolaylaşan bir şey mi?

Tecrübeye göre bu tam bir efsanedir. Sabit doğru olmayan sabit doğru kodla oturduğunda olur, elbette. Baştan itibaren const-true tasarlarsanız, bu ASLA bir sorun olmamalıdır. Bir şeyi const yaparsanız ve sonra başka bir şey derlemezse, derleyici size son derece önemli bir şey söylüyor demektir ve bunu düzgün bir şekilde düzeltmek için zaman ayırmalısınız .

Başlangıçta kodu yazarken size göre değil. Ne yaptığını görmek için sınıf veya arayüz içindeki yöntem bildirimine bakan bir başkası (veya birkaç ay sonra siz) için. Bir nesneyi değiştirmemek, bundan elde edilecek önemli bir bilgi parçasıdır.

Sabit'i titizlikle kullanırsanız, çoğu işlevde ne kadar az gerçek değişken olduğuna şaşıracaksınız. Genellikle bir döngü sayacından fazlası değildir. Kodunuz o noktaya ulaşıyorsa, içten bir sıcak his alırsınız ... derleme yoluyla doğrulama ... işlevsel programlama alanı yakında ... hemen hemen ona dokunabilirsiniz ...

const, bir geliştirici olarak verdiğiniz ve zorlama konusunda derleyicinin yardımını aldığınız bir sözdür.

Sabit doğru olma nedenlerim:

• Fonksiyonunuzun istemcilerine değişkeni veya nesneyi değiştirmeyeceğinizi bildirir.
• Sabit referansına göre bağımsız değişkenleri kabul etmek, değere göre geçişin güvenliğiyle birlikte referansa göre geçirme verimliliği sağlar.
• Arayüzlerinizi doğru olarak yazmak, istemcilerin bunları kullanmasını sağlayacaktır. Arayüzünüzü const olmayan referansları alacak şekilde yazarsanız, const kullanan istemcilerin sizinle çalışmak için sabitliği ortadan kaldırması gerekir. Arayüzünüz sabit olmayan char * 'ları kabul ediyorsa ve istemcileriniz std :: strings kullanıyorsa, bu özellikle can sıkıcıdır, çünkü onlardan yalnızca bir const char * alabilirsiniz.
• Const kullanmak, derleyicinin sizi dürüst tutmasını sağlar, böylece değişmemesi gereken bir şeyi yanlışlıkla değiştirmezsiniz.

Benim felsefem, derleme zamanı kontrolleriyle birlikte nit-seçici bir dil kullanacaksanız, onu en iyi şekilde kullanmaktansa onu kullanabileceğinizdir. constne demek istediğinizi iletmenin derleyicinin zorladığı bir yoldur ... yorumlardan veya doxygen'in olmayacağı şeyden daha iyidir. Bedelini ödüyorsunuz, neden değeri türetmiyorsunuz?

C ++ 'ın const olmadan programlanması, emniyet kemeri takılmadan sürmek gibidir.

Arabaya her bastığınızda emniyet kemerini takmak çok acı ve 365 günün 364'ünü güvenle varacaksınız.

Tek fark, arabanızla başınız derde girdiğinde onu hemen hissedeceksiniz, oysa const olmadan programlamayla, yalnızca yanlışlıkla bir işlev argümanını bozduğunuzu bulmak için bu kazaya neyin neden olduğunu iki hafta boyunca aramanız gerekebilir. verimlilik için const olmayan bir referansla geçtiniz.

Gömülü programlama için, constglobal veri yapılarını bildirirken mantıklı bir şekilde kullanmak , sabit verilerin ROM'da veya önyükleme sırasında RAM'e kopyalanmadan flaşta bulunmasına neden olarak çok fazla RAM tasarrufu sağlayabilir.

Günlük programlamada constdikkatli kullanmak, dize değişmezlerini ve diğer sabit global verileri değiştirmeye çalıştıkları için çöken veya beklenmedik şekilde davranan programları yazmaktan kaçınmanıza yardımcı olur.

Büyük projelerde diğer programcılarla çalışırken, constdoğru şekilde kullanmak , diğer programcıların sizi kısıtlamasını önlemeye yardımcı olur.

constarkanızda "bir şeyleri değiştiren" kodu izole etmenize yardımcı olur. Yani, bir sınıfta, nesnenin durumunu değiştirmeyen tüm yöntemleri olarak işaretlersiniz const. Bunun anlamı şudur kiconst , o sınıfın örneklerinin artık constyöntem olmayan herhangi bir şeyi çağıramayacağı . Bu şekilde, yanlışlıkla nesnenizi değiştirebilecek işlevselliği çağırmanız engellenir.

Ayrıca, constaşırı yük mekanizmasının bir parçasıdır, bu nedenle aynı imzalara sahip, ancak biri olan constve olmayan iki yönteme sahip olabilirsiniz . İle bir constçağrılır constreferanslar, diğeri olmayan çağrılırconst referanslar.

Misal:

#include <iostream>

class HelloWorld {
    bool hw_called;

public:
    HelloWorld() : hw_called(false) {}

    void hw() const {
        std::cout << "Hello, world! (const)\n";
        // hw_called = true;  <-- not allowed
    }

    void hw() {
        std::cout << "Hello, world! (non-const)\n";
        hw_called = true;
    }
};

int
main()
{
    HelloWorld hw;
    HelloWorld* phw1(&hw);
    HelloWorld const* phw2(&hw);

    hw.hw();    // calls non-const version
    phw1->hw(); // calls non-const version
    phw2->hw(); // calls const version
    return 0;
}

const doğruluk, baştan beri gerçekten olması gereken şeylerden biridir. Bulduğunuz gibi, daha sonra eklemek büyük bir acı, özellikle de eklediğiniz yeni işlevler ile zaten var olan eski sabit olmayan işlevler arasında çok fazla bağımlılık olduğunda.

Yazdığım birçok kodda, gerçekten çabaya değdi çünkü kompozisyonu çok fazla kullanma eğilimindeyiz:

class A { ... }
class B { A m_a; const A& getA() const { return m_a; } };

Eğer sabit doğruluğu olmasaydı, o zaman kimsenin B sınıfının iç durumunu arkanızdan değiştirmediğinden emin olmak için karmaşık nesneleri değerine göre geri döndürmeye başvurmanız gerekirdi.

Kısacası, const -rectness kendinizi yolun aşağısındaki acılardan kurtarmak için savunmaya yönelik bir programlama mekanizmasıdır.

Python'da bir değişkeniniz olduğunu varsayalım. Sen değil biliyorum gerekiyordu değiştirmemen . Ya yanlışlıkla yaparsan?

C ++, kendinizi ilk başta yapamamanız gereken bir şeyi yanlışlıkla yapmaktan korumanın bir yolunu sunar. Teknik olarak bunun üstesinden gelebilirsiniz, ancak kendinizi vurmak için fazladan iş yapmanız gerekir.

Burada c ++ 'da const hakkında güzel bir makale var . Oldukça basit bir fikir ama umarım biraz yardımcı olur.

"Const" anahtar sözcüğünü kullandığınızda, sınıflarınız için başka bir arayüz belirtmiş olursunuz. Tüm yöntemleri içeren bir arabirim ve yalnızca const yöntemlerini içeren bir arabirim vardır. Açıkçası bu, değiştirilmesini istemediğiniz bazı şeylere erişimi kısıtlamanıza izin verir.

Evet, zamanla kolaylaşıyor.

Ben teoride sabit doğruluğu severim. Bunu pratikte titizlikle uygulamaya çalıştığım her seferde, sonunda bozuldu ve const_cast kodu çirkin hale getirmeye başladı.

Belki sadece kullandığım tasarım desenleridir, ancak const her zaman çok geniş bir fırça olur.

Örneğin, basit bir veritabanı motoru hayal edin ... şema nesneleri, tabloları, alanları vb. İçerir. Bir kullanıcının, tablo şemasının kendisini değiştirmesine izin verilmediği anlamına gelen bir 'const Table' işaretçisine sahip olabilir ... tabloyla ilişkili veriler? Insert () yöntemi const olarak işaretlenmişse, veritabanını fiilen işlemek için dahili olarak sabitleri başka yere çevirmesi gerekir. Sabit olarak işaretlenmemişse, AddField yönteminin çağrılmasına karşı koruma sağlamaz.

Belki yanıt, sınıfı sabitlik gereksinimlerine göre bölmek olabilir, ancak bu, tasarımı getirdiği fayda için istediğimden daha karmaşık hale getirme eğilimindedir.

Derleyiciye aşağıdaki koda göre const ile de ipuçları verebilirsiniz.

#include <string>

void f(const std::string& s)
{

}
void x( std::string& x)
{
}
void main()
{
    f("blah");
    x("blah");   // won't compile...
}