Restricting template parameters to signed or unsigned types, but notboth

[Damian]

Hi there,

I would like to restrict a template parameter to a template functioned
to either a signed or unsigned type, but not both.

For example, the following templated function should ideally only be
instantiated with unsigned types.

template <typename unsigned T>
inline T id(T *i) {
return i;
}

void foo() {
(void)id<int>(k); // should return an error.
(void)id<unsigned int>(k); // should be fine.
}

Does anyone know how I can achieve this?

Thanks!

Best Regards,

Damian Eads

[Ron Natalie]

Damian wrote:

Hi there,

I would like to restrict a template parameter to a template functioned
to either a signed or unsigned type, but not both.

For example, the following templated function should ideally only be
instantiated with unsigned types.

template <typename unsigned T>
inline T id(T *i) {
return i;
}

void foo() {
(void)id<int>(k); // should return an error.
(void)id<unsigned int>(k); // should be fine.
}

I don't know what algorithm you are indending to implement (your
example is contrived and invalid).

The general way is to just accept unqualified T but apply a