Чисто виртуальные классы. Модификатор const

HighPredator · Регистрация: 10.12.2010

Приветствую всех! Известно, что чисто виртуальный (абстрактный) класс можно получить

следующим образом.

C++

class A
{
public:
    virtual void test()=0;
};

На просторах рунета в онлайн-учебнике встретил следующий пример абстрактного класса:

C++

class A
{
public:
    virtual void test()const=0;
};

И получается так, что я ничего даже с его наследниками не могу сделать. Попытка инстанцировать наследника пресекается компилятором. Отсюда вопросы:
1) что это за чудо?
2) как его применять и где?
Заранее спасибо!

@igorrr37 · 18.03.2012, 16:37

чтобы инстанцировать, надо реализовать все чисто виртуальные методы

C++

#include <iostream>
#include <memory>
 
class Animal
{
public:
    virtual void CanItFly() const = 0;
    virtual ~Animal()
    {
        std::cout << "~Animal\n";
    }
};
 
class Cow : public Animal
{
public:
    virtual void CanItFly() 
    {
        std::cout << "No\n";
    }
    virtual ~Cow()
    {
        std::cout << "~Cow\n";
    }
};
 
int main()
{
    std::unique_ptr<Animal> pa(new Cow);
    pa -> CanItFly();
    return 0;
}

HighPredator · 18.03.2012, 17:01 **[ТС]**

Сообщение от igorrr37

надо реализовать все чисто виртуальные методы

Ну вот, например:

C++

#include<iostream>
 
using namespace std;
 
class A
{
public:
    virtual void test()const=0;
};
 
class B:public A
{
public:
    virtual void test();
};
 
void B::test()
{
    cout<<"In class B!"<<endl;
}
 
int main()
{
    B t;
    t.test();
    return 0;
}

Так вот это не компилируется со словами:

Код

error C2259: 'B' : cannot instantiate abstract class

Добавлено через 1 минуту
igorrr37, ваш код, кстати, тоже.

@Nameless One · 18.03.2012, 17:04

Все логично. Сигнатура метода test класса A не совпадает с сигнатурой метода test класса B

C++

#include<iostream>
 
using namespace std;
 
class A
{
public:
        virtual void test()const=0;
};
 
class B:public A
{
public:
        virtual void test() const;
};
 
void B::test() const
{
        cout<<"In class B!"<<endl;
}
 
int main()
{
        B t;
        t.test();
        return 0;
}

@Nameless One · 18.03.2012, 17:09

Сообщение от HighPredator

igorrr37, ваш код, кстати, тоже.

все то же самое:

C++

#include <iostream>
#include <memory>
 
class Animal
{
public:
    virtual void CanItFly() const = 0;
    virtual ~Animal()
    {
        std::cout << "~Animal\n";
    }
};
 
class Cow : public Animal
{
public:
    virtual void CanItFly() const
    {
        std::cout << "No\n";
    }
    virtual ~Cow()
    {
        std::cout << "~Cow\n";
    }
};
 
int main()
{
    std::unique_ptr<Animal> pa(new Cow);
    pa -> CanItFly();
    return 0;
}

Добавлено через 2 минуты
А ругался компилятор потому, что в классе-потомке не переопределялась «чистая» функция, а определялось ее неконстантная перегрузка. Таким образом, класс-потомок тоже становился абстрактным, что и приводило к ошибке компиляции

HighPredator · 18.03.2012, 17:10 **[ТС]**

Nameless One, спасибо за разъяснение. Теперь такой вопрос: на что влияет модификатор const в данном случае?

@Nameless One · 18.03.2012, 17:18

HighPredator, он говорит, что метод не меняет поля класса, и, следовательно, он может вызываться для константных экземпляров класса.

C++

#include <iostream>
 
class Foo
{
    int _i;
    
public:
    Foo(int i)
    : _i(i)
    {
    }
 
    // неконстантный метод: изменяет поле _i экземпляра
    int set(int i)
    {
    return _i = i;
    }
 
    // константный метод: не изменяет поле _i
    int get() const
    {
    return _i;
    }
};
    
int main()
{
    const Foo f(3);
    Foo g(5);
    
    std::cout << f.get() << std::endl;
 
    // ошибка компиляции (f - константа):
    // std::cout << f.set(5) << std::endl;
 
    // тут ошибки нет
    std::cout << g.set(8) << std::endl;
}

Croessmah · 14.03.2013, 15:57

В дополнение к посту 7 - в константных методах можно изменять mutable поля.

HighPredator 5980 / 2106 / 737 Регистрация: 10.12.2010 Сообщений: 5,923 Записей в блоге: 3
	18.03.2012, 17:10 [ТС]	6
	Nameless One, спасибо за разъяснение. Теперь такой вопрос: на что влияет модификатор const в данном случае? 0

Croessmah Don't worry, be happy 16958 / 9837 / 1895 Регистрация: 27.09.2012 Сообщений: 24,392 Записей в блоге: 2
	14.03.2013, 15:57	8
	В дополнение к посту 7 - в константных методах можно изменять mutable поля. 1

Опции темы

Чисто виртуальные классы. Модификатор const

Решение