21
А чем вообще один контейнер отличается от другого? И вообще, все их можно заменить обычным массивом...
В конце концов, какая разница, искать ли элемент в контейнере час или пару секунд, или - ну что тут такого страшного, если вставка в начало массива требует перемещения всех его элементов?
Или это существенно?
Тогда учтите, что дек обеспечивает быструю ...
ответ дан 21 авг '17 в 3:00
Harry
160k1111 золотых знаков9090 серебряных знаков191191 бронзовый знак
17
Почему код не работает
Делая следующие объявления:
friend ostream& operator << (ostream &, const Matrix<T> &);
friend istream& operator >> (istream &, Matrix<T> &);
Вы говорите компилятору, где-то есть функции, которые принимают потоки первым аргументом и Matrix<T> вторым. Но Matrix<T> здесь не ...
17
Первое, что пришло в голову:
#include <iostream>
#include <utility>
#include <functional>
namespace details
{
template<typename T, ::std::size_t = 0>
using get_type_t = T;
template<typename RetType, typename ArgsType, ::std::size_t ... I>
auto make_function_type_impl(::std::index_sequence<I...>) -> ...
16
В современном, т.е. C++17 варианте языка разницы между class и typename применительно к шаблонам нет. Однако, в более ранних стандартах разница была заметна при использовании шаблонных шаблонных (sic!) параметров, т.е. когда в качестве аргумента шаблона выступает шаблонный же тип. В этом случае использование typename перед именем шаблонного типа не являлось ...
ответ дан 12 сен '17 в 12:00
αλεχολυτ
25.3k99 золотых знаков4444 серебряных знака103103 бронзовых знака
16
В стандарте есть пример:
template<class T>
constexpr T pi = T(3.1415926535897932385L);
template<class T>
T circular_area(T r) {
return pi<T> * r * r;
}
Здесь шаблон переменной позволяет получить константу нужного размера - float/double/etc.
Другое популярное применение - это замена is_some<T>::value на is_some_v<T>, ...
ответ дан 30 окт '17 в 15:34
Abyx
29.1k1111 золотых знаков8383 серебряных знака142142 бронзовых знака
14
Короткий ответ: потому что так сказано в стандарте языка. При выполнении поиска неквалифицированных имен базовые классы, являющиеся зависимыми типами, не рассматриваются.
Длинный ответ: тип, зависящий от параметра шаблона, является зависимым типом (в данном примере - Base<Tp>), а вложенное в зависимый тип имя - зависимым именем (в данном примере - ...
13
Стандарт C++ говорит следующее [п.14.1.2]:
There is no semantic difference between class and typename in a
template-parameter.
13
Уж сколько раз твердили миру... (с)
Не помещайте определения шаблонных функций/классов в отдельные .cpp-файлы. Размещайте все только в заголовочных файлах - иначе инстанцирования не происходит, вот и имеем, что имеем.
Совет от Страуструпа (A Tour of C++, adv. 7-6):
Раздельной компиляции шаблонов нет: вы должны включать с помощью директивы #include ...
ответ дан 27 янв '19 в 19:10
Harry
160k1111 золотых знаков9090 серебряных знаков191191 бронзовый знак
13
Смотрим приложение B к стандарту C++20 - Implementation quantities.
В нем указаны минимальные значения, которым должны (желательно) отвечать компиляторы.
(2.11) — Parameters in one function definition (9.5.1) [256].
Т.е., в соответствии со стандартом компилятор должен поддерживать функции с не менее чем 256 параметрами. Ограничений сверху стандарт не ...
12
Это пример так называемого двухфазного поиска имён (two-stage name lookup). G++ реализует его начиная с версии 3.4. Его особенность заключается в том, что поиск делится на два этапа: для всех имён, не зависящих от аргумента шаблона, поиск осуществляется на этапе разбора шаблона, для зависимых имён - при инстанциировании шаблона. Это способствует выявлению ...
ответ дан 19 июл '16 в 7:09
Pavel Parshin
8,93811 золотой знак2121 серебряный знак4444 бронзовых знака
12
объектные файлы генерируются не для классов, а для единиц трансляции;
тело инстанцированных шаблонов помещается в единицу трансляции, которая их инстанцирует;
никто не заставляет явно создавать и использовать объектные файлы, большинство компиляторов позволяют сразу собрать исполняемый файл
ответ дан 10 июл '19 в 10:01
user7860670
23.2k33 золотых знака1414 серебряных знаков3232 бронзовых знака
11
Можно записать несколько короче, не используя стандартную библиотеку и оставаясь в рамках C++11:
template<typename TResult, typename TArg, int remaining_args_count, typename... TArgs> class
t_n_args_fun_impl final
{
public: using t_fun = typename t_n_args_fun_impl<TResult, TArg, remaining_args_count - 1, TArgs..., TArg>::t_fun;
};
template&...
ответ дан 16 дек '17 в 14:07
user7860670
23.2k33 золотых знака1414 серебряных знаков3232 бронзовых знака
10
Если вам нужно различить, есть ли в типе T оператор +, вам придётся заняться метапрограммированием на шаблонах, известном как «шаблонная магия».
Итак, начнём. Во-первых, напишем вспомогательную структуру, которая определяет доступность сложения:
#include <type_traits>
template<class T>
class has_addition
{
// Эта функция скомпилируется ...
ответ дан 4 июн '15 в 20:13
VladD
193k2424 золотых знака255255 серебряных знаков480480 бронзовых знаков
10
friend ostream& operator << (ostream &, const Matrix<T> &);
friend istream& operator >> (istream &, Matrix<T> &);
На эти объявления компилятор пишет предупреждения:
prog.cpp:13:64: warning: friend declaration 'std::ostream& operator<<(std::ostream&, const Matrix<T>&)' declares a non-...
ответ дан 19 фев '16 в 20:08
10
Для этого предложения
v.emplace_back({1});
проблема состоит в том, что когда используются шаблонные параметры, то не выводится тип шаблонного параметра из заключенного в фигурные скобки аргумента. А функция emplace_back использует шаблонные параметы.
Из стандарта C++ (14.8.2.1 Deducing template arguments from a function call)
1 Template argument ...
ответ дан 25 ноя '16 в 14:55
Vlad from Moscow
43.6k33 золотых знака3232 серебряных знака8484 бронзовых знака
9
Специализация которая начинается с template<parameters-list> называется "частичной",
специализация которая начинается с template<> называется "полной".
ответ дан 18 июн '17 в 21:07
Abyx
29.1k1111 золотых знаков8383 серебряных знака142142 бронзовых знака
9
Правила дедукции шаблонных аргументов в обоих вызовах f дедуцируют T == std::string. Поэтому ваша специализация просто не подходит под дедуцированное значение T, т.е. будет использоваться "главный" шаблон. Если вы хотите "поймать" эти вызовы в специализации шаблона, то специализировать его придется для std::string, а не для const std::string &.
...
9
Оба синтаксиса формально корректны, но первый не применим в данном контексте.
У вас есть возможность использовать четыре относительно "похожих" синтаксиса за пределами определения самого шаблонного класса
// 1
template<typename T> T X<T>::t;
// "Общее" определение статического члена.
// Является определением независимо от наличия инициализатора....
9
Это несколько разные правила. Здесь T1 и T2 выводятся из переданных аргументов.
Например:
auto L = max(1,'c');
Ясно, что T1=int, T2=char, а не указанный тип L - и есть long.
А вот если написать
auto L = max<double>(1,'c');
то тем самым указываем, что RT - double. А тут
auto L = max<double,int,int>(1,'c');
указаны явно (а не выводятся) и ...
ответ дан 10 янв '20 в 12:16
Harry
160k1111 золотых знаков9090 серебряных знаков191191 бронзовый знак
9
Давайте посмотрим на код ниже:
#include <vector>
#include <list>
using namespace std;
template <template <typename T> typename Cont>
class Foo
{
private:
Cont<int> values;
};
template <typename Cont>
class Bar
{
private:
Cont values;
};
int main()
{
Foo<vector> fooVec;
Bar<vector<int>> ...
8
Смотрите.
Явная специализация — это метод сказать компилятору: когда будешь компилировать Swap для T = MyStruct, пользуйся не обычным определением, а специальным. Специальное поведение нужно, например, если для конкретного типа аргумента вы можете что-то сделать оптимальнее. Например, vector<bool> использует особую стратегию хранения, отличную от ...
ответ дан 2 мая '13 в 14:23
VladD
193k2424 золотых знака255255 серебряных знаков480480 бронзовых знаков
8
Вот мой вариант:
#include <type_traits>
template <typename T>
class has_CompareTo_self
{
typedef char one[1];
typedef char two[2];
template <typename F, F> struct type_check;
template <typename C> static one& test( type_check<int (C::*)(C&), &C::CompareTo>* );
template <typename> static ...
ответ дан 18 апр '15 в 19:00
VladD
193k2424 золотых знака255255 серебряных знаков480480 бронзовых знаков
8
Второй конструктор побеждает потому, что для первого требуется преобразование int -> unsigned int, тогда как для второго никаких преобразований не требуется. Самым простым вариантом избавления от этой проблемы, будет следующий:
template <class Iterator, typename = std::enable_if<!std::is_integral<Iterator>::value, void>::type>
Deque (...
8
Во-первых, как вам же ответили, шаблонный параметр - это лишь локальный формальный параметр, имя которого не имеет никакого значения. В точке friend-объявления оператора вы не можете использовать имя T, так как оно уже "занято" охватывающим шаблоном. А в точке определения оператора имя T свободно и его можно использовать.
Однако, во-вторых, стоит заметить, ...
8
(Тема всплывает с заметной периодичностью.)
В качестве "друга" вы объявили нешаблонную функцию operator *. А определение ваше сделано для шаблона функции operator * - оно к вашему "другу" никакого отношения не имеет. Для оператора-друга вы не предоставили определения вообще, а именно его и пытается вызвать компилятор. Получается ошибка линковки.
(Если вы ...
8
Есть несколько вариантов.
(1) Если тип аргументов либо известен заранее (возможно является параметром шаблона, который нужно задавать явно), тогда берем std::is_convertible и SFINAE.
#include <iostream>
#include <type_traits>
template <typename
template <
typename T,
typename ...P,
typename = std::enable_if_t<(std::...
ответ дан 17 дек '18 в 19:54
HolyBlackCat
15.3k33 золотых знака2020 серебряных знаков3333 бронзовых знака
7
Если Вы хотите просто передать шаблону какой-то тип, то в качестве параметра шаблона надо использовать параметр-тип:
template<class X> struct foo { X x; };
// ^ параметр-тип. ^ используется как тип.
foo<int> obj; // ОК, передали тип int, получили поле "int x;"
foo<vector<int>> obj; // ОК, передали тип vector<...
ответ дан 23 июл '15 в 12:33
Abyx
29.1k1111 золотых знаков8383 серебряных знака142142 бронзовых знака
7
Входные данные вы получаете в виде строки. Тут без вариантов.
Т.к. динамической типизации в C++ нет и вы не знаете заранее (по условию нужно чтобы мог вводить что угодно), что вам ввёл пользователь - этапа определения типов введённых данных не избежать. Вам для каждого аргумента надо определить, а не int ли это, или double. И в зависимости от результатов ...
ответ дан 16 дек '15 в 17:00
Alexey
1,59822 золотых знака1010 серебряных знаков2828 бронзовых знаков
7
Всё ведь просто:
template <typename t> class A;
template <typename t> class B
{
public:
friend class A<t>;
};
Если нужно, чтобы другом были все A, а не только те, что имеют тот же шаблонный параметр, то можно написать так:
template <typename t> class A;
template <typename t> class B
{
public:
template<typename>
...
7
Тут всё довольно просто, при компиляции с каким-либо типом, эта строчка:
template <class C> static True isClass( int C::* );
превращается во что-то такое:
static True isClass( int Type::* );
Теперь, если Type это какой-то встроенный тип, эта функция отбраковывается (для того, чтобы объявить указатель на член, тип должен быть классом). Если же Type ...
Допускаются только превышающие минимальную длину ответы с наивысшим рейтингом, не являющиеся общими
Связанные метки
шаблоны-с++ × 576c++ × 572
классы × 41
c++11 × 41
функции × 24
visual-c++ × 23
ооп × 22
наследование × 21
stl × 19
c++14 × 18
массивы × 17
c++17 × 13
перегрузка-операторов × 12
метапрограммирование × 12
vector × 10
gcc × 9
конструктор × 9
qt × 8
указатели × 7
language-lawyer × 7
visual-studio × 6
методы × 6
типы-данных × 6
алгоритм × 5
ссылки × 5