Возможно ли настроить автоматическое наследование одной специализации шаблона класса от

Question

Возможно ли настроить автоматическое наследование одной специализации шаблона класса от

другой, если тип первой специализации наследуется от типа второй

Или придётся всё время самостоятельно прописывать наследование следующим образом?
template<class T>
class A
{
T value;
}

template<>
class A<MyInt> :
public A<int>
{
}

#c++ #embedded #programming #russian

0

09.05.2021

8 ответов

15 просмотров

Игорь Рутов Автор вопроса

Danya🔥
У вас MyInt наследуется от int?

Да

0

09.05.2021

Danya🔥

Игорь Рутов
Да

Расскажите как это работает :)

0

09.05.2021

Nikita Khomutov

А что должно происходить с множественным наследованием?

0

09.05.2021

Игорь Рутов Автор вопроса

Nikita Khomutov
А что должно происходить с множественным наследова...

Как вариант - несколько соответствующих наследований, например ``` template<> class A<MyInt1> : public A<int> { } class A<MyInt1> : public A<MyInt2> { } ``` Почему бы и нет?

0

09.05.2021

Nikita Khomutov

Чисто технически, для этого нужно для типа T уметь получать список и типов его баз. Кажется, что без ввода рефлексии такой список не получить (или же будет открыта багофича в стандарте вроде magic get). Но, с другой стороны, кажется, что для решаемой задачи (кастить к контейнерам над базами) оно и не нужно

0

09.05.2021

Alexander Karaev

Nikita Khomutov
Чисто технически, для этого нужно для типа T уметь...

В gcc есть интринсики для получения баз, кстати.

0

09.05.2021

Nikita Khomutov

Alexander Karaev
В gcc есть интринсики для получения баз, кстати.

Ну это не интересно, компайлерспецифик

0

09.05.2021