Вопросы с меткой [шаблоны-с++]

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

Фильтрация
Сортировка
Метки
2 голоса
0 ответов
78 показов

Что означает этот синтаксис? С++

В своих поисках наткнулся на вот такую функцию: template<class T> class Maybe : // .... // .... template <class M> Maybe<M> fetch(M T::*mem_ptr) { return (bool(t)) ? Maybe<M&...
ComeInRage's user avatar
  • 1,611
0 голосов
1 ответ
98 показов

Как создать класс в котором будет шаблонный указатель на разные типы

Класс управляющий экранами. class ScreenStack final { public: explicit ScreenStack(std::initializer_list <std::unique_ptr<IUserMenu<?>>> &list_menu) { ...
Boris's user avatar
  • 59
0 голосов
1 ответ
58 показов

Можно ли специализировать класс сразу для нескольких типов?

К примеру: template<typename T> struct MyStruct{ //... void foo() { cout << "T\n";} //... }; template<> struct MyStruct<float>{ //... void foo() ...
user493023's user avatar
0 голосов
1 ответ
164 показа

Почему использование enable_if дает разные результаты?

Почему две версии конструктора копирования дают разные результаты с ипользованием enable_if? В моем понимании два конструктора копирования по использованию должны давать один и тот же результат (быть ...
Alex Aparin's user avatar
  • 1,136
3 голоса
1 ответ
52 показа

Доступ ко члену-типу шаблонного типа извне шаблонного типа

Скажите, пожалуйста, как Стандарт C++ регламентирует доступ ко вложенному члену-типу шаблонного типа при условии, что вложенный член-тип не зависит от шаблонных параметров объемлющего типа? Например: ...
MGNeo's user avatar
  • 4,128
0 голосов
1 ответ
51 показ

С++ Typelist и метафункция bind вариативного шаблона. Ошибка при компиляции

Я использую Typelist для группировки типов. Для него я реализовал метафункцию tlist_find_if, которая принимает на вход предикат Pred и список типов, и возвращает тип, содержащийся в списке, если для ...
YpaHeL1's user avatar
  • 1,188
-1 голос
2 ответа
65 показов

C++ Как создать вариативное количество массивов, размеры которых передаются через вариативный template?

Как создать такой класс test с вариативным template, что в template передаются числа, сколько чисел столько внутри класса создается массивов? Эти числа означают размеры массивов. С помощью метода ...
Lua Колдун's user avatar
1 голос
2 ответа
90 показов

Incomplete type 'std::tuple_size' used in nested name specifier

#include <iostream> #include <tuple> #include <utility> template <typename T, std::size_t... I> std::ostream& printTupleImp(std::ostream& os, const T& tp, std::...
ueber's user avatar
  • 21
-1 голос
1 ответ
74 показа

Подскажите, пожалуйста, что происходит в этом коде?

Знаю, что здесь такие вопросы не особо любят, но подскажите, пожалуйста. Я встретил одну реализацию таймера, где увидел вот такое чудо. В шаблонах не силён, но здесь не понял ВООБЩЕ ничего: template &...
Artem.rtv's user avatar
  • 351
0 голосов
1 ответ
78 показов

Можно ли развернуть картеж, чтоб передать его в качестве аргумента в функцию, где требуется несколько аргументов?

Вот пример, у нас есть кортеж auto t = std::make_tuple(1, 2, 3); есть функция int calc(int a, int b, int c); Могу ли я как то развернуть кортеж, чтоб передать его вместо 3 аргументов в функцию?
Denver Toha's user avatar
  • 2,595
4 голоса
2 ответа
70 показов

Необходимость typename в глобальной функции и функции-члене

template <class T> T f(T::X x); template <class T> struct A { T f(T::X x); }; Почему первая функция не компилируется без typename, а вторая компилируется https://godbolt.org/z/...
ueber's user avatar
  • 109
3 голоса
1 ответ
36 показов

Эквивалентность перечислений и объединений в качестве шаблонных параметров

#include <type_traits> template<auto T> struct A {}; enum class E { a = 0, b = 0, }; union U { int a; int b; }; static_assert(std::is_same_v<A<E::a>, A<E::b&...
ueber's user avatar
  • 109
-1 голос
1 ответ
59 показов

Как в коде статичные массивы заменить на вектора?

Создайте шаблон функции scalar_product(), рассчитывающей скалярное произведение двух векторов в пространстве размерности n. В качестве параметров шаблона используйте тип элементов вектора T и его ...
tnewplayer232's user avatar
0 голосов
0 ответов
97 показов

Как правильно перегрузить оператор присвоения в шаблоне стека?

Есть следующие задание: "Задание 2. Реализуйте шаблон стека - MyStack2 таким образом, чтобы для хранения элементов использовался ОДНОСВЯЗНЫЙ список. Реализуйте возможность распечатать элементы ...
Nir_787's user avatar
  • 47
0 голосов
0 ответов
87 показов

Как правильно создать шаблон функции для перестановки местами двух значений

Имеется задача создать шаблон функции для перестановки местами двух значений.При выводе второй строки выдаёт разные значки. Подскажите пожалуйста в чём ошибка. Swap.h #include <iostream> ...
Nir_787's user avatar
  • 47
0 голосов
0 ответов
67 показов

Избавиться от повторяемости кода

Имею следующий код. Хотел бы избавиться от повторяемости. По сути все дубляжи друг от друга отличаются только типами Header, Code, NumberedList, MarkedList. Первая мысль - создать коллекцию типов (...
SdxSdySdz's user avatar
0 голосов
1 ответ
40 показов

Можно ли в C++ реализовать идею "шаблона шаблона"?

Например, я делаю кастомный контейнер, включающий в себя другой шаблон контейнера, и я хочу определить в шаблоне не только тип ключа и значений, но и тип самого контейнера, например hash или map. ...
asianirish's user avatar
  • 2,864
-1 голос
1 ответ
446 показов

Как работать с template? [закрыт]

Есть код ниже. Компилятор говорит синтаксическая ошибка (тоже ниже). Но мне не совсем понятно, что именно не так. Создал шаблонный класс ParagraphTests, внутри него в методе FailsOnInvalidParameters ...
SdxSdySdz's user avatar
1 голос
1 ответ
69 показов

как узнать длинну шаблонного массива?

Задание: сделать итератор по массиву(массив может быть любого типа).Соответственно я делаю класс и метод возращения элемента с массива шаблонным.Длину массива узнаю с помощью шаблонного метода strLen,...
smth's user avatar
  • 21
0 голосов
3 ответа
69 показов

Нужна ли ссылка в идиоме обнаружения?

Если я проверяю, есть ли у типа функция .begin(), то нужно это делать с сылкой или без? И объясните почему? using namespace std; template<class, class = void> struct supports_begin : false_type ...
Anton Asperger's user avatar
0 голосов
3 ответа
87 показов

Почему нельзя создать объект, если is_constructible говорит, что можно?

У меня есть небольшой класс, в котором есть оператор преобразования от std::initializer_list. С помощью SFINAE (это же оно?) я проверяю, что initializer_list содержит тип, из которого я могу построить ...
Anton Asperger's user avatar
3 голоса
1 ответ
184 показа

Как проверить на этапе компиляции, что переданная в шаблон структура содержит в себе поле с определенным именем?

Как проверить на этапе компиляции, что переданная в шаблон структура содержит в себе поле с определенным именем? template <class T> void foo(T a) { //как проверить что a имеет поле id }
Denver Toha's user avatar
  • 2,595
0 голосов
1 ответ
80 показов

Как специализировать шаблон для конкретного типа?

Как специализировать шаблон для конкретного типа? К примеру, у меня есть шаблонная функция sum, я хочу чтоб с интами она работала по особому template <class T> void sum(T a, T b) { } как мне ...
Denver Toha's user avatar
  • 2,595
0 голосов
1 ответ
128 показов

Частичная специализация нескольких типов сразу

Есть класс hash template<class> struct hash; Теперь я начинаю реализовывать частичную специализацию для всех арифметических типов: template<> struct hash<bool> { size_t ...
Anton Asperger's user avatar
1 голос
1 ответ
50 показов

Почему шаблонная функция вызывается первой? C++

Насколько мне известно, когда мы создаем шаблонную функцию с шаблонными параметрами и частичную(к примеру которая принимает int) с одинаковыми именами то в случае вызова функции сначала должна ...
luca's user avatar
  • 13
5 голосов
3 ответа
217 показов

Объединение std::array с помощью вариативных шаблонов

Мне нужно, чтобы я могла объединять несколько std::array в один, причем с использованием вариативных шаблонов. Мне удалось сделать объединение двух std::array, но если я пытаюсь объединить три - ...
tata's user avatar
  • 53
-3 голоса
1 ответ
34 показа

Проблема с возвращением значения функции [закрыт]

using namespace std; double funcFind(int n, double a, double b, double step, FuncType f) { double eps = 0.0000001; double min = 0; for (double i = b; i >= a; i -= step) { double pr = ((f(...
user avatar
0 голосов
1 ответ
231 показ

Перегрузка операторов + - * в шаблонном классе

Пишу шаблонный класс матрицы, не могу понять как тут правильно реализовать перегрузку операторов class Matrix { private: T** data; public: Matrix(int rows, int columns); ~Matrix(); ...
sashka's user avatar
  • 1
4 голоса
1 ответ
509 показов

undefined reference to std::tuple<std::any, std::__cxx11::basic_string<char, std::char_traits, std::allocator > >::tuple<true, true>()

Почему этот код с cppreference выдаёт ошибку? Как исправить? #include <tuple> #include <string> #include <any> template<class... Args> struct B : std::tuple<Args...>, ...
karmik's user avatar
  • 41
1 голос
1 ответ
1k показов

ошибка "отсутсвует список аргументов для шаблон класса"

Сделал что-то типа хранилища для объектов без использования контейнеров STL , описал методы классов , конструкторы , деструкторы и т.д , но при создании массива объектов c помощью конструктора с ...
user474832's user avatar
0 голосов
0 ответов
37 показов

Вопрос про enable_if_t [дубликат]

Я знаю, что существует 2 варианта записи функции с std::enable_if_t template<class Ty, class = std::enable_if_t<true>> // 1 вариант struct my_struct{ }; template<class Ty, std::...
Anton Asperger's user avatar
-1 голос
1 ответ
100 показов

template argument deduction/substitution failed:

Непонимаю, почему не может определить тип автоматически. Наверное потому что передаю не тип, а значение. Как быть?? template <typename T> Params ToParams ( const Where& where, std::pair<...
Aptem_f's user avatar
  • 486
1 голос
1 ответ
46 показов

Как генерируются шаблоны для ссылочных типов? C++

Для начала давайте рассмотрим код с моей проблемой: #include <iostream> template<typename T> void sum(T x) { x += 1; } int main() { int a = 4; int& x = a; sum(x); ...
Learpcs's user avatar
  • 747
2 голоса
1 ответ
125 показов

Как C++ выводит тип для шаблонов функций?

На самом деле я не подразумеваю на свой вопрос полного и исчерпывающего ответа, иначе меня можно просто отправить на cppreference читать это огромное чтиво. Когда-нибудь может и займусь этим, но в ...
Learpcs's user avatar
  • 747
-2 голоса
1 ответ
34 показа

Не получается добавить контейнер в шаблонный класс

Пишу шаблонный класс для очереди с приоритетами. Пока есть такой код #include <iostream> #include <vector> using namespace std; template<typename T, class Container> class ...
Paul Nikiforoff's user avatar
1 голос
1 ответ
119 показов

Концепты не работают

#include <concepts> #include <type_traits> template <std::signed_integral T> std::make_unsigned_t<T> unsign(T x) { return x; } int main() { unsign(42); unsign(42.)...
bog's user avatar
  • 15
0 голосов
1 ответ
299 показов

Операции с разными типами данных

Пишу шаблонный класс на плюсах. Если задать разные типы для класса (Например double для a и int для b), то будет ошибка. Вопрос: можно ли этого избежать предусмотрев это в классе или обязательно ...
tabletkaotkashlya228's user avatar
-1 голос
1 ответ
47 показов

Ошибка C2440 в VisualStudio 2019

Типы kp::InputField/Button/Timer* не конвертируются в ReturnClass*. Что здесь не так? Непонятно. template <class ReturnClass> static ReturnClass* createObject(kp::ObjectType type) { switch (...
kolyshek's user avatar
5 голосов
2 ответа
948 показов

Каким способом правильно писать SFINAE в шаблонах? C++

Заметил, что SFINAE в шаблонах пишет по-разному. Двумя способами: template < typename Func, std::enable_if_t<std::is_invocable_v<Func>, std::nullptr_t> = nullptr > И: ...
ComeInRage's user avatar
  • 1,611
1 голос
2 ответа
71 показ

Почему компилятор запрещает такую специализацию?

Хочу сделать специализацию метода для отдельного контейнера и ввожу такой код: template<typename type, typename container> struct A { void say(); }; template<typename type, typename ...
Agaress's user avatar
  • 13
1 голос
1 ответ
80 показов

Как проверить тип шаблона на этапе компиляции?

Мне нужно проверить тип шаблона на этапе компиляции. К примеру, я хочу чтоб в качестве шаблонного параметра передавались только типы беззнаковых целых чисел.
Denver Toha's user avatar
  • 2,595
0 голосов
1 ответ
75 показов

Как написать обобщённый код для всех специализаций шаблонного класса?

Есть шаблонный класс template <int I> Foo и две его специализации. Как мне что-то определить внутри Foo, чтобы это было видно во всех его специализациях? Например: template <int I> class ...
Rivand's user avatar
  • 2,084
0 голосов
1 ответ
122 показа

Как правильно реализовать функцию/метод принимающий на вход компаратор?

Вот для примера возьмем функцию сортировки пузырьком, как правильно реализовать в ней компаратор? template<class Iterator> void BubbleSort(Iterator first, Iterator last) { for (Iterator i = ...
Denver Toha's user avatar
  • 2,595
1 голос
1 ответ
184 показа

Как ускорить сортировку коротких массивов?

В проекте часто приходится сортировать массивы с такими характеристиками: Размер 2 - 32 (чаще всего 2, 3, 4, 8) Упорядочены случайно Тип хранимых данных uint32_t Стандартная сортировка работает с ...
Anton Asperger's user avatar
2 голоса
1 ответ
190 показов

Каким образом зафиксировать один аргумент в функции C++?

У меня есть 2 типа функций: typedef double (*func_t1)(double x); typedef double (*func_t2)(double x, double y); Я хочу получить вот такую функцию: func_t1 GetFunc(func_t2 f, double y) { double ...
Вячеслав Сысоев's user avatar
0 голосов
0 ответов
135 показов

Doxygen не создает ссылку на специализацию класса

Помогите плез. Имеется следующий код template<class T, class T_Step> constexpr bool is_forbidden_types_combination = !std::is_floating_point_v<T> && std::is_floating_point_v<...
ArtemiiSelyankin's user avatar
0 голосов
1 ответ
63 показа

Как сделать две реализации шаблонной функции при помощи SFINAE? C++

Есть функция, которая принимает лямбду. Я через SFINAE проверяю ее на возможность вызова с определенными типами аргументов. Если это невозможно, то шаблон отбрасывается: template < ...
ComeInRage's user avatar
  • 1,611
0 голосов
1 ответ
94 показа

Реализация интерфейса для статического полиморфизма

Как реализовать интерфейс так, чтобы в каждом классе должны были быть реализованы все функции из класса интерфейса? Нашел такое решение: Программист, который хочет задать определенный интерфейс для ...
Anton Asperger's user avatar
-1 голос
1 ответ
79 показов

Удобно вызывать шаблонные классы

Столкнулась с тем что неудобно прописывать шаблоны каждый раз в конструкторе класса. Пример template<class T> class A{ T &type_class; public: A(T &type_class_) :type_class(type_class_) {...
kaliarty's user avatar
  • 133
4 голоса
1 ответ
111 показов

requires перед и после названия функции

template<typename T> requires true void f() {} template<typename T> void f() requires true {} В чём разница между этими функциями?
ueber's user avatar
  • 51