Почему данная шаблонная функция не хочет перезагружаться?

Question

[HentaiEtoIskusstvo]

#include<iostream>
using namespace std;

template < typename T > void Function1(T a, T b);
void main() {
	int i;
	double d;
	char c;
	int b;
	cout << "Enter int number: ";
	cin >> i;
	Function1(i, b);
	cout << endl;
	cout << "Enter double number: ";
	cin >> d;
	Function1(d, b);
	cout << endl;
	cout << "Enter char number: ";
	cin >> c;
	Function1(c, b);
	cout << endl;
}
template < typename T >
void Function1(T a, T b = 2) {
	T c;
	for (int i = 0; i <= b; ++i) {
		c = a*a;
	}
	cout << c;
}

Comments

[devalone]

Что значит "не хочет перезагружаться"?

[Максим Мосейчук]

devalone,

Answer 1

[MiiNiPaa]

Я не буду расписывать все проблемы данного кода, остановлюсь на главном:

Function1 объявлена как принимающая 2 аргумента одного типа. Во втором и третьем случае вы вызываете её подсунув аргументы разных типов. Соответственно компилятор не может решить, чем будет T в данной ситуации - double или int, char или int? Либо делайте 2 шаблонных типа, либо делайте 2й аргумент нешаблонный, либо передавайте аргументы одного типа, либо явно говорите функции при вызове, чем является T.

Вторая проблема, не дающая собрать код, это противоречащие объявления этой функции - в одном случае аргумент по умолчанию есть, во втором - нет.

Comments

[Евгений Шатунов]

Вторая проблема, не дающая собрать код, это противоречащие объявления этой функции - в одном случае аргумент по умолчанию есть, во втором - нет.

Там нет противоречия. Стандарт допускает и не такую запись.
На деле функцию можно много раз форвардить и в каждом форварде определять значения по умолчанию для новых аргументов. Главное - не делать повторных определений и чтобы запись не нарушала общий порядок определения значений по умолчанию.

[HentaiEtoIskusstvo]

либо явно говорите функции при вызове, чем является T.

как это функции сказать-то?

[MiiNiPaa]

Евгений Шатунов, По вашей же ссылке:

For non-template functions, default arguments can be added to a function that was already declared if the function is redeclared in the same scope.

Компиляторы согласны с этим:

main.cpp:24:6: error: redeclaration of 'template void Function1(T, int)' may not have default arguments [-fpermissive]
void Function1(T a, int b = 0) {

main.cpp:24:25: error: default arguments cannot be added to a function template that has already been declared
void Function1(T a, int b = 0) {

[MiiNiPaa]

HentaiEtoIskusstvo, Function1<int>(i, b);

[Евгений Шатунов]

MiiNiPaa , я немного не понял уточнений. Глянь пожалуйста следующий код, все ли в нем нормально?
cpp.sh/956z5

...if the function is redeclared in the same scope.

А scope у нас разве разный?

[MiiNiPaa]

Евгений Шатунов, Нет, не нормально. компиляторы должны его отвергать: coliru.stacked-crooked.com/a/074c4b2f6cacbc95

Пока что его принимает только визуалка по техническим причинам. Должны к концу этого года поправить.

[Евгений Шатунов]

MiiNiPaa , msvs в целом много чего из шаблонов принимает по техническим причинам... :/
Кстати, cpp.sh работает на gcc и этот пример тоже собирает. Все 4е версии gcc это собирают, clang ругается с 3.6 и выше.
В остальном, да, информацию я понял и для себя скорректировал.

[Евгений Шатунов]

HentaiEtoIskusstvo , поставь человеку решение, лучшего ответа уже и не придумаешь. :)