Шаблонная функция C ++ с первым аргументом, установленным на второй в качестве аргумента по умолчанию

Question

У меня есть такая функция:

template <typename A, typename B>
void foo(const B & b)
{
    ...
}

A должно быть необязательным;если явно не определено в вызове функции, оно должно быть установлено на B.Цель состоит в том, чтобы избежать излишне многословного кода:

int i;

// First variant: A is specified explicitly
foo<float>(i);

// Second variant: A is set to B implicitly
// This is because foo < int > (i) is unnecessarily verbose
foo(i);

Однако я пока не нашел способа сделать это.Кто-нибудь может придумать один?

Answer 1

#include <type_traits>

struct deduce_tag;

template <typename PreA = deduce_tag, typename B>
void foo(const B & b) {
    using A = std::conditional_t<
        std::is_same<PreA, deduce_tag>::value,
        B,
        PreA
    >;
}