Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
4 / 4 / 5
Регистрация: 25.08.2016
Сообщений: 44

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

09.06.2018, 14:42. Показов 1030. Ответов 14
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Здравствуйте, хотелось бы реализовать следующую иерархию классов. Есть базовый класс с чисто виртуальной функцией, возвращающей ссылку на 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 };
};
Проблема в том, что размер массива - это параметр шаблона, а шаблон не может быть виртуальной ф-цие. Пока идея переходить на сырые указатели, что не очень хотелось. Может есть что получше?
0
Programming
Эксперт
39485 / 9562 / 3019
Регистрация: 12.04.2006
Сообщений: 41,671
Блог
09.06.2018, 14:42
Ответы с готовыми решениями:

Как сделать шаблон, с параметром-классом - потомком определённого класса?
Хочется сделать шаблон с параметром-классом, который обязан реализовывать определённый интерфейс. class IService { public: ...

Присваивание constexpr к non-constexpr
constexpr float pi = 3.14159265; void some_fun() { float angle = 45.0f*(pi/180.0f); std::cout &lt;&lt; angle; } В консоли...

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

14
зомбяк
 Аватар для TRam_
1585 / 1219 / 345
Регистрация: 14.05.2017
Сообщений: 3,940
09.06.2018, 14:48
Цитата Сообщение от teatralaik Посмотреть сообщение
а шаблон не может быть виртуальной ф-цией
Шаблон может быть виртуальной функцией, просто нужно знать, что параметризированные по-разному шаблоны классов рассматриваются как совершенно разные классы. И механизмов преобразования, например, из std::array<int, 5> в std::array<int, 4> по-умолчанию нет.

А если потомки будут возвращать только std::array<int, 5>, то всё будет работать.
0
4 / 4 / 5
Регистрация: 25.08.2016
Сообщений: 44
09.06.2018, 15:00  [ТС]
Но в этом был и смысл, что разные потомки возвращали бы массивы различной длины
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
09.06.2018, 15:38
Цитата Сообщение от TRam_ Посмотреть сообщение
Шаблон может быть виртуальной функцией
да неужели?
0
зомбяк
 Аватар для TRam_
1585 / 1219 / 345
Регистрация: 14.05.2017
Сообщений: 3,940
09.06.2018, 15:49
hoggy, хотел сказать "шаблон класса может содержать виртуальные функции". Хотя в данном случае более важно что "виртуальные функции могут возвращать параметризированный шаблон".

Добавлено через 2 минуты
А шаблонные виртуальные функции вроде бы тоже возможны (не уверен), но они (если взможны) будут переопределять только аналогично параметризованную виртуальную функцию базового класса.
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
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 <<" , ";
}
1
зомбяк
 Аватар для TRam_
1585 / 1219 / 345
Регистрация: 14.05.2017
Сообщений: 3,940
09.06.2018, 15:51
Цитата Сообщение от teatralaik Посмотреть сообщение
Но в этом был и смысл, что разные потомки возвращали бы массивы различной длины
А как обрабатывать эти массивы потом собираешься? Какого типа локальной переменной присваивать?
0
1378 / 522 / 72
Регистрация: 21.07.2015
Сообщений: 1,308
09.06.2018, 16:56
Не совсем понятно зачем такое надо. Я так понял, что основная задумка была, чтобы можно было получить произвольный массив через base.get(), но в любом случае нужно знать размер массива, который возвращает конкретный наследник. Тогда уж проще делать в нужном месте каст к наследнику и дергать нужную функцию-член.
0
Комп_Оратор)
Эксперт по математике/физике
 Аватар для IGPIGP
9005 / 4706 / 630
Регистрация: 04.12.2011
Сообщений: 14,003
Записей в блоге: 16
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;
}
0
Эксперт С++
1624 / 954 / 782
Регистрация: 06.02.2016
Сообщений: 2,452
Записей в блоге: 31
10.06.2018, 12:01
IGPIGP, CRTP?
1
Комп_Оратор)
Эксперт по математике/физике
 Аватар для IGPIGP
9005 / 4706 / 630
Регистрация: 04.12.2011
Сообщений: 14,003
Записей в блоге: 16
10.06.2018, 12:05
Цитата Сообщение от Peoples Посмотреть сообщение
IGPIGP, CRTP?
Один из способов применения. Навродь трюка Бартона - Накмана. Сейчас, в числе прочего, интересуюсь этим паттерном. Крышу уже не сносит, но ещё много сюрпризов.
0
10.06.2018, 12:07

Не по теме:

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

0
Комп_Оратор)
Эксперт по математике/физике
 Аватар для IGPIGP
9005 / 4706 / 630
Регистрация: 04.12.2011
Сообщений: 14,003
Записей в блоге: 16
10.06.2018, 12:12
Цитата Сообщение от Peoples Посмотреть сообщение
IGPIGP, Часто встречаю, но в большинстве случаев примеры использования невероятно надуманные. Здесь действительно красиво получается
Я тоже не вижу смысла в статическом полиморфизме, где нужно и ненужно. Экономия времени ничтожна по сравнению с усложнением читаемости и сопровождения. Иногда может и надо, но везде где я видел, это было зря. imho.
А вот, расширение операционной базы для шаблонов, это и правда, пока единственный красивый выход (известный мне). Можно не только методы присоединять. Можно и операции! То есть, иногда красиво может быть, - да.
0
Эксперт С++
1624 / 954 / 782
Регистрация: 06.02.2016
Сообщений: 2,452
Записей в блоге: 31
10.06.2018, 12:20
Цитата Сообщение от IGPIGP Посмотреть сообщение
Можно и операции!
Да, MixIn штука тоже интересная
0
Комп_Оратор)
Эксперт по математике/физике
 Аватар для IGPIGP
9005 / 4706 / 630
Регистрация: 04.12.2011
Сообщений: 14,003
Записей в блоге: 16
10.06.2018, 12:58
Цитата Сообщение от Peoples Посмотреть сообщение
Да, MixIn штука тоже интересная
Да
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
inter-admin
Эксперт
29715 / 6470 / 2152
Регистрация: 06.03.2009
Сообщений: 28,500
Блог
10.06.2018, 12:58
Помогаю со студенческими работами здесь

Составить программу с одним родительским классом и потомком. Все поля должны быть закрытыми
Составить программу с одним родительским классом и потомком. Все поля должны быть закрытыми. Базовый класс должен содержать конструкторы...

Spring: внедрить объект возвращаемый классом
Хочу в своём REST клиенте внедрить результат что возвращает ws.rs.client, но не знаю как это сделать. Пример как это используется без DI:...

Как работать с классом Array?
Подскажите, как работать с классом Array.

Вывод ступенчатого массива, работа с классом Array
Добрый день! Помогите пожалуйста с задачей: Создайте универсальную функцию PrintAnyArr (печать любого массива); Методические указания:...

Составить программу с одним родительским классом "Квартира" и потомком "Квартира в центре"
Составить программу с одним родительским классом и потомком. Все поля должны быть закрытыми. Базовый класс должен содержать конструкторы...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
15
Ответ Создать тему
Новые блоги и статьи
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве
8Observer8 02.02.2026
Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .
Философия технологии
iceja 01.02.2026
На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .
SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf
8Observer8 01.02.2026
Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли
8Observer8 30.01.2026
Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm
8Observer8 30.01.2026
Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .
SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 29.01.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .
Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT
bedvit 28.01.2026
Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .
SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 28.01.2026
Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru