Форум программистов, компьютерный форум CyberForum.ru
Наши страницы

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

Войти
Регистрация
Восстановить пароль
 
 
Рейтинг: Рейтинг темы: голосов - 12, средняя оценка - 4.92
Surgery
3 / 3 / 0
Регистрация: 28.09.2013
Сообщений: 32
#1

Шаблонные чистые виртуальные методы - C++

04.04.2014, 14:23. Просмотров 2090. Ответов 15
Метки нет (Все метки)

Возник вопрос:
Есть у нас допустим класс, который мы желаем сделать абстрактным:
C++
1
2
3
4
5
6
7
8
9
10
    template <typename T, class = typename std::enable_if<std::is_integral<T>::value>::type> class AbstractIntergal {
    public:
        typedef T value_type;
        value_type value;
        AbstractIntergal() : value(0) {}
 
        AbstractIntergal(value_type src) : value(src) { }
 
        virtual template <class Chr, class Alloc> std::basic_string<Chr, std::char_traits<Chr>, Alloc> toString() = 0;
    };
У него метод toString - чистый виртуальный.
Делаем наследника:
C++
1
2
3
4
5
6
7
8
9
10
11
12
    class Int32 : public AbstractIntergal<__int32> {
    public:
        Int32() : AbstractIntergal()    {};
 
        Int32(value_type src) : AbstractIntergal(src)   {};
 
        template <class Chr, class Alloc> std::basic_string<Chr, std::char_traits<Chr>, Alloc> toString() {
            char buff[10];
            sprintf(buff, "%d", value);
            return std::basic_string<Chr, std::char_traits<Chr>, Alloc>(buff);
        }
    };
При компиляции этого в visual studio возникает множество ошибок:
Error 6 error C3203: 'char_traits' : unspecialized class template can't be used as a template argument for template parameter '_Traits', expected a real typ
Error 7 error C2955: 'std::char_traits' : use of class template requires template argument list
Error 3 error C2923: 'std::char_traits' : 'Chr' is not a valid template type argument for parameter '_Elem'
И так далее, их довольно много. Если убираем из базового класса этот чистый виртуальный метод, то все нормально компилируется. Как понимаю, в таком виде виртуальный метод - шаблон нельзя использовать. Но суть в том, что мне хочется что бы AbstractIntergal опеределял общий интерфейс, который будут реализовывать его потомки. Как тогда это сделать? Заранее спасибо
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
04.04.2014, 14:23
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Шаблонные чистые виртуальные методы (C++):

Абстрактные классы и чистые виртуальные функции - C++
У Р. Лафоре написано: И вот, есть такой пример из его книги: #include &lt;iostream&gt; #include &quot;msoftcon.h&quot; using namespace std; ...

Наследование: Чистые Виртуальные функции и Абстрактные классы - C++
Добрый вечер помогите пожалуйста вывести на экран то что мы вводим с клавиатуры ( int s , char d ) #include &quot;stdafx.h&quot; ...

шаблонные виртуальные функции - C++
Почему виртуальные функции невозможно сделать шаблонными?

Реализовать шаблонные методы - C++
Код, который создает динамический массив и выводит на экран. #include &lt;iostream&gt; using namespace std; class clArrSort{ ...

Полиморфизм и шаблонные методы класса - C++
Есть некий АБК: template &lt;class Ch&gt; class EventIO // interface for derived classes { public: typedef std::basic_string&lt;Ch&gt;...

Можно ли в не шаблонном классе создать шаблонные методы? - C++
Можно ли в не шаблонном классе создать шаблонные методы? Пример: Есть перегруженная функция например: void test(int x),test(float...

15
DiffEreD
1431 / 768 / 95
Регистрация: 21.06.2011
Сообщений: 1,740
Записей в блоге: 2
04.04.2014, 14:42 #2
Как бы виртуальные шаблонные методы в С++ не разрешены. Вывод gcc: templates may not be ‘virtual’
0
DrOffset
7351 / 4451 / 1009
Регистрация: 30.01.2014
Сообщений: 7,292
04.04.2014, 14:59 #3
Surgery, студия как обычно завуалировала главную ошибку. Шаблонная функция не может быть виртуальной. Компилятору же нужно построить таблицу виртуальных функций.

Добавлено через 7 минут
14.5.2/3
A member function template shall not be virtual.
C++
1
2
3
4
template <class T> struct AA {
    template <class C> virtual void g(C); //ERROR
    virtual void f(); //OK
};
0
Surgery
3 / 3 / 0
Регистрация: 28.09.2013
Сообщений: 32
04.04.2014, 15:03  [ТС] #4
Хм. Спасибо. А как тогда реализовать то что мне нужно? Ну и в общем случае, как тогда создать интерфейс, имеющий шаблонные методы?
0
DrOffset
7351 / 4451 / 1009
Регистрация: 30.01.2014
Сообщений: 7,292
04.04.2014, 15:14 #5
Surgery, шаблонную функцию оставляешь в базовом классе. Делаешь виртуальный метод, например protected. Он реализует нужную работу в базовых для этой ситуации типах.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
template <typename T, class = typename std::enable_if<std::is_integral<T>::value>::type>
class AbstractIntergal
{
public:
    typedef T value_type;
    value_type value;
    AbstractIntergal() : value(0) {}
 
    AbstractIntergal(value_type src) : value(src) { }
 
    template <class Chr, class Alloc>
    std::basic_string<Chr, std::char_traits<Chr>, Alloc> toString()
    {
        Chr buf[PossibleStringSize<T>::value + 1];
        if(size_t len = toStringInternal(buf, sizeof(buf)/sizeof(*buf))
        {
            return std::basic_string<Chr, std::char_traits<Chr>, Alloc>(buf, len);
        }
        return std::basic_string<Chr, std::char_traits<Chr>, Alloc>();
    }
 
protected:
    virtual size_t toStringInternal(char * buf, size_t len) = 0;
    virtual size_t toStringInternal(wchar_t * buf, size_t len) = 0;
};
Шаблон PossibleStringSize предлагаю самостоятельно
1
Surgery
3 / 3 / 0
Регистрация: 28.09.2013
Сообщений: 32
04.04.2014, 15:24  [ТС] #6
DrOffset, Спасибо, не подумал о таком решении, попробую
0
DrOffset
7351 / 4451 / 1009
Регистрация: 30.01.2014
Сообщений: 7,292
04.04.2014, 15:24 #7
Surgery, эта методика называется NVI (Non-Virtual Interface)
0
Surgery
3 / 3 / 0
Регистрация: 28.09.2013
Сообщений: 32
07.04.2014, 10:09  [ТС] #8
DrOffset, Я еще хочу спросить о вашем шаблоне PossibleStringSize =)
Я попытался реализовать это, по логике получилось что то вроде:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
        template<class T> struct PossibleStringSize
        {
    //      static const unsigned value = max_digits_impl<T, std::numeric_limits<T>::max()>::value;
        // vs 2012 не поддерживает constexpr, на 13 потом попробую так
            static const unsigned value = max_digits_impl<T, 2000000>::value; 
            //искулючительно для теста и упрощения
        };
 
        template <typename T, T Number> struct max_digits_impl
        {
            static const unsigned value = max_digits_impl<T, Number / 10>::value + 1;
        };
 
        template <typename T> struct max_digits_impl<T, 0> 
        {
            static const unsigned value = 0;
        };
Но компилируется этот шаблон с ошибками
error C2754: 'Types::helpers::max_digits_impl<T,0>' : a partial specialization cannot have a dependent non-type template parameter
и
error C2059: syntax error : 'constant'
(здесь указывает на строчку с static const unsigned value = max_digits_impl<T, 2000000>::value; ). Что я не так делаю? В шаблонах очень хочется нормально разобраться.
0
Ilot
Модератор
Эксперт С++
1823 / 1181 / 232
Регистрация: 16.05.2013
Сообщений: 3,118
Записей в блоге: 5
Завершенные тесты: 1
07.04.2014, 10:36 #9
Вы определяете value без типа.
0
Surgery
3 / 3 / 0
Регистрация: 28.09.2013
Сообщений: 32
07.04.2014, 11:10  [ТС] #10
Ilot, Как так? static const unsigned - тип unsigned int же?
0
Ilot
Модератор
Эксперт С++
1823 / 1181 / 232
Регистрация: 16.05.2013
Сообщений: 3,118
Записей в блоге: 5
Завершенные тесты: 1
07.04.2014, 11:19 #11
unsigned это не тип это модификатор типа, указывающий как интерпретировать старший бит числа. Т.е. следует писать вот так:
C++
1
static const unsigned int value = 0;
0
aLarman
642 / 563 / 89
Регистрация: 13.12.2012
Сообщений: 2,109
07.04.2014, 11:23 #12
Ilot,
да ладно?
C++
1
2
3
4
5
6
7
int main()
{
    unsigned i = 0;
    i++;
    cout <<i<< endl;
    system("pause");
}
Добавлено через 1 минуту

Не по теме:

C++
1
2
3
4
5
6
7
8
9
10
11
class Foo
{
public:
    static const unsigned x = 255;
};
 
int main()
{
    cout <<Foo::x<< endl;
    system("pause");
}

1
Ilot
Модератор
Эксперт С++
1823 / 1181 / 232
Регистрация: 16.05.2013
Сообщений: 3,118
Записей в блоге: 5
Завершенные тесты: 1
07.04.2014, 12:56 #13
Цитата Сообщение от aLarman Посмотреть сообщение
Ilot,
да ладно?

Век живи - век учись.
0
DrOffset
7351 / 4451 / 1009
Регистрация: 30.01.2014
Сообщений: 7,292
07.04.2014, 13:49 #14
Цитата Сообщение от Surgery Посмотреть сообщение
a partial specialization cannot have a dependent non-type template parameter
Попробуй так:
C++
1
2
3
4
5
6
7
8
9
template <typename T, T Number> struct max_digits_impl
{
    static const unsigned value = max_digits_impl<T, Number / 10>::value + 1;
};
 
template <typename T> struct max_digits_impl<T, T()> 
{
    static const unsigned value = 0;
};
А вообще посмотри в сторону std::numeric_limits. Я думаю для десятичной системы счисления проще реализацию max_digits построить на нем.
0
Surgery
3 / 3 / 0
Регистрация: 28.09.2013
Сообщений: 32
07.04.2014, 14:06  [ТС] #15
DrOffset,
error C2976: 'Types::helpers::max_digits_impl' : too few template arguments
error C2975: 'Types::helpers::max_digits_impl' : invalid template argument for 'Number', expected compile-time constant expression
А по поводу numeric_limits<T>::max() - если она имеется ввиду для получения макс значения типа, в студии 2012 она не constexpr. В 2013 смогу только вечером попробовать. И эту проблему она как понимаю не решит все равно
0
07.04.2014, 14:06
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
07.04.2014, 14:06
Привет! Вот еще темы с ответами:

Шаблонные методы шаблонного класса в cpp-файле - C++
Есть класс-шаблон Map. В нем обьявленны несколько шаблонных методов forEach. template&lt;typename K, typename V&gt; class Map : public...

Виртуальные методы - C++
Всем доброго времени суток! Вопрос следующий. Как я могу функцией делать подмену виртуального метода у класса?

Виртуальные методы - C++
...в голове не укладываются. Помогите кто может :confusion: У меня про них сложилось впечатление, что они только усложняют жизнь. Если...

виртуальные методы - C++
как вызвать виртуальный метод базового класса из наследуемого класса? struct A { virtual void vf() { printf(&quot;A&quot;); } ...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
15
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru