Проблемы с шаблонами

[Syuf]

Собственно, наткнулся на непонятную для меня вещь (возможно просто не хватает знаний в области шаблонов), связанную с этими кусками кода:
Так компилится:

struct C
{
	void f() {}
};


template <typename Class>
class ptr_t
{
public:
	ptr_t(void (Class::*)()) {}
};


template <typename Class>
ptr_t<Class> ptr(void (Class::*fun)())
{
	return ptr_t<Class>(fun);
}


int main()
{
	ptr<C>(&C::f);

	return 0;
}

А так не хочет:

struct C
{
	void f() {}
};


template <typename Class>
class ptr_t
{
public:
	ptr_t(void (Class::*)()) {}
};


template <typename Class>
void ptr(void (Class::*fun)())
{
	ptr_t<Class>(fun); // error C2082: redefinition of formal parameter 'fun'
	// error C2512: 'ptr_t<Class>' : no appropriate default constructor available
}


int main()
{
	ptr<C>(&C::f);

	return 0;
}

MSVS2008, Windows 7. В чем может быть проблема?
Возможно, это не связано с шаблонами, а только с указателем на функцию; возможно, я просто что-то упустил.

[Bubaleh]

Во втором случае ты не создаешь объекта никакого, вот и выскакивает ошибка!
Если исправить на :

ptr_t<Cl> a(fun);

то все компилится нормально!

[Bubaleh]

А все,понял!!!
В первом случае,кажется,просто временный объект создается в качестве возвращаемого значения...а во втором случае ты просто переопределить значение пытаешься!!!
Если ты ту же строчку и в первом примере напишешь без return,то та же фигня будет!!!

[Carbon]

class A
{
public:

	A(int) {}

};


void func(int a)
{
	A(a); // попытка определить переменную класса A через дефолтный конструктор
        // return A(a); - однозначно возврат объекта класса A через конструктор с 1 параметром, потому что в return нельзя объявлять переменную
}

ptr_t<Class> fake(fun);

[onewho]

ну вроде как эта срочка

return ptr_t<Class>(fun);

идентична

return (ptr_t<Class>)fun;

а эта строчка

ptr_t<Class>(fun);

идентична

ptr_t<Class> fun;

вот и ругается на редифинишен.

[Syuf]

Спасибо всем за ответы. Я так понял, что в такой нотации можно создавать экземпляр класса, используя только литералы в качестве аргументов (по крайней мере с ними компилится). Или писать полное имя, т.е.:

struct C
{
	void f() {}
};


template <typename Class>
class ptr_t
{
public:
	ptr_t(void (Class::*)()) {}
};


template <typename Class>
void ptr(void (Class::*fun)())
{
	ptr_t<Class>::ptr_t(fun);
}


int main()
{
	ptr<C>(&C::f);

	return 0;
}

[Carbon]

Syuf, ну или так. А вообще, ударенный по голове сишный компилятор считает:

Class(a); // объявление переменной a
Class(a, b); // Вызов конструктора с параметрами a, b, а не объявление 2-х переменный, как можно подумать

Class a(); // объявление внутренней функции, хотя стандарт это запрещает
Class a(b); // объявление объекта a через вызов конструктора с параметром b, а не объявление внутренней функции с параметром дефолтного типа int т.е. (а ведь очень хотелось!!!), а что стандарт это тоже запрещает чо, как по логике можно подумать

[Syuf]

Спасибо, Carbon, не знал, что можно объявлять переменные так:

Class(a);

Кстати, а дефолтный int вроде бы не поддерживается плюсами?

с параметром дефолтного типа int

[Carbon]

Syuf, не-а. Я не уверен, но он в современном си либо тоже не поддерживается, либо компилер на него дико орёт.