0

Есть ли в крестах возможность инстанцировать шаблон типа

template<size_t dim>
class foo { }

неконстантным значением? Например так:

size_t order = 1;
order = get_order();
foo<order> instance;

Если да - есть ли возможность возвращать значение на шаблонный объект с неизвестным параметром шаблона:

foo get_foo()
{
  size_t order = 1;
  order = get_order();
  foo<order> instance;

  return instance;
}

1 ответ 1

2

Нет. Тип должен быть вычисляем в момент времени компиляции. Причём не обязательно при инициализации должно использоваться const значение, но обязательно constexpr. Про constexpr нормально написано на хабре.

7
  • Неужели нет никакого способа? Пусть даже костыльного.
    – Gordory
    25 мая 2017 в 15:22
  • 1
    никакого нет. С++ -- статически типизированный язык. (разница статической и динамической типизации ). В частности это значит, что вся работа с типами происходит на этапе компиляции. То есть уже компилятор про каждую переменную должен знать, какого она типа.
    – retorta
    25 мая 2017 в 15:51
  • @Gordory, а вам обязательно нужен шаблон? Может вас устроит класс с параметром в конструкторе и динамически выделяемой памятью? 25 мая 2017 в 16:58
  • @ГерманБорисов пришлось так и сделать, но для этого потребовалось создавать класс аналогичный шаблонному, что не очень красиво вышло.
    – Gordory
    25 мая 2017 в 17:33
  • @Gordory скорее всего шаблонный класс Вам не нужен вовсе.
    – αλεχολυτ
    25 мая 2017 в 19:10

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.