Проблемы компиляции с идиомой CRTP на основе интеллектуальных указателей

Я пытаюсь скомпилировать минимальный рабочий пример для примера CRTP, приведенного в эта запись в блоге, основанная на интеллектуальных указателях.

На основе примера кода я написал два файла: заголовок и исходный код.

Заголовок (crtp.h):

#include <memory>

class Cloneable
{
 public:
  virtual ~Cloneable() {}

  std::shared_ptr<Cloneable> clone() const
  {
    return std::shared_ptr<Cloneable>(this->clone_raw());
  }

 private:
  virtual Cloneable* clone_raw() const = 0;
};

template <typename Derived, typename Base>
class CloneInherit<Derived, Base>: public Base
{
 public:
  std::shared_ptr<Derived> clone() const
  {
    return std::shared_ptr<Derived>(static_cast<Derived*>(this->clone_raw()));
  }

 private:
  virtual CloneInherit* clone_raw() const override
  {
    return new Derived(*this);
  }
};

class Concrete: public CloneInherit<Concrete, Cloneable> {};

Источник (example.cc):

#include <memory>

#include "crtp.h"

int main()
{
  std::shared_ptr<Concrete> c = std::make_shared<Concrete>();
  std::shared_ptr<Concrete> cc = c->clone();
  Cloneable* p = c.get();
  std::shared_ptr<Cloneable> pp = p->clone();
  return 0;
}

Компиляция этого кода завершается со следующей ошибкой:

In file included from example.cc:3:
./crtp.h:18:7: error: explicit specialization of non-template class 'CloneInherit'
class CloneInherit<Derived, Base>: public Base
      ^           ~~~~~~~~~~~~~~~
./crtp.h:29:16: error: no matching constructor for initialization of 'Concrete'
    return new Derived(*this);
               ^       ~~~~~
./crtp.h:33:7: note: in instantiation of member function 'CloneInherit<Concrete, Cloneable>::clone_raw' requested here
class Concrete: public CloneInherit<Concrete, Cloneable>
      ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/memory:4411:26: note: in instantiation of member function 'std::__1::__shared_ptr_emplace<Concrete, std::__1::allocator<Concrete> >::__shared_ptr_emplace' requested
      here
    ::new(__hold2.get()) _CntrlBlk(__a2, _VSTD::forward<_Args>(__args)...);
                         ^
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/memory:4775:29: note: in instantiation of function template specialization 'std::__1::shared_ptr<Concrete>::make_shared<>' requested here
    return shared_ptr<_Tp>::make_shared(_VSTD::forward<_Args>(__args)...);
                            ^
example.cc:7:42: note: in instantiation of function template specialization 'std::__1::make_shared<Concrete>' requested here
      std::shared_ptr<Concrete> c = std::make_shared<Concrete>();
                                         ^
./crtp.h:33:7: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'const CloneInherit<Concrete, Cloneable>' to 'const Concrete' for 1st argument
class Concrete: public CloneInherit<Concrete, Cloneable>
      ^
./crtp.h:33:7: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'const CloneInherit<Concrete, Cloneable>' to 'Concrete' for 1st argument
class Concrete: public CloneInherit<Concrete, Cloneable>
      ^
./crtp.h:33:7: note: candidate constructor (the implicit default constructor) not viable: requires 0 arguments, but 1 was provided
2 errors generated.

Есть способы исправить эти ошибки. Я могу удалить специализацию <Derived, Base> из объявления для CloneInherit, чтобы первая ошибка исчезла, и изменить определение функции clone_raw() функции CloneInherit на

virtual CloneInherit* clone_raw() const override
{
  return new CloneInherit(*this);
}

но я не уверен, что это даст те же результаты, что и изначально предназначенный пост.


c++ crtp
person Stipe Matic    schedule 24.10.2017    source источник
comment
Вам действительно следует удалить <Derived, Base>, так как вы здесь не специализируетесь, а определяете класс.   -  person Jarod42    schedule 24.10.2017

Ответы (1)


arrow_upward
3
arrow_downward

В его посте действительно несколько опечаток:

Исправленная версия:

#include <memory>

class cloneable
{
public:
   virtual ~cloneable() {}

   std::unique_ptr<cloneable> clone() const
   {
      return std::unique_ptr<cloneable>(this->clone_impl());
   }

private:
   virtual cloneable * clone_impl() const = 0;
};

template <typename Derived, typename Base>
class clone_inherit : public Base
{
public:
   std::unique_ptr<Derived> clone() const
   {
      return std::unique_ptr<Derived>(static_cast<Derived*>(this->clone_impl()));
   }

private:
   clone_inherit* clone_impl() const override
   {
      return new Derived(*static_cast<const Derived*>(this));
   }
};

class concrete : public clone_inherit<concrete, cloneable>
{
};

int main()
{
   std::unique_ptr<concrete> c = std::make_unique<concrete>();
   std::unique_ptr<concrete> cc = c->clone();

   cloneable * p = c.get();
   std::unique_ptr<cloneable> pp = p->clone();
}

Демо

person Jarod42    schedule 24.10.2017
comment
Какова причина приведения к методу Derived* в методе clone_impl() clone_inherit? Этот указатель возвращается как clone_inherit* на clone(), но затем его нужно снова преобразовать в Derived*, и это кажется излишним. Что мне не хватает? - person Stipe Matic; 24.10.2017
comment
Нам действительно хотелось бы, чтобы возвращаемый тип сигнатуры был Derived*, но определение класса Derived еще не было полным типом, поэтому мы не можем сказать, что Derived наследуется от Base (для возвращаемого типа ковариации). clone_inherit наследует Base, поэтому это допустимый возвращаемый тип. Затем приведения должны исправить типизацию: в этом CRTP все clone_inherit являются базовым классом Derived. - person Jarod42; 24.10.2017