Уточнение типа дочернего класса C++?

Question

[Prizm]

У меня есть частично абстрактный класс и несколько его дочерних (пусть они называются A, A1, A2,.. соответственно).
В одном методе A мне нужно определять "id" класса, из которого он вызывается. Если вызывается из экземпляра A1, то это значение равно 1, для A2 и т.д. для A это значение определять не обязательно (ну или оно просто 0).
Для этого я нашла два варианта решения:
1:

//A:
friend virtual int getType() = 0; 
//A1:
int getType() {
    return 1;
}

Но это выглядит не очень.

2:

template<int D>
class A {
...
};
class A1 : public A<1>{
...
};

но из-за temlate способ не вызывает доверия (т.к. про них узнала буквально пару дней назад).
Какой из этих способов использовать лучше (и почему именно его)? Или лучше придумать что-то другое?

Comments

[Adamos]

В одном методе A мне нужно определять "id" класса, из которого он вызывается.

It smells. Скорее всего, вы неудачно выстроили архитектуру.

[Антон Жилин]

Зачем нужно определять id класса? Куда этот id дальше идёт?

[Prizm]

Антон Жилин, в конкретно моём случае я определяю класс тензоров. у него есть дочерние классы: скаляр, вектор, матрица, 3d и 4d тензоры и ещё парочка классов. Они все используют массив V в качестве хранилища всех значений и маленький массив int *metrics, который имеет постоянный размер внутри класса (у скаляра - 0, у вектора - 1, у матрицы - 2, у 3/4d тензора - 3/4). И, допустим, мне надо написать метод printMetrics(), то проще будет написать один универсальный метод в родительском классе, чем в каждом подклассе отдельно. Да и в целом, независимо от задачи, подобное знание может быть полезным в дальнейшем.

[Adamos]

Дарья Сафонова, подобное знание делает родительский класс зависимым от наследников, увеличивая связность без всякой на то необходимости. It smells.

[Евгений Шатунов]

Дарья Сафонова, отмеченный решением ответ таковым не является, даже ответом на деле не является.
В решении твоего вопроса тебе достаточно сделать всего один крохотный дополнительный тип - невладеющий контейнер линейной памяти. Выглядеть он может вот так (привожу псевдокод):

template< typename TElement >
class Span final
{
public:
    Span() = default;
    Span( const Span& ) = default;
    Span( Span&& ) = default;
    
    Span( TElement* memory, const size_t length )
        : m_memory{ memory }
        , m_length{ length }
    {}

public:
    inline const size_t size() const   { return m_length; };
    inline TElement* begin() const     { return m_memory; };
    inline TElement* end() const       { return m_memory + m_length; };
    
    inline TElement* operator [] ( const size_t index ) const
    {
        return m_memory[ index ];
    }

private:
    TElement*  m_memory    = nullptr;
    size_t     m_length    = 0;
};

Все, больше тебе незачем узнавать размерность массива дочернего типа в базовом. Достаточно только в базовом типе объявить чисто-виртуальный метод virtual Span<int> GetMetrics() const = 0; и правильно реализовать его в дочерних типах.

Шаблон типа является очень специфической вещью. class A1 : public A<1> означает что A1 наследуется от инстанцирования шаблона A с аргументом 1.
A<1>, A<2>, A<42> - это все полностью разные типы, хоть они и инстанцированы из одного шаблона. Твоя задача шаблонами решается очень криво и приводит к тому, что единой иерархии типов у тебя не будет.

Answer 1

[Yuriy Vorobyov]

Шаблоны это вполне применяемая вещь, которая нужна в языке и помогает решать ряд задач, никаких проблем в использовании - нет

Comments

[rPman]

у c++ шаблоны отличная вещь но имеют один недостаток, за который с++ и не любят - компиляторы генерируют очень неочевидные и сложнопонятные сообщения об ошибках на простые ошибки.