шаблоны класса ring_buffer, channel - гибкость или наоборот? Опции

[aliko]

В scmrtos используются преимущества С++ в часнтости шаблоны.
например так объявляется шаблон класса кольцевого буфера

Код

template<typename T, uint16_t Size, typename S = uint8_t>
class ring_buffer

аналогично объявляется шаблон класса channel

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

Может есть какое-о просто решение о котором я не знаю, подскажите товарищи!
Уж очень не хочется менять код ОС или дублировать то что там уже написано...

[aliko]

Буфера разной длины - это разные типы, как ни крути. Если вы объявили int A[10]; и int B[20];, то это разные типы, хотя и похожие.

Однако оба эти типа можно привести к int* и использовать этот указатель и для одного и для другого, сделать массив 2х указателей где первый из них будет указывать на А, второй на В.
Или например сделать класс членом которого является int* и тогда в одном экземпляре класса держать ссылку на А, в другом на В (это я и имел ввиду говоря о классе).
Однако как аналогичным образом организовать работу с ring_buffer разной длины? Все они - разные типы и как сделать указатель который мог бы указывать и на один и на другой (чтобы по-возможности как-нибудь без void*).

На мой взгляд объективно пока в шаблонах кольцевого буфера и канала не хватает специализации для указателей - это так, потому что для очередей сообщений очень удобно использовать указатели. Пока руки не дошли. Надеюсь, в следующем релизе дойдут.

А тут можно чуточку поподробнее? Что значит специализация для указателей?

Сообщение отредактировал aliko - Jun 23 2011, 07:32