Кортеж с абстрактным типом как параметр шаблона + smart_ptr - C++

@gray_fox · Регистрация: 21.04.2012

Имеем кортеж (std::tuple) с абстрактным типом, параметризуем этим шаблон класса, экземпляров кортежа нигде не создаём. Создаём экземпляры параметризованного шаблона: на стеке - ок, в куче - ок, но когда используем std::[unique/shared]_ptr - получаем ошибку компиляции от куда то из недр std::tuple - "нельзя объявить поле абстрактного типа". gcc-4.7.2 .

код

C++

#include <tuple>
#include <memory>
 
 
template<typename T>
struct holder {};
 
struct abstract {
 
   virtual ~abstract() = 0;
};
 
abstract::~abstract() {}
 
 
int main() {
   using types     = std::tuple<abstract>;
   using holder_t  = holder<types>;
 
   // Ok
   holder_t local;
 
   // Ok
   new holder_t;
 
   // ?
   std::unique_ptr<holder_t> unique(new holder_t);
 
   // ?
   std::make_shared<holder_t>();
}

http://ideone.com/7Qkm2E

ошибки

Код

In file included from prog.cpp:1:0:
/usr/include/c++/4.7/tuple: In instantiation of ‘struct std::_Head_base<0u, abstract, false>’:
/usr/include/c++/4.7/tuple:215:12:   required from ‘struct std::_Tuple_impl<0u, abstract>’
/usr/include/c++/4.7/tuple:374:11:   required from ‘class std::tuple<abstract>’
/usr/include/c++/4.7/tuple:744:35:   required from ‘constexpr typename std::__add_ref<typename std::tuple_element<__i, std::tuple<_Elements ...> >::type>::type std::get(std::tuple<_Elements ...>&) [with unsigned int __i = 0u; _Elements = {holder<std::tuple<abstract> >*, std::default_delete<holder<std::tuple<abstract> > >}; typename std::__add_ref<typename std::tuple_element<__i, std::tuple<_Elements ...> >::type>::type = holder<std::tuple<abstract> >*&]’
/usr/include/c++/4.7/bits/unique_ptr.h:171:32:   required from ‘std::unique_ptr<_Tp, _Dp>::~unique_ptr() [with _Tp = holder<std::tuple<abstract> >; _Dp = std::default_delete<holder<std::tuple<abstract> > >]’
prog.cpp:28:49:   required from here
/usr/include/c++/4.7/tuple:166:13: error: cannot declare field ‘std::_Head_base<0u, abstract, false>::_M_head_impl’ to be of abstract type ‘abstract’
prog.cpp:9:8: note:   because the following virtual functions are pure within ‘abstract’:
prog.cpp:14:1: note: 	virtual abstract::~abstract()

Я не могу понять, в чём конкретно причина, видимо где то создаётся экземпляр кортежа. Так и должно быть?

Jupiter · Регистрация: 26.03.2010

в VS2012 этот код с unique_ptr работает, с шаред уже нет и по той же причине

@gray_fox · Регистрация: 21.04.2012

Странно. Вот так, например, всё нормально:

C++

#include <tuple>
#include <memory>
 
 
template<typename Type>
struct identity {
 
   using type = Type;
};
 
template<typename...>
struct holder {};
 
template<typename ...Types>
struct holder<std::tuple<identity<Types>...>> {};
 
 
struct abstract {
 
   virtual ~abstract() = 0;
};
 
abstract::~abstract() {}
 
 
int main() {
   using types     = std::tuple<identity<abstract>>;
   using holder_t  = holder<types>;
 
   // Ok
   holder_t local;
 
   // Ok
   new holder_t;
 
   // ?
   std::unique_ptr<holder_t> unique(new holder_t);
 
   // ?
   std::make_shared<holder_t>();
}

http://ideone.com/5IVqd6

Jupiter Каратель 6553 / 3973 / 226 Регистрация: 26.03.2010 Сообщений: 9,273 Записей в блоге: 1 Завершенные тесты: 2
	13.05.2013, 10:22 Кортеж с абстрактным типом как параметр шаблона + smart_ptr	#2
	в VS2012 этот код с unique_ptr работает, с шаред уже нет и по той же причине

Опции темы

С++ для начинающих

Кортеж с абстрактным типом как параметр шаблона + smart_ptr - C++