C++ Templates: переопределить некоторые, но не все аргументы по умолчанию?

Question

Когда я сталкиваюсь с шаблоном с несколькими аргументами по умолчанию, например.

template<typename ID = int, typename PAYLOAD = std::string> 
class Foo{}; 

Есть ли способ обойти только несколько аргументов по умолчанию, а не все из них?

I.e. вместо того, чтобы писать следующее, чтобы создать класс, который использует целое вместо std::string для параметра PAYLOAD,

typedef Foo<int,int> Bar; 

Могу ли я написать что-то подобное:

typedef Foo<PAYLOAD=int> Bar; 

Я имею дело с предварительно другой команды -определенные шаблоны с большим количеством аргументов по умолчанию, и возможность использования второго метода кажется, что это улучшит ясность моего кода.

Рассматривая документацию и другие вопросы по StackOverflow, это не представляется возможным, но мне было интересно, может ли кто-нибудь объяснить, почему это не функция?

Answer 1

В дизайне и эволюции C++ Бьярне Страуструп отметил, что существуют предложения по ключевым словам; однако, они были отклонены, так как

группа расширений достигли консенсуса, что предложение было близко к избыточным, может вызвать проблемы совместимости с существующим кодом C++, и будет способствовать программирования стилей, которые не должны быть поощрены.

Я полагаю, что параметры шаблона ключевого слова не были включены по той же причине. Если вы хотите упростить свою жизнь, либо выполните сложность, либо напишите классы адаптеров, которые изменяют порядок параметров шаблона.

Answer 2

Номер

Тип шаблона не поддерживается подобным образом. Типы могут быть указаны вместо значений по умолчанию в порядке слева направо.

Answer 3

Вы можете заменить по индексу, если шаблон не подделывает ничего, кроме типов.

Создайте шаблон с первыми n связанными аргументами. Затем извлеките аргументы и замените нужные.

Для этого необходимо, чтобы первые n аргументов были действительны без позиционных.

Эскиз:

template<class...>struct types{using type=types;}; 
template<class types, class T, size_t index> 
struct replace{ 
    using type=/*types with index replaced with `T`*/; 
}; 
template<template<class...>class Z,class types> 
struct apply;// applies content of types to Z 
template<size_t n, class T>struct rep{}; 
template<class Z, class...reps> 
struct replacing; 
template<template<class...>class Z, class...Ts,class...reps> 
struct replacing<Z<Ts...>,reps...>: 
    apply<Z,replacing_t<types<Ts...>,reps...>> 
{}; 
template<class...Ts,class T0,class n,class...reps> 
struct replacing<types<Ts...>,rep<n,T0>,reps...>: 
    replacing<replace_t<types<Ts...>,T0,n>,reps...> 
{}; 
template<class...Ts> 
struct replacing<types<Ts...>>: 
    types<Ts...> 
{}; 

с _t использования псевдонимов и ряд ОПС остаются пустыми.

Тогда вы можете:

replacing_t<some_template<>,rep<1,int>> 

, который использует аргументы по умолчанию some_template, но заменяет arg1 с int.