Constexpr array возвращаемый классом-потомком

@teatralaik · Регистрация: 25.08.2016

Студворк — интернет-сервис помощи студентам

Здравствуйте, хотелось бы реализовать следующую иерархию классов. Есть базовый класс с чисто виртуальной функцией, возвращающей ссылку на std::array. Классы потомки же при переопределении виртуальной функции возвращают static constepr array. Каждый из них свой конечно:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
class Base
{
public:
  Base();
  ~Base();
 
  template <int N>
  virtual const std::array<int, N>& getArray() = 0;
};
 
class Delivered: public Base
{
public:
  Delivered();
  ~Delivered();
 
  virtual const std::array<int, 5>& getArray() {
    return array_;
  }
 
private:
    static constexpr std::array<int, 5> array_ = { 0,1,2,3,4 };
};

Проблема в том, что размер массива - это параметр шаблона, а шаблон не может быть виртуальной ф-цие. Пока идея переходить на сырые указатели, что не очень хотелось. Может есть что получше?

@TRam_ · 09.06.2018, 14:48

Сообщение от teatralaik

а шаблон не может быть виртуальной ф-цией

Шаблон может быть виртуальной функцией, просто нужно знать, что параметризированные по-разному шаблоны классов рассматриваются как совершенно разные классы. И механизмов преобразования, например, из std::array<int, 5> в std::array<int, 4> по-умолчанию нет.

А если потомки будут возвращать только std::array<int, 5>, то всё будет работать.

@teatralaik · 09.06.2018, 15:00 **[ТС]**

Но в этом был и смысл, что разные потомки возвращали бы массивы различной длины

@hoggy · 09.06.2018, 15:38

Сообщение от TRam_

Шаблон может быть виртуальной функцией

да неужели?

@TRam_ · 09.06.2018, 15:49

hoggy, хотел сказать "шаблон класса может содержать виртуальные функции". Хотя в данном случае более важно что "виртуальные функции могут возвращать параметризированный шаблон".

Добавлено через 2 минуты
А шаблонные виртуальные функции вроде бы тоже возможны (не уверен), но они (если взможны) будут переопределять только аналогично параметризованную виртуальную функцию базового класса.

@hoggy · 09.06.2018, 15:49

Сообщение от teatralaik

Но в этом был и смысл, что разные потомки возвращали бы массивы различной длины

http://rextester.com/PPM72186

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
#include <iostream>
#include <cassert>
#include <array>
 
class Base
{
public:
    Base(){}
    virtual ~Base(){}
 
  template <int N> const std::array<int, N>& getArray()
  {
      const void* dst = nullptr;
      size_t len      = 0;
      
      this->requestArray(dst, len);
      
      assert(len == N);
      
      const auto * re = static_cast< const std::array<int, N>* >(dst);
      return *re;
  }
private:    
  virtual void requestArray(const void*& dst, size_t& len) const = 0;
};
 
class Delivered: public Base
{
public:
    Delivered(){}
   ~Delivered(){}
 
private:
    virtual void requestArray(const void*& dst, size_t& len) const
    {
        dst = &array_;        
        len = 5;
    }
    static std::array<int, 5> array_ ;
};
 
std::array<int, 5> Delivered::array_ = { 0,1,2,3,4 };
 
 
int main()
{
    Delivered d;
    const auto result = d.getArray<5>();
    for(const auto& el: result)
        std::cout << el <<" , ";
}

@TRam_ · 09.06.2018, 15:51

Сообщение от teatralaik

Но в этом был и смысл, что разные потомки возвращали бы массивы различной длины

А как обрабатывать эти массивы потом собираешься? Какого типа локальной переменной присваивать?

shmkv · 09.06.2018, 16:56

Не совсем понятно зачем такое надо. Я так понял, что основная задумка была, чтобы можно было получить произвольный массив через base.get(), но в любом случае нужно знать размер массива, который возвращает конкретный наследник. Тогда уж проще делать в нужном месте каст к наследнику и дергать нужную функцию-член.

IGPIGP · 09.06.2018, 21:46

Сообщение от shmkv

Тогда уж проще делать в нужном месте каст к наследнику

Чтобы кастануть к чему-то, надо иметь такой тип к которому нужно кастить. Если размер, - значение времени выполнения, то нельзя задать нетипизированный параметр шаблона, так как он, - константа времени компиляции. Хотя можно свитч от единицы и до максимального size_t написать (UINT_MAX=4294967295). Если по 10 секунд на ветку case (копипастом), то больше 10 лет надо. Без сна. Тут только терпение, кофе и витамины могут спасти. Однако возвращать придётся втёмную - указателем и размером. Нет смысла, похоже.

Добавлено через 2 часа 8 минут

Вот такой прикол получился ещё

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
26
27
28
29
30
31
32
33
34
35
#include<iostream>
#include<array>
using namespace std;
template<class T>
struct BaseArray{
size_t getSize(){
return static_cast<T*>(this)->getSize();
}
};
 
template<size_t N, class T >
struct Array:BaseArray<Array<N,T>>
{
array<T,N> array_;
operator array<T,N> (){return array_;}
size_t getSize(){return N;}
} ;
 
template<class T >
BaseArray<T> & foo(BaseArray<T>& base){
return base;
}
 
int main(int argv, char*argc[])
{
Array<10, int> Array10int;
Array<5, double> Array5dbl;
 
auto arInt = foo(Array10int);
auto arDbl =  foo(Array5dbl);
cout<<arInt.getSize()<<endl;
cout<<arDbl.getSize()<<endl;
 cin.get();
 return 0;
}

@Peoples · 10.06.2018, 12:01

IGPIGP, CRTP?

IGPIGP · 10.06.2018, 12:05

Сообщение от Peoples

IGPIGP, CRTP?

Один из способов применения. Навродь трюка Бартона - Накмана. Сейчас, в числе прочего, интересуюсь этим паттерном. Крышу уже не сносит, но ещё много сюрпризов.

@Peoples · 10.06.2018, 12:07

Не по теме:

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

IGPIGP · 10.06.2018, 12:12

Сообщение от Peoples

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

Я тоже не вижу смысла в статическом полиморфизме, где нужно и ненужно. Экономия времени ничтожна по сравнению с усложнением читаемости и сопровождения. Иногда может и надо, но везде где я видел, это было зря. imho.
А вот, расширение операционной базы для шаблонов, это и правда, пока единственный красивый выход (известный мне). Можно не только методы присоединять. Можно и операции! То есть, иногда красиво может быть, - да.

@Peoples · 10.06.2018, 12:20

Сообщение от IGPIGP

Можно и операции!

Да, MixIn штука тоже интересная

IGPIGP · 10.06.2018, 12:58

Сообщение от Peoples

Да, MixIn штука тоже интересная

Да

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

@teatralaik 4 / 4 / 5 Регистрация: 25.08.2016 Сообщений: 44
	09.06.2018, 15:00 [ТС]
	Но в этом был и смысл, что разные потомки возвращали бы массивы различной длины 0

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	09.06.2018, 15:49
	hoggy, хотел сказать "шаблон класса может содержать виртуальные функции". Хотя в данном случае более важно что "виртуальные функции могут возвращать параметризированный шаблон". Добавлено через 2 минуты А шаблонные виртуальные функции вроде бы тоже возможны (не уверен), но они (если взможны) будут переопределять только аналогично параметризованную виртуальную функцию базового класса. 0

shmkv 1378 / 522 / 72 Регистрация: 21.07.2015 Сообщений: 1,308
	09.06.2018, 16:56
	Не совсем понятно зачем такое надо. Я так понял, что основная задумка была, чтобы можно было получить произвольный массив через base.get(), но в любом случае нужно знать размер массива, который возвращает конкретный наследник. Тогда уж проще делать в нужном месте каст к наследнику и дергать нужную функцию-член. 0

@Peoples 1624 / 954 / 782 Регистрация: 06.02.2016 Сообщений: 2,452 Записей в блоге: 31
	10.06.2018, 12:01
	IGPIGP, CRTP? 1

@Peoples
	10.06.2018, 12:07
	Не по теме: IGPIGP, Часто встречаю, но в большинстве случаев примеры использования невероятно надуманные. Здесь действительно красиво получается 0