type_traits: add_pointer behavior?

From: David Abrahams (david.abrahams_at_[hidden])
Date: 2002-03-13 18:54:28

Right now, add_pointer<T> doesn't compile on MSVC6 when T is a reference
type.

I can make it be int& on MSVC, if it's agreed that's desirable.

On conforming compilers, add_pointer<int&> is int*.

I'm not sure that's desirable (perhaps int& would be better).

Also, add_pointer<int[5]> is int* rather than int(*)[5] on conforming
compilers.

I /really/ can't understand why you'd want to throw out the array part.
It seems to me that any type_traits metafunction called "add_xxx"
shouldn't strip any features of its argument.

Thoughts?
Dave

+---------------------------------------------------------------+
                  David Abrahams
      C++ Booster (http://www.boost.org)               O__  ==
      Pythonista (http://www.python.org)              c/ /'_ ==
  resume: http://users.rcn.com/abrahams/resume.html  (*) \(*) ==
          email: david.abrahams_at_[hidden]
+---------------------------------------------------------------+