Вывержение аргумента шаблона функции не удалось с помощью std :: Необязательно ⇐ C++

[Anonymous]

Я хотел бы написать функцию шаблона, принимая необязательный аргумент, используя std :: Необязательно < /code>, < /p>

Код: Выделить всё

template
void fcn(T1 v1, std::optional v2)
{
}

int main()
{
fcn(1, 1);            // failed to compile
fcn(1, std::nullopt); // failed as well
}

However, the compiler can't deduce T2 for neither cases.

I understand that there's a trick when T1 and T2 are the same by putting the second argument into a non-deducible context like,

Код: Выделить всё

template
void fcn(T v1,
std::enable_if::type v2)
{
}
< /code>

Так что вызывающий вызывающий FCN (1, 1) < /code> обычно. И мой первый вопрос заключается в том, как добиться этого для моего предыдущего примера, не заставляя вызывающего абонента писать FCN (v1, std :: make_optional (v2)) 

? Поскольку в моем использовании может быть несколько дополнительных аргументов, и написание всех перестановки перегрузки будет слишком непрактичным. < /P>

---- РЕДАКТИРОВАТЬ ---- < /p>

Как предполагают комментарии, есть несколько способов сделать код компиляцией, но ни один не является таким же интуитивным, как и нормальный вызов функции. Может быть, еще один вопрос, который стоит задать, - какой способ писать функции шаблона, принимая дополнительные аргументы с разными типами?

Подробнее здесь: https://stackoverflow.com/questions/491 ... tdoptional