Follow-up: Finding template parameter types

Hi,

This is a follow up from:
http://www.experts-exchange.com/Q_24563512.html

Evilrix posted a solution which gets resolved at compile time, although the if statements appear within the function foo(), how can different function defenitions be created at compile-time based on the parameters put into the template - or perhaps a better question, how does the Boost signals library manage to achieve creating different function defintions for the callbacks?

Thanks,
Uni
LVL 3
Unimatrix_001Asked:
Who is Participating?
I wear a lot of hats...

"The solutions and answers provided on Experts Exchange have been extremely helpful to me over the last few years. I wear a lot of hats - Developer, Database Administrator, Help Desk, etc., so I know a lot of things but not a lot about one thing. Experts Exchange gives me answers from people who do know a lot about one thing, in a easy to use platform." -Todd S.

evilrixSenior Software Engineer (Avast)Commented:
hi Uri. Out having food right now. I'll get back to you when I return :)
0
Unimatrix_001Author Commented:
No probs - enjoy yourself. :)
0
evilrixSenior Software Engineer (Avast)Commented:
Ok, see what you make of the code below...
#include <iostream>
 
struct NoArg {};
 
template<typename A, typename B = NoArg, typename C = NoArg>
class CMyClass
{
public:
	void foo(A, B, C)
	{
		std::cout << "void foo(A, B, C)" << std::endl;
	}
};
 
template<typename A, typename B >
class CMyClass<A, B, NoArg>
{
public:
	void foo(A, B)
	{
		std::cout << "void foo(A, B)" << std::endl;
	}
};
 
template<typename A>
class CMyClass<A, NoArg, NoArg>
{
public:
	void foo(A)
	{
		std::cout << "void foo(A)" << std::endl;
	}
};
 
 
int main()
{
        CMyClass<int, char, float> c1;
        c1.foo(1, 'c', 2.34);
        
        CMyClass<int, char> c2;
        c2.foo(1, 'c');
 
        CMyClass<int> c3;
        c3.foo(1);
}

Open in new window

0
Build an E-Commerce Site with Angular 5

Learn how to build an E-Commerce site with Angular 5, a JavaScript framework used by developers to build web, desktop, and mobile applications.

Unimatrix_001Author Commented:
Ah okay - I see... How would things fare if we had something like this for example:
template<typename A, typename B = NoArg, typename C = NoArg, typename D = std::allocator<A> >
0
evilrixSenior Software Engineer (Avast)Commented:
>> How would things fare if we had something like this for example:
Arrr... brain hurts..... arrrg! :)



#include <iostream>
 
struct NoArg {};
 
template<typename A, typename B = NoArg, typename C = NoArg, typename D = std::allocator<A> >
class CMyClass
{
public:
	void foo(A, B, C)
	{
		std::cout << "void foo(A, B, C)" << std::endl;
	}
};
 
template<typename A, typename B >
class CMyClass<A, B, NoArg>
{
public:
	void foo(A, B)
	{
		std::cout << "void foo(A, B)" << std::endl;
	}
};
 
template<typename A>
class CMyClass<A, NoArg, NoArg>
{
public:
	void foo(A)
	{
		std::cout << "void foo(A)" << std::endl;
	}
};
 
 
int main()
{
        CMyClass<int, char, float, std::allocator<double> > c0;
	
        CMyClass<int, char, float> c1;
        c1.foo(1, 'c', 2.34);
        
        CMyClass<int, char> c2;
        c2.foo(1, 'c');
 
        CMyClass<int> c3;
        c3.foo(1);
}

Open in new window

0
Unimatrix_001Author Commented:
>>Arrr... brain hurts..... arrrg! :)
Hehe, I'm nearly done. ;)

The thing with that is the last CMyClass:

--------------------------------------------------------------------------------------------------------
template<typename A>
class CMyClass<A, NoArg, NoArg>
{
public:
        void foo(A)
        {
                std::cout << "void foo(A)" << std::endl;
        }
};
--------------------------------------------------------------------------------------------------------

doesn't actually know anything about the D typename, so could never use this - correct?
0
evilrixSenior Software Engineer (Avast)Commented:
>> correct?
Yes. Each class is, in effect, a unique object that knows nothing about the others. Specializing or partial specializing a class is really just defining new types of a class. Without knowing the specific requirements you have all I can do is try and provide you examples that I think may aid your understanding but that are not necessarily the best solutions to specific problems (does that make sense?).
0

Experts Exchange Solution brought to you by

Your issues matter to us.

Facing a tech roadblock? Get the help and guidance you need from experienced professionals who care. Ask your question anytime, anywhere, with no hassle.

Start your 7-day free trial
Unimatrix_001Author Commented:
Yes, that's perfect! :) No specific requirements just remaining questions on templates. ;) Cheers for the help, hope you enjoyed your evening! :)

Uni.
0
Unimatrix_001Author Commented:
Excellent.
0
evilrixSenior Software Engineer (Avast)Commented:
>> Cheers for the help, hope you enjoyed your evening! :)
Muahahahaha.... I've just drunk lots of beer, not sure I should even be attempting template questions!

In fact, I am off to bed to sleep myself into a hangover ;)
0
Unimatrix_001Author Commented:
Hahahaha! Enjoy your headache-to-come... ;)
0
It's more than this solution.Get answers and train to solve all your tech problems - anytime, anywhere.Try it for free Edge Out The Competitionfor your dream job with proven skills and certifications.Get started today Stand Outas the employee with proven skills.Start learning today for free Move Your Career Forwardwith certification training in the latest technologies.Start your trial today
C++

From novice to tech pro — start learning today.