Задание типа выделяемой памяти с помощью значения аргумента шаблона класса , выбор типа памяти статическая или динамическая по аргументу шаблона

[Fedel]

Всем добрый день!

Недавно знакомился с документацией матричной библиотеки шаблонов Eigen и был удивлен ее возможностями...

Создавая объект матрицы можно задать ее размер и она выделит память либо на стеке, либо в куче в зависимости от значений аргументов (которые за это отвечают).
Стало интересно как это реализовано, но там черт ногу сломит в коде. Может кто-нибудь может на пальцах объяснить, как это можно сделать в С++?

Всего хорошего!

[ЫукпШ]

Цитата Fedel @ 20.09.22, 21:17

Создавая объект матрицы можно задать ее размер и она выделит память либо на стеке, либо в куче в зависимости от значений аргументов (которые за это отвечают).

Кроме основной формы new используется размещающий оператор new.
тут можно почитать
Исходник может выглядеть так:

//...
 char BufferInStack[16384];
 BOOL Stack = ...;
 
 char *pBuf;
 if(Stack)  {pBuf = new (BufferInStack) char [sizeData];}
 else       {pBuf = new                 char [sizeData];}

Возможны варианты.
Можно сделать 2 комплекса процедур, выполняющих одну и ту же работу.
Один комплекс использует исключительно стек, другой - кучу.

Сообщение отредактировано: ЫукпШ - 21.09.22, 08:45

[Qraizer]

Цитата Fedel @ 20.09.22, 21:17

Создавая объект матрицы можно задать ее размер и она выделит память либо на стеке, либо в куче в зависимости от значений аргументов (которые за это отвечают).
Стало интересно как это реализовано, но там черт ногу сломит в коде. Может кто-нибудь может на пальцах объяснить, как это можно сделать в С++?

Политиками. Или, как их иногда называют, стратегиями. Параметром шаблона приходит класс, который реализует по-своему требуемое поведение. Очень похоже на полиморфизм, только не ран-таймовый, а компайл-таймовый. Нередко его так и называют: статический полиморфизм.
Вот синтетический пример (не компилировал даже, просто демонстрация возможности):

template <size_t Size>
class HeapStorage
{
  std::vector<unsigned char> storage;
 
public:
  HeapStorage()  { storage.resize(Size);    }
  void* getBase(){ return &storage.front(); }
};
 
template <size_t Size>
class StackStorage
{
  std::array<unsigned char, Size> storage;
 
public:
  void* getBase(){ return &storage.front(); }
};
 
 
template <size_t Size, template<size_t> class MemoryPolicy>
class StorageHolder: MemoryPolicy<Size>
{
};
 
/* использование */
 
void f()
{
  StorageHolder<1024,           StackStorage> lowMemoryUsing;
  StorageHolder<1024*1024*1024, HeapStorage> highMemoryUsing;
/* ... */
}

Шаблоны, в отличие от дженериков, гораздо более богаты возможностями.

[Fedel]

Цитата ЫукпШ @ 21.09.22, 14:09

Кроме основной формы new используется размещающий оператор new.

Да, такой подход возможен, но мне кажется, что для матричной библиотеки заранее захватить объект стека не очень хорошо. Кроме того, я не видел, чтобы в документации были ограничения на выделяемую память, вызванные тем, что мы захватываем предопределенный на момент компиляции размер.

Добавлено 01.10.22, 18:07

Цитата Qraizer @ 21.09.22, 14:09

Шаблоны, в отличие от дженериков, гораздо более богаты возможностями.

С Вами трудно не согласиться. То что я понял в коде, что шаблон класса матрицы наследуется от класса, который параметризуется этим же классом матрицы. Поэтому в исходном коде я и поплыл...

Сообщение отредактировано: Fedel - 01.10.22, 18:07

[Dushevny]

Цитата Fedel @ 01.10.22, 18:01

То что я понял в коде, что шаблон класса матрицы наследуется от класса, который параметризуется этим же классом матрицы.

Curiosily Reccurring Template Pattern (CRTP)

Сообщение отредактировано: Dushevny - 01.10.22, 20:36

[Qraizer]

Ну посмотри, например, в эту недавнюю тему, Fedel, но там больше теории, чем конкретики. Ещё можно сюда, тут простой и понятный пример.