Возможно ли иметь необязательный параметр шаблона в С++, например
template < class T, class U, class V>
class Test {
};
Здесь я хочу, чтобы пользователь использовал этот класс либо с V, либо без V
Возможна следующая
Test<int,int,int> WithAllParameter
Test<int,int> WithOneMissing
Если да, как это сделать.
У вас могут быть аргументы шаблона по умолчанию, которых достаточно для ваших целей:
template<class T, class U = T, class V = U>
class Test
{ };
Теперь выполните следующую работу:
Test<int> a; // Test<int, int, int>
Test<double, float> b; // Test<double, float, float>
Конечно, вы можете иметь параметры шаблона по умолчанию:
template <typename T, typename U, typename V = U>
template <typename T, typename U = int, typename V = std::vector<U> >
Стандартная библиотека делает это все время - большинство контейнеров принимают от двух до пяти параметров! Например, unordered_map на самом деле:
template<
class Key, // needed, key type
class T, // needed, mapped type
class Hash = std::hash<Key>, // hash functor, defaults to std::hash<Key>
class KeyEqual = std::equal_to<Key>, // comparator, defaults to Key::operator==()
class Allocator = std::allocator<std::pair<const Key, T>> // allocator, defaults to std::allocator
> class unordered_map;
Обычно вы просто используете его как std::unordered_map<std::string, double>, не давая ему дальнейших размышлений.