implementing policy classes with template template parameters

I

ian

I have begun testing some code based on Chapter 1.5.1 of the book Modern C++
Design by Andrei Alexandrescu. The test code is listed below and the
compiler error message that is generated is:

testPolicy.cpp(25) : error C2984: 'CPolicy' : template parameters '<template
parameter>' and '<template parameter>' do not match
testPolicy.cpp(22) : see declaration of 'CPolicy'

I am working with version 1 of Microsoft VC++ and running WinXP Pro. Would
someone be able to point out what I am doing wrong. I've already spent
about several hours comparing the test code with that illustrated in Andrei'
book and still cannot see what the problem is.

Ian


// =====================================
template<class T>
class CPolicy
{
public:
CPolicy (void) { tValue = 1; }

T get (void) { return tValue; }
void show (void) { std::cout << "\nCPolicy" << " type = " << get(); }

private:
T tValue;
};

// =====================================
template <template <typename> class CPolicy >
class CMyPolicyClass2 : public CPolicy<int>
{
public:
void show (void) { CPolicy().show(); }
};

int main(int argc, char* argv[])
{
return 0;
}


// ===================================
my correct email address is generated by substituting 'n0spam' with
'yahoo.com'.
 
T

tom_usenet

I have begun testing some code based on Chapter 1.5.1 of the book Modern C++
Design by Andrei Alexandrescu. The test code is listed below and the
compiler error message that is generated is:

testPolicy.cpp(25) : error C2984: 'CPolicy' : template parameters '<template
parameter>' and '<template parameter>' do not match
testPolicy.cpp(22) : see declaration of 'CPolicy'

I am working with version 1 of Microsoft VC++ and running WinXP Pro.

Version 1 !?!? That's circa 1990, isn't it? It has no support for
templates whatsoever.

Would
someone be able to point out what I am doing wrong. I've already spent
about several hours comparing the test code with that illustrated in Andrei'
book and still cannot see what the problem is.

I've added a couple of changes with which it compiles fine on Comeau
C++ and MSVC 7.1.
// =====================================

#include <iostream>
#include said:
template<class T>
class CPolicy
{
public:
CPolicy (void) { tValue = 1; }

T get (void) { return tValue; }
void show (void) { std::cout << "\nCPolicy" << " type = " << get(); }

private:
T tValue;
};

// =====================================
template <template <typename> class CPolicy >
class CMyPolicyClass2 : public CPolicy<int>
{
public:
void show (void) { CPolicy().show(); }

Should be:

void show (void) { CPolicy<int>::show(); }

Tom
 
I

ian

Hi Tom,

Thanks for the response. I'm actually working with version 1 of VC++ NET.

I've made the changes you suggested and am still getting the same compiler
error. The error reference line is always 'template <template <typename>
class CPolicy>'. I've included a complete copy of the source code below.
Would cut and paste it and let me know if it compiles correctly on your
system. Thanks for helping out.

#include "stdafx.h"

#include <iostream>

// =====================================

// =====================================

template<typename T>

class CPolicy

{

public:

CPolicy (void) { tValue = 1; }

T get (void) { return tValue; }

void show (void) { std::cout << "\nCPolicy" << " type = " << get(); }

private:

T tValue;

};

// =====================================

// =====================================

template <typename CPolicy>

class CMyPolicyClass1 : public CPolicy

{

public:

void show() { CPolicy<int>::show(); }

};

typedef CMyPolicyClass1< CPolicy<int> > CMyClass1;

// =====================================

// =====================================

template <template <typename> class CPolicy>

class CMyPolicyClass2 : public CPolicy<int>

{

public:

void show() { CPolicy<int>::show(); }

};

typedef CMyPolicyClass2< CPolicy > CMyClass2;

// =====================================

// =====================================

int main(int argc, char* argv[], char* envp[])

{

CMyClass1 oMC1;

oMC1.show();

CMyClass2 oMC2;

oMC2.show();

return 0;

}
 
D

David B. Held

ian said:
I have begun testing some code based on Chapter 1.5.1 of
the book Modern C++ Design by Andrei Alexandrescu. The
test code is listed below and the compiler error message
that is generated is:

While that is a very good book to be reading, you should know
that there are some recent developments that are quite
relevent to policy-based design. Namely, MPL. The significant
thing about MPL is that it formalizes metaprogramming in a
coherent and extensible way. In particular, metafunctions are
preferred over template template parameters. Part of the
problem with template template params is that they aren't
very flexible in how they are matched. If you go with strict
metafunctions instead, you can use the template template
syntax in user code while gaining the advantages of MPL.
Also, more compilers support metafunctions than template
template params. Even those that support template template
params do not always do so correctly. Take a look at
www.boost.org, and look for MPL.
[...]
template <template <typename> class CPolicy >
class CMyPolicyClass2 : public CPolicy<int>
{
public:
void show (void) { CPolicy().show(); }
};
[...]

You declared CPolicy as a template, but invoke its c'tor
as a concrete type. A better way would be this:

template <template <typename> class CPolicy >
class CMyPolicyClass2 : public CPolicy<int>
{
public:
typedef CPolicy<int> policy_type;

void show (void) { policy_type().show(); }
};

Don't skimp on the typedefs. They can save a lot of
headaches when working with metacode. And when you
go to change something later, you'll thank yourself.

Dave
 
T

tom_usenet

Hi Tom,

Thanks for the response. I'm actually working with version 1 of VC++ NET.

Do mean VC++ 7.0? The original VC++.NET? It has template template
parameters I believe, but the support for them has improved in
VC++.NET 2003 (7.1).
I've made the changes you suggested and am still getting the same compiler
error. The error reference line is always 'template <template <typename>
class CPolicy>'. I've included a complete copy of the source code below.
Would cut and paste it and let me know if it compiles correctly on your
system. Thanks for helping out.

There is one actual error, and a couple of things that cause ICEs on
VC++ 7.1. See below.
#include "stdafx.h"

#include <iostream>

// =====================================

// =====================================

template<typename T>

class CPolicy

{

public:

CPolicy (void) { tValue = 1; }

T get (void) { return tValue; }

void show (void) { std::cout << "\nCPolicy" << " type = " << get(); }

private:

T tValue;

};

// =====================================

// =====================================

template <typename CPolicy>

class CMyPolicyClass1 : public CPolicy

(1)
The above is dodgy - giving a template parameter the same name as a
type. I think it probably is legal, but it causes ICEs on VC 7.1. So
change the parameter to Policy or something.
{

public:

void show() { CPolicy<int>::show(); }

(2)
This is the actual error. Since CPolicy is a type, not a template, it
should be:

void show() { CPolicy::show(); }

};

typedef CMyPolicyClass1< CPolicy<int> > CMyClass1;

// =====================================

// =====================================

template <template <typename> class CPolicy>

class CMyPolicyClass2 : public CPolicy<int>

(3)
Again, change the name.
{

public:

void show() { CPolicy<int>::show(); }

Fine this time, since CPolicy is a template.

With just (2) it compiles on GCC and Comeau C++. With (1) and (3) as
well, it compiles fine on VC++ 7.1.

Tom
 
I

ian

David B. Held said:
While that is a very good book to be reading, you should know
that there are some recent developments that are quite
relevent to policy-based design. Namely, MPL.

Dave

Hello Dave,

Thanks for the reference to MPL. I will certainly take a look at it. With
regards to the code change you made, the same compiler error continues to
occur so I will come back and look at this problem at a later date. I'm
beginning to wonder if I will have to upgrade from MSVC++ v7.0 to v7.1.

Ian
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

Forum statistics

Threads
473,744
Messages
2,569,482
Members
44,900
Latest member
Nell636132

Latest Threads

Top