////////////////////////////////////////////////////////////////////////////////
//class TCheck

class TCheck
{
 public:
  virtual void check()const=0;
};//class TCheck

////////////////////////////////////////////////////////////////////////////////
//class TAccessor

class TAccessor
{
 public:
  virtual const TCheck* get_check()const=0;
};//class TCheck

////////////////////////////////////////////////////////////////////////////////
//class TObject

class TObject:public TAccessor
{
 public:
  //Формально оно не должно же этой функцией реализовывать TAccessor::get_check
  virtual /*const*/ TCheck* get_check()const override;
};//class TObject

//------------------------------------------------------------------------
TCheck* TObject::get_check()const
{
 return 0;
}//get_check

////////////////////////////////////////////////////////////////////////////////

int main()
{
 TObject obj;

 return 0;
}//main

////////////////////////////////////////////////////////////////////////////////

struct Base {
    virtual ~Base() {}

    Base* Clone() const { return new Base( *this ); }
};

struct Der : Base {
    Der* Clone() const { return new Der( *this ); }
};

struct Base { virtual const Base* This() { return this; } };
struct Der : Base { Base* This() override { return this; } } testObj;

The return type of an overriding function shall be either identical to the return type of the overridden function or covariant with the classes of the functions. If a function D::f overrides a function B::f, the return types of the functions are covariant if they satisfy the following criteria:
— both are pointers to classes, both are lvalue references to classes, or both are rvalue references to classes
— the class in the return type of B::f is the same class as the class in the return type of D::f, or is an unambiguous and accessible direct or indirect base class of the class in the return type of D::f
— both pointers or references have the same cv-qualification and the class type in the return type of D::f has the same cv-qualification as or less cv-qualification than the class type in the return type of B::f.

E>Так у этой функции сигнатура та же, другое только возвращаемое значение...

E>попробуй поменять в наследнике именно сигнатуру, например константность самого метода, и посмотри на что и как будет ругаться

Ошибка 1 error C3668: TObject::get_check: метод со спецификатором переопределения "override" не переопределяет какие-либо методы базового класса D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 25
Ошибка 2 error C2259: TObject: невозможно создать экземпляр абстрактного класса D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 38

Ошибка 1 error C2555: TObject::get_check: возвращаемый тип перегруженной виртуальной функции отличается от "TAccessor::get_check" и не является ковариантным D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 26
Ошибка 2 error C2556: TCheck *TObject::get_check(void) const: перегруженная функция отличается от "int *TObject::get_check(void) const" только возвращаемым типом D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 30
Ошибка 3 error C2371: TObject::get_check: переопределение; различные базовые типы D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 30

struct Base { virtual const Base* This() { return this; } };
E>struct Der : Base { Base* This() override { return this; } } testObj;

////////////////////////////////////////////////////////////////////////////////
//class TAccessor

class TAccessor
{
 public:
  virtual TCheck* get_check()const=0;
};//class TCheck

////////////////////////////////////////////////////////////////////////////////
//class TObject

class TObject:public TAccessor
{
 public:
  virtual const TCheck* get_check()const override;
};//class TObject

Ошибка 1 error C2555: TObject::get_check: возвращаемый тип перегруженной виртуальной функции отличается от "TAccessor::get_check" и не является ковариантным D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 26
Ошибка 2 error C2556: TCheck *TObject::get_check(void) const: перегруженная функция отличается от "const TCheck *TObject::get_check(void) const" только возвращаемым типом D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 30
Ошибка 3 error C2373: TObject::get_check: переопределение; различные модификаторы типа D:\Users\Dima\Work\TestCode\compiler_test\test_015\source\main.cpp 30

struct Base {
E>    virtual ~Base() {}

E>    Base* Clone() const { return new Base( *this ); }
E>};

E>struct Der : Base {
E>    Der* Clone() const { return new Der( *this ); }
E>};
E>

struct Base
{
    virtual ~Base() {}

    std::tr1::shared_ptr<Base> Clone() const { return std::tr1::shared_ptr<Base>(new Base( *this )); }
};

struct Der : Base
{
    std::tr1::shared_ptr<Der> Clone() const { return std::tr1::shared_ptr<Der>(new Der( *this )); }
}

E>Конечно облом. Как ты себе представляешь реализацию такой виртуальности?..

typedef base* base_ptr;
typedef der* der_ptr;

typedef std::tr1::shared_ptr<base> base_ptr;
typedef std::tr1::shared_ptr<der> der_ptr;