23 голоса
Принятый

Контейнер deque в STL c++

А чем вообще один контейнер отличается от другого? И вообще, все их можно заменить обычным массивом... В конце концов, какая разница, искать ли элемент в контейнере час или пару секунд, или - ну что ...
Harry's user avatar
  • 222k
19 голосов

Перегрузка операторов >> и << в шаблонном классе как дружественных функций

Почему код не работает Делая следующие объявления: friend ostream& operator << (ostream &, const Matrix<T> &); friend istream& operator >> (istream &, Matrix&...
ixSci's user avatar
  • 23.8k
19 голосов
Принятый

Какая разница в typename и class в параметрах шаблона?

В современном, т.е. C++17 варианте языка разницы между class и typename применительно к шаблонам нет. Однако, в более ранних стандартах разница была заметна при использовании шаблонных шаблонных (sic!)...
αλεχολυτ's user avatar
19 голосов
Принятый

Объявление функции n переменных

Первое, что пришло в голову: #include <iostream> #include <utility> #include <functional> namespace details { template<typename T, ::std::size_t = 0> using get_type_t ...
Croessmah stands with Russia's user avatar
17 голосов
Принятый

Шаблоны переменных в C++14

В стандарте есть пример: template<class T> constexpr T pi = T(3.1415926535897932385L); template<class T> T circular_area(T r) { return pi<T> * r * r; } Здесь шаблон переменной ...
Abyx's user avatar
  • 31.2k
14 голосов
Принятый

Вызов функции_члена шаблонного базового класса из функции производного шаблонного класса

Короткий ответ: потому что так сказано в стандарте языка. При выполнении поиска неквалифицированных имен базовые классы, являющиеся зависимыми типами, не рассматриваются. Длинный ответ: тип, ...
AnT stands with Russia's user avatar
14 голосов
Принятый

Как компилятор/линкер обходится без объектных файлов для template-классов?

объектные файлы генерируются не для классов, а для единиц трансляции; тело инстанцированных шаблонов помещается в единицу трансляции, которая их инстанцирует; никто не заставляет явно создавать и ...
user7860670's user avatar
  • 29.9k
13 голосов

Какая разница в typename и class в параметрах шаблона?

Стандарт C++ говорит следующее [п.14.1.2]: There is no semantic difference between class and typename in a template-parameter.
n3r0bi0m4n's user avatar
  • 1,197
13 голосов

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

Уж сколько раз твердили миру... (с) Не помещайте определения шаблонных функций/классов в отдельные .cpp-файлы. Размещайте все только в заголовочных файлах - иначе инстанцирования не происходит, вот и ...
Harry's user avatar
  • 222k
13 голосов

Максимальное количество параметров

Смотрим приложение B к стандарту C++20 - Implementation quantities. В нем указаны минимальные значения, которым должны (желательно) отвечать компиляторы. (2.11) — Parameters in one function ...
Harry's user avatar
  • 222k
12 голосов
Принятый

Зачем требуется указывать имя базового класса при обращении к наследуемой функции, если существует только один вариант разрешения этого обращения?

Это пример так называемого двухфазного поиска имён (two-stage name lookup). G++ реализует его начиная с версии 3.4. Его особенность заключается в том, что поиск делится на два этапа: для всех имён, не ...
Pavel Parshin's user avatar
11 голосов
Принятый

Перегрузка операторов >> и << в шаблонном классе как дружественных функций

friend ostream& operator << (ostream &, const Matrix<T> &); friend istream& operator >> (istream &, Matrix<T> &); На эти объявления компилятор пишет ...
Qwertiy's user avatar
  • 124k
11 голосов

Объявление функции n переменных

Можно записать несколько короче, не используя стандартную библиотеку и оставаясь в рамках C++11: template<typename TResult, typename TArg, int remaining_args_count, typename... TArgs> class ...
user7860670's user avatar
  • 29.9k
10 голосов
Принятый

emplace_back для int

Для этого предложения v.emplace_back({1}); проблема состоит в том, что когда используются шаблонные параметры, то не выводится тип шаблонного параметра из заключенного в фигурные скобки аргумента. ...
Vlad from Moscow's user avatar
10 голосов
Принятый

Частичная специализация C++

Специализация которая начинается с template<parameters-list> называется "частичной", специализация которая начинается с template<> называется "полной".
Abyx's user avatar
  • 31.2k
10 голосов
Принятый

Шаблоны с переменным количеством аргументов - но одним параметром

Есть несколько вариантов. (1) Если тип аргументов либо известен заранее (возможно является параметром шаблона, который нужно задавать явно), тогда берем std::is_convertible и SFINAE. #include <...
HolyBlackCat's user avatar
  • 27.7k
10 голосов
Принятый

Вопрос про специализацию и шаблонны классы со статическими данными

Оба синтаксиса формально корректны, но первый не применим в данном контексте. У вас есть возможность использовать четыре относительно "похожих" синтаксиса за пределами определения самого шаблонного ...
AnT stands with Russia's user avatar
10 голосов
Принятый

Захватить лямбдой аргументы вариативного шаблона

Вот так работает: #include <iostream> template <typename Func, typename... Args> void exec(Func&& func, Args&&... args) { auto worker = [f = std::forward<Func>(...
αλεχολυτ's user avatar
9 голосов
Принятый

Специализация шаблонной функции для std::string

Правила дедукции шаблонных аргументов в обоих вызовах f дедуцируют T == std::string. Поэтому ваша специализация просто не подходит под дедуцированное значение T, т.е. будет использоваться "главный" ...
AnT stands with Russia's user avatar
9 голосов
Принятый

В чём смысл std::forward при передаче параметров?

Предположим, что конструктор base принимает move-only параметр по значению: struct base { base(std::unique_ptr<int> value); }; В таком случае первый вариант не скомпилируется: template <...
Abyx's user avatar
  • 31.2k
9 голосов
Принятый

C++, аргументы по умолчанию в параметрах шаблона

Это несколько разные правила. Здесь T1 и T2 выводятся из переданных аргументов. Например: auto L = max(1,'c'); Ясно, что T1=int, T2=char, а не указанный тип L - и есть long. А вот если написать auto ...
Harry's user avatar
  • 222k
8 голосов
Принятый

Дополнительная Специализация конструктора шаблонного класса

Второй конструктор побеждает потому, что для первого требуется преобразование int -> unsigned int, тогда как для второго никаких преобразований не требуется. Самым простым вариантом избавления от ...
ixSci's user avatar
  • 23.8k
8 голосов

Различные имена типа в объявлении и определении шаблонной функции

Во-первых, как вам же ответили, шаблонный параметр - это лишь локальный формальный параметр, имя которого не имеет никакого значения. В точке friend-объявления оператора вы не можете использовать имя ...
AnT stands with Russia's user avatar
8 голосов
Принятый

Продление жизни значения константной ссылкой

Насколько я понимаю стандарт (цитата): ⁴ [...] Temporary objects are destroyed as the last step in evaluating the full-expression that (lexically) contains the point where they were created. [...] ...
VladD's user avatar
  • 207k
8 голосов
Принятый

Можно ли лямбда-выражение сделать шаблонным?

Без проблем - напишите auto f = [](auto& vec_1, auto& vec_2) -> bool { return vec_1.size() > vec_2.size(); };
Harry's user avatar
  • 222k
8 голосов
Принятый

Перегрузка шаблонных операторов с разделением на описание и имплементацию

(Тема всплывает с заметной периодичностью.) В качестве "друга" вы объявили нешаблонную функцию operator *. А определение ваше сделано для шаблона функции operator * - оно к вашему "другу" никакого ...
AnT stands with Russia's user avatar
8 голосов
Принятый

Почему операции в потоке выполняются в обратном порядке?

Порядок вычисления аргументов функции не специфицирован. Например, для функции void f(int i, int j) при вызове с передачей в вызов других функций для порождения значений i и j, т.е.: f(g(), k()); Нет ...
αλεχολυτ's user avatar
8 голосов
Принятый

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

Проверка на VC++ для массивов 4,8,16,32 показывает, что вставка и при 16 бьет стандартную сортировку. На g++ — и того круче, при 32 :) Тут данные для VC++ 2019; полный код и результаты для g++ - см. ...
Harry's user avatar
  • 222k
8 голосов
Принятый

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

Во-первых, в первом способе нельзя выключить проверку, явно указав шаблонный аргумент, как уже написал Qwertiy. Во-вторых, первый способ позволяет перегружать функцию, так чтобы отличалось только ...
HolyBlackCat's user avatar
  • 27.7k

Допускаются только превышающие минимальную длину ответы с наивысшим рейтингом, не являющиеся общими