Как запретить выведение типа в шаблоне С++

[user14284]

Пример:

template<typename T>
void foo(T &x, T y) {
    x = y;
}

Если затем я напишу

unsigned char a;
foo(a, 0);

компилятор выведет ошибку, потому что он вывел тип T для первого аргумента как unsigned char, а для второго int.

Есть ли способ заставить компилятор не выводить тип второго аргумента, а и пользовать ужн выведенный из первого аргумента тип T?

Ограничения: С++ не новее c++14, нет STL (компилятор avr-g++).

[EtCetera]

Надо поместить тип второго аргумента в т.н. non-deduced context:

Используется синтаксис C++

#include <iostream>


template <typename T>
struct identity
{
    using type = T;
};

template <typename T>
using identity_t = typename identity<T>::type;


template <typename T>
void foo(T& x, identity_t<T> y)
{
    x = y;
}

int main()
{
    unsigned char a;
    
    foo(a, 65);
    
    std::cout << "a = " << a << std::endl;
}

Alias template identity_t здесь нужен только для сокращения и очищения кода (если подобных мест у Вас несколько). Вместо него везде, где нужен non-deduced context для параметра шаблона T, можно просто писать typename identity<T>::type (хотя выглядит это не слишком просто ).

[user14284]

Спасибо. Я тут ещё нагуглил, что шаблоны поддерживают параметры по умолчанию. Если сделать так

 template <typename T, typename U = T>
void foo(T &x, U y) { x = y; }

это будет работать? Сейчас нет доступа к компьютеру, чтобы проверить.

[EtCetera]

Нет, так работать не будет.

[user14284]

Ещё вариант:

template<typename T>
void foo(T &x, decltype(T{}) y)

Лаконично, но тип должен быть default-constructible.

[mihaild]

user14284 в сообщении #1357663 писал(а):

 template <typename T, typename U = T>
void foo(T &x, U y) { x = y; }

это будет работать?

EtCetera в сообщении #1357695 писал(а):

Нет, так работать не будет.

Работать будет, но инстанцируется в результате foo<char, int>.