template function

[mce]

hi,

I just want to be sure..

I have made a template function as follow;

template<typename V>
ProcessValue(const & V)
{
//....
}

This is declared in my cpp file, so it is outside of my class now, and my class function is accessing this template function as if it is a glabol function. My question is should this "template function" be declared inside the class header just like any other c++ function as follow? But this doesn't support polymorphic!?

class MyClass
{

public:
template<typename V>
void ProcessValue(const & V);

}

void MyClass::ProcessValue(const & V data)
{
..............

}

[monarch_dodra]

You declare a template in a .h file because they are compiled "when needed", as opposed to normal function which are "compiled now, and used later".

To support this, the compiler must know at all times the definition of the template, in case it would want to compile it. Because of this, the template MUST be declared in a .h file (or included in one).

Because compilers are smart, they understand that your intent was not to to actually inline the method, especially if it is virtual. It will create a full fledged symbol for your method, and call it polymorphically without problem.

[mce]

hi

I declared a template function in my .h file, but it doesn't seem to be able to take virtual.

template <typename K, typename V> virtual V GetWithDef(const  std::map <K,V> & m, const K & key, const V & defval )
	{
		{
			typename std::map<K,V>::const_iterator it = m.find( key );
			if ( it == m.end() ) 
			{
				return defval;
			}
			else 
			{
				return it->second;
			}
		}
	}

Error 1 error C2898: 'V Test::GetWithDef(const std::map<K,V> &,const K &,const V &)' : member function templates cannot be virtual

[D_Drmmr]

I declared a template function in my .h file, but it doesn't seem to be able to take virtual.

It's not clear from your code what you are actually trying to show.
Non-member functions cannot be virtual.
Template member functions also cannot be virtual. This is because a template (member) function actually defines a "family" of functions. Virtual functions work (in all known C++ compilers AFAIK) by storing a so-called vtable that stores pointers to the member functions that are resolved at run-time when a virtual function is called. When you instantiate a derived class, it will set the function pointer in the vtable to the overridden member function. That's a concept that cannot be scaled to a (possibly infinite) family of functions. Thus, template member functions cannot be virtual. For the same reason you also cannot take a pointer to a template function.

What is possible is what monarch_dodra mentioned, i.e. a template class can have a virtual (non-template) member function. Something like this

template <class T>
struct Base
{
    virtual ~Base() {}
    virtual T Foo() { return T(); }
};

struct Derived : public Base<int>
{
    virtual int Foo() { return 1; }
};