template-templates

Одной из возможных форм параметра шаблона является шаблон класса. Стандарт C++ (C++2003) утверждает, что аргумент для параметра шаблона шаблона во время создания экземпляра шаблона является "ID-выражением". Этот нетерминал довольно широк. Он позволяет использовать деструкторы, перегруженные операторы и т. д. ...

Допустим, у меня есть два следующих тестовых класса: struct TestYes { using type = void; template <typename... T> using test = void; }; struct TestNo { }; И я хочу определить, есть ли у них этот член шаблона test. Для члена type, template <typename, typename = void> struct has_...

Я пытаюсь расширить список аргументов, передаваемых через шаблон шаблона. Первый пример работает, второй-нет. результат, который я ищу, будет состоять в том, что во втором примере cWapperObject.cMemberVariable.cTuple имеет тип std::tuple<double, float, short, int>. Как я могу этого достичь? (И пожалуйст...

Я видел несколько примеров C++, использующих параметры шаблона шаблона (то есть шаблоны, которые принимают шаблоны в качестве параметров) для разработки класса на основе политики. Какое еще применение имеет эта техника?...