Могут ли унаследованные классы быть const? [Дубликат]

Используйте член данных или частный базовый класс вместо общедоступного базового класса.

Затем вы контролируете доступ к этому члену.

Вы можете сделать свойство Property абстрактным интерфейсом, если вам нужно полиморфное поведение.

Вы можете использовать класс шаблона и специализацию для константного типа:

    template<typename T> class base_property {
    protected:
      T value;
    };
    template<typename T> class property : public base_property<T> {
    public:
      const T& get()const { return value; }
      void set(const T& v){ value = v; }
    };

    template<typename T> class property<const T> : public base_property<T> {
    public:
      const T& get()const { return value; }
    };

    class ConstChild : public property<const int>{ };

У меня есть трюк, а не чистое решение.

class ConstChild : private Property
{
    operator const Property () { return *this; }
};

, затем

ConstChild cc;
cc.set(10); // ERROR
cc().get();

У меня возникла необходимость в связанной проблеме, которая заключается в том, чтобы действительно контролировать / выделять изменяемый и const-доступ для некоторого класса. Я сделал это с помощью этой простой многоразовой обертки шаблона:

template <typename T>
class TAccessor : private T
{
public:
    const T&    Const() const { return *this; }
    T&          Mutable() { return *this; }
};

// Example of use:
template <typename T>
using MyVector = TAccessor<std::vector<T>>;


void main()
{
    MyVector<int> vector;

    vector.Mutable().push_back(10);

    int x = vector.Const()[1];
    ...
}

Если вы создаете функцию const члена set, вы получите то, что вам нужно.

class Property
{
    int get() const;
    void set(int a);
};

class ConstChild : public Property
{
    void set(int a) const {}
};

Единственное предостережение в том, что хитрый пользователь может обойти ваше намерение, используя:

ConstChild child;
child.set(10);    // Not OK by the compiler

Property& base = child;
base.set(10);    // OK by the compiler

Я хотел бы наследовать от класса с помощью спецификатора const

. Как бы вы ни хотели, это не имеет значения. Вы не можете. Это недопустимо C ++.

Можно ли каким-либо образом использовать ключевое слово const для наследования? "

No.

Внести изменчивость позже в ваше дерево наследования и получить соответствующий результат:

class Property
{
    int get() const;
};
class MutableProperty : public Property {
{
    void set(int a);
};

И затем:

class ConstChild : public Property { ... };
class MutableChild : public MutableProperty { ... };