Ile i jakie są zastosowania "const" w C++?

Wyjaśnienie, używając kodu:

struct ScopeGuard { 
    ~ScopeGuard() { } // not virtual
};

template<typename T> struct Derived : ScopeGuard { 
    T t; 
    Derived(T t):t(t) { }
    ~Derived() {
        t(); // call function
    }
};

template<typename T> Derived<T> MakeGuard(T t) { return Derived<T>(t); }

Ten trik jest używany w klasie użytkowej Scopeguard Alexandrescu. Gdy czasownik wychodzi poza zasięg, Destruktor pochodnej jest wywoływany poprawnie. Powyższy kod brakuje kilku drobnych szczegółów, ale w tym tkwi problem.

Użyj const, aby powiedzieć innym metodom, że nie zmienią stanu logicznego tego obiektu.

struct SmartPtr {
    int getCopies() const { return mCopiesMade; }
};

Użyj const dla klas copy-on-write , aby kompilator pomógł Ci zdecydować, kiedy i kiedy nie musisz kopiować.

struct MyString {
    char * getData() { /* copy: caller might write */ return mData; }
    char const* getData() const { return mData; }
};

Explanation: możesz chcieć udostępnić dane podczas kopiowania czegoś tak długo, jak dane oryginalnego i kopiowanego obiektu pozostają to samo. Gdy jeden z obiektów zmieni dane, potrzebujesz teraz dwóch wersji: jednej dla oryginału i jednej dla kopii. Oznacza to, że kopiujesz na zapisujesz do dowolnego obiektu, tak aby oba obiekty miały swoją własną wersję.

użycie kodu :

int main() {
    string const a = "1234";
    string const b = a;
    // outputs the same address for COW strings
    cout << (void*)&a[0] << ", " << (void*)&b[0];
}

Powyższy fragment wyświetla ten sam adres w moim GCC, ponieważ używana biblioteka C++ implementuje kopię przy zapisie std::string. Oba ciągi, mimo że są odrębnymi obiektami, mają tę samą pamięć dla swoich string data. Tworzenie b non-const będzie preferowało wersję operator[] non-const, a GCC utworzy kopię bufora pamięci, ponieważ możemy go zmienić i nie może to wpływać na dane a!

int main() {
    string const a = "1234";
    string b = a;
    // outputs different addresses!
    cout << (void*)&a[0] << ", " << (void*)&b[0];
}

Dla konstruktora kopiującego do wykonywania kopii z obiektów const i tymczasowych :

struct MyClass {
    MyClass(MyClass const& that) { /* make copy of that */ }
};

Do tworzenia stałych, których trywialnie nie można zmienić

double const PI = 3.1415;

Do przekazywania dowolnych obiektów przez odniesienie zamiast o wartości - aby zapobiec ewentualnemu kosztownemu lub niemożliwemu przekazaniu wartości

void PrintIt(Object const& obj) {
    // ...
}