Різниця між `const shared_ptr <T>` та `shared_ptr <const T>`?

Я пишу метод аксесуара для спільного вказівника на C ++, який виглядає приблизно так:

class Foo {
public:
    return_type getBar() const {
        return m_bar;
    }

private:
    boost::shared_ptr<Bar> m_bar;
}

Отже, для підтримки константності getBar()повернення типу повинно бути таке, boost::shared_ptrщо не дозволяє модифікувати Barйого, на які вказує. Я здогадуюсь , що shared_ptr<const Bar>саме до цього типу я хочу повернутися, тоді як const shared_ptr<Bar>перешкоджатиме переназначенню самого вказівника вказувати на інше, Barале допускати модифікацію того, на Barщо вказує ... Однак я не впевнений. Буду вдячний, якщо хтось, хто знає напевно, міг би це підтвердити, або виправити мене, якщо я помилився. Дякую!

Ти правий. shared_ptr<const T> p;аналогічно const T * p;(або, що те ж саме, T const * p;), тобто, загострений об'єкт , constтоді як const shared_ptr<T> p;аналогічна T* const p;це означає , що pє const. Підсумовуючи:

shared_ptr<T> p;             ---> T * p;                                    : nothing is const
const shared_ptr<T> p;       ---> T * const p;                              : p is const
shared_ptr<const T> p;       ---> const T * p;       <=> T const * p;       : *p is const
const shared_ptr<const T> p; ---> const T * const p; <=> T const * const p; : p and *p are const.

Те саме стосується weak_ptrі unique_ptr.

boost::shared_ptr<Bar const>запобігає модифікації Barоб'єкта через загальний покажчик. Як повернене значення, const boost::shared_ptr<Bar> constозначає, що ви не можете викликати функцію non-const на поверненій тимчасовій; якби це був справжній покажчик (напрBar* const ), він був би повністю проігнорований.

Взагалі навіть тут діють звичайні правила: constмодифікує те, що йому передує: in boost::shared_ptr<Bar const>, the Bar; в boost::shared_ptr<Bar> const, це інстанція (вираз, boost::shared_ptr<Bar>який є const.

#Check this simple code to understand... copy-paste the below code to check on any c++11 compiler

#include <memory>
using namespace std;

class A {
    public:
        int a = 5;
};

shared_ptr<A> f1() {
    const shared_ptr<A> sA(new A);
    shared_ptr<A> sA2(new A);
    sA = sA2; // compile-error
    return sA;
}

shared_ptr<A> f2() {
    shared_ptr<const A> sA(new A);
    sA->a = 4; // compile-error
    return sA;
}

int main(int argc, char** argv) {
    f1();
    f2();
    return 0;
}

Я хотів би просту демонстрацію на основі відповіді @Cassio Neri:

#include <memory>

int main(){
    std::shared_ptr<int> i = std::make_shared<int>(1);
    std::shared_ptr<int const> ci;

    // i = ci; // compile error
    ci = i;
    std::cout << *i << "\t" << *ci << std::endl; // both will be 1

    *i = 2;
    std::cout << *i << "\t" << *ci << std::endl; // both will be 2

    i = std::make_shared<int>(3);
    std::cout << *i << "\t" << *ci << std::endl; // only *i has changed

    // *ci = 20; // compile error
    ci = std::make_shared<int>(5);
    std::cout << *i << "\t" << *ci << std::endl; // only *ci has changed

}