Шаблон: Как изменить тип -имя по умолчанию на тип -имя, которое нельзя изменить? ⇐ C++

[Anonymous]

struct ResultDeleter
{
typedef HANDLE pointer;
void operator()(pointer ptr) noexcept
{
ResultFree(ptr);
}
};

template
inline P ResultPointer(int val) noexcept
{
return P(Result(val));
}

Из того, что я понимаю, Typename p = ... принимает тип по умолчанию, который может быть изменен пользователем. Как я могу написать это, чтобы сделать его неизменным? Мне нужно это типовое имя для типа возврата, и я не хочу писать его дважды. Я написал это таким образом для RVO.#include
#include
#include

struct Deleter
{
typedef BSTR pointer;
void operator()(const pointer ptr) noexcept
{
SysFreeString(ptr);
}
};

template
inline P BasicString(const LPCWSTR psz) noexcept
{
return P(SysAllocString(psz));
}

int wmain()
{
const auto ptr{ BasicString(L"Templates are not my cup of tea.") };
std::wcout

Подробнее здесь: https://stackoverflow.com/questions/797 ... be-changed