Question

When having:

template <typename Super>
class Whatever : public Super
{
    ...
};

is it possible, to create Whatever class without deriving from something?

Is this the lighter version?

struct BlankType{};

Whatever<BlankType> w;

////////////////////////////////////////

Some background:

I have my code composed into template layers like Whatever above. So I can do:

typedef Whatever<Whenever<Wherever<>>>> MyCombinedType

actually I can not. I have to do

typedef Whatever<Whenever<Wherever<BlankType>>>> MyCombinedType

and the type becomes also BlankType.
I can not make Wherever “non-layerable”, because when I would do just

typedef Whatever<Whenever<>>> MyCombinedType

the problem will appear again…

Answer 1

If you want to create Whatever class that is not derived from something you can simply define its specification as follows:

class BlankType {};
template<typename T = BlankType> class Whatever : public T {};
template<> class Whatever<BlankType> {};