In 14.5.1/14.5.5 class/function templates are defined as "an unbounded
set of related types/functions".
I believe the word "unbouded" should be removed from the definition.
Consider the following class template that defines a family of just 2
classes:

template<bool b> class C
{
public:
    C()
    {}

private:
    int array[ b ? 10 : 100];
};

Eugene.

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]