From e66ffd9a993396d95871d600e56d8bf3bb0f5fb8 Mon Sep 17 00:00:00 2001 From: John Maddock Date: Sat, 11 Sep 2010 18:00:56 +0000 Subject: [PATCH] Add new traits add_lvalue_reference and add_rvalue_reference. [SVN r65387] --- doc/add_lvalue_reference.qbk | 47 +++++++++++ doc/add_reference.qbk | 6 ++ doc/add_rvalue_reference.qbk | 50 ++++++++++++ doc/html/boost_typetraits/background.html | 22 ++--- .../boost_typetraits/category/transform.html | 8 +- doc/html/boost_typetraits/history.html | 4 +- doc/html/boost_typetraits/intrinsics.html | 2 +- doc/html/boost_typetraits/reference.html | 2 + .../boost_typetraits/reference/add_const.html | 2 +- .../boost_typetraits/reference/add_cv.html | 8 +- .../reference/add_pointer.html | 8 +- .../reference/add_reference.html | 20 ++++- .../reference/add_volatile.html | 8 +- .../boost_typetraits/reference/decay.html | 2 +- .../reference/floating_point_promotion.html | 2 +- .../reference/function_traits.html | 4 +- .../reference/integral_promotion.html | 2 +- .../reference/make_signed.html | 2 +- .../reference/make_unsigned.html | 2 +- .../boost_typetraits/reference/promote.html | 2 +- .../reference/remove_all_extents.html | 2 +- .../reference/remove_const.html | 2 +- .../boost_typetraits/reference/remove_cv.html | 2 +- .../reference/remove_extent.html | 2 +- .../reference/remove_pointer.html | 2 +- .../reference/remove_reference.html | 2 +- .../reference/remove_volatile.html | 2 +- doc/html/index.html | 4 +- doc/transform_traits.qbk | 6 ++ doc/type_traits.qbk | 4 + .../type_traits/add_lvalue_reference.hpp | 26 ++++++ .../type_traits/add_rvalue_reference.hpp | 67 ++++++++++++++++ test/add_lvalue_reference_test.cpp | 63 +++++++++++++++ test/add_rvalue_reference_test.cpp | 80 +++++++++++++++++++ 34 files changed, 419 insertions(+), 48 deletions(-) create mode 100644 doc/add_lvalue_reference.qbk create mode 100644 doc/add_rvalue_reference.qbk create mode 100644 include/boost/type_traits/add_lvalue_reference.hpp create mode 100644 include/boost/type_traits/add_rvalue_reference.hpp create mode 100644 test/add_lvalue_reference_test.cpp create mode 100644 test/add_rvalue_reference_test.cpp diff --git a/doc/add_lvalue_reference.qbk b/doc/add_lvalue_reference.qbk new file mode 100644 index 0000000..4416816 --- /dev/null +++ b/doc/add_lvalue_reference.qbk @@ -0,0 +1,47 @@ +[/ + Copyright 2010 John Maddock. + Distributed under the Boost Software License, Version 1.0. + (See accompanying file LICENSE_1_0.txt or copy at + http://www.boost.org/LICENSE_1_0.txt). +] + +[section:add_lvalue_reference add_lvalue_reference] + + template + struct add_lvalue_reference + { + typedef __below type; + }; + +__type If `T` names an object or function type then the member typedef `type` +shall name `T&`; otherwise, if `T` names a type ['rvalue reference to U] then +the member typedef type shall name `U&`; otherwise, type shall name `T`. + +__std_ref 20.7.6.2. + +__compat If the compiler does not support partial specialization of class-templates +then this template will compile, but the member `type` will always be the same as +type `T` except where __transform_workaround have been applied. + +__header ` #include ` or ` #include ` + +[table Examples + +[ [Expression] [Result Type]] + +[[`add_lvalue_reference::type`][`int&`]] + +[[`add_lvalue_reference::type`] [`int const&`]] + +[[`add_lvalue_reference::type`] [`int*&`]] + +[[`add_lvalue_reference::type`] [`int*&`]] + +[[`add_lvalue_reference::type`][`int&`]] + +[[`add_lvalue_reference::type`][`void`]] + +] + +[endsect] + diff --git a/doc/add_reference.qbk b/doc/add_reference.qbk index fd37bd6..a36e59d 100644 --- a/doc/add_reference.qbk +++ b/doc/add_reference.qbk @@ -7,6 +7,12 @@ [section:add_reference add_reference] +[note This trait has been made obsolete by __add_lvalue_reference and __add_rvalue_reference, +and new code should use these new traits rather than __is_reference which is retained +for backwards compatibility only. +] + + template struct add_reference { diff --git a/doc/add_rvalue_reference.qbk b/doc/add_rvalue_reference.qbk new file mode 100644 index 0000000..e3f561b --- /dev/null +++ b/doc/add_rvalue_reference.qbk @@ -0,0 +1,50 @@ +[/ + Copyright 2010 John Maddock. + Distributed under the Boost Software License, Version 1.0. + (See accompanying file LICENSE_1_0.txt or copy at + http://www.boost.org/LICENSE_1_0.txt). +] + +[section:add_rvalue_reference add_rvalue_reference] + + template + struct add_rvalue_reference + { + typedef __below type; + }; + +__type If `T` names an object or function type then the member typedef type +shall name `T&&`; otherwise, type shall name `T`. ['\[Note: This rule reflects +the semantics of reference collapsing. For example, when a type `T` names +a type U&, the type `add_rvalue_reference::type` is not an rvalue +reference. -end note\]]. + +__std_ref 20.7.6.2. + +__compat If the compiler does not support partial specialization of class-templates +and rvalue references +then this template will compile, but the member `type` will always be the same as +type `T`. + +__header ` #include ` or ` #include ` + +[table Examples + +[ [Expression] [Result Type]] + +[[`add_rvalue_reference::type`][`int&&`]] + +[[`add_rvalue_reference::type`] [`int const&`]] + +[[`add_rvalue_reference::type`] [`int*&&`]] + +[[`add_rvalue_reference::type`] [`int*&`]] + +[[`add_rvalue_reference::type`][`int&&`]] + +[[`add_rvalue_reference::type`][`void`]] + +] + +[endsect] + diff --git a/doc/html/boost_typetraits/background.html b/doc/html/boost_typetraits/background.html index cb8e3e2..9c24e88 100644 --- a/doc/html/boost_typetraits/background.html +++ b/doc/html/boost_typetraits/background.html @@ -56,7 +56,7 @@ method available to them.

- + Type Traits

@@ -84,7 +84,7 @@ given.

- + Implementation

@@ -174,7 +174,7 @@ in the default template.

- + Optimized copy

@@ -247,7 +247,7 @@ otherwise it will call the "slow but safe version".

- + Was it worth it?

@@ -280,7 +280,7 @@

-

Table 1.1. Time taken to copy 1000 elements using `copy<const T*, T*>` (times +

Table 1.1. Time taken to copy 1000 elements using `copy<const T*, T*>` (times in micro-seconds)

@@ -379,7 +379,7 @@

- + Pair of References

@@ -416,7 +416,7 @@ to hold non-reference types, references, and constant references:

-

Table 1.2. Required Constructor Argument Types

+

Table 1.2. Required Constructor Argument Types

@@ -481,7 +481,7 @@ adds a reference to its type, unless it is already a reference.

-

Table 1.3. Using add_reference to synthesize the correct constructor type

+

Table 1.3. Using add_reference to synthesize the correct constructor type

@@ -597,7 +597,7 @@ easier to maintain and easier to understand.

- + Conclusion

@@ -610,7 +610,7 @@ can be optimal as well as generic.

- + Acknowledgements

@@ -618,7 +618,7 @@ comments when preparing this article.

- + References
    diff --git a/doc/html/boost_typetraits/category/transform.html b/doc/html/boost_typetraits/category/transform.html index eb81b03..09fd6bf 100644 --- a/doc/html/boost_typetraits/category/transform.html +++ b/doc/html/boost_typetraits/category/transform.html @@ -42,12 +42,18 @@ template <class T> struct add_cv; +template <class T> +struct add_lvalue_reference; + template <class T> struct add_pointer; template <class T> struct add_reference; +template <class T> +struct add_rvalue_reference; + template <class T> struct add_volatile; @@ -91,7 +97,7 @@ struct remove_volatile;
    - + Broken Compiler Workarounds:
    diff --git a/doc/html/boost_typetraits/history.html b/doc/html/boost_typetraits/history.html index d1923ff..2ba39c1 100644 --- a/doc/html/boost_typetraits/history.html +++ b/doc/html/boost_typetraits/history.html @@ -27,7 +27,7 @@ History
- + Boost 1.44.0
    @@ -43,7 +43,7 @@
- + Boost 1.42.0
  • diff --git a/doc/html/boost_typetraits/intrinsics.html b/doc/html/boost_typetraits/intrinsics.html index b89d232..493a7c9 100644 --- a/doc/html/boost_typetraits/intrinsics.html +++ b/doc/html/boost_typetraits/intrinsics.html @@ -99,7 +99,7 @@ of the following macros:

    -

    Table 1.4. Macros for Compiler Intrinsics

    +

    Table 1.4. Macros for Compiler Intrinsics

diff --git a/doc/html/boost_typetraits/reference.html b/doc/html/boost_typetraits/reference.html index 8bd4ae8..168559c 100644 --- a/doc/html/boost_typetraits/reference.html +++ b/doc/html/boost_typetraits/reference.html @@ -29,8 +29,10 @@
add_const
add_cv
+
add_lvalue_reference
add_pointer
add_reference
+
add_rvalue_reference
add_volatile
aligned_storage
alignment_of
diff --git a/doc/html/boost_typetraits/reference/add_const.html b/doc/html/boost_typetraits/reference/add_const.html index db48dad..90a2851 100644 --- a/doc/html/boost_typetraits/reference/add_const.html +++ b/doc/html/boost_typetraits/reference/add_const.html @@ -53,7 +53,7 @@ or #include <boost/type_traits.hpp>

-

Table 1.5. Examples

+

Table 1.5. Examples

diff --git a/doc/html/boost_typetraits/reference/add_cv.html b/doc/html/boost_typetraits/reference/add_cv.html index e071c71..34ca868 100644 --- a/doc/html/boost_typetraits/reference/add_cv.html +++ b/doc/html/boost_typetraits/reference/add_cv.html @@ -7,7 +7,7 @@ - +
@@ -20,7 +20,7 @@
-PrevUpHomeNext +PrevUpHomeNext

@@ -54,7 +54,7 @@ or #include <boost/type_traits.hpp>

-

Table 1.6. Examples

+

Table 1.6. Examples

@@ -142,7 +142,7 @@
-PrevUpHomeNext +PrevUpHomeNext
diff --git a/doc/html/boost_typetraits/reference/add_pointer.html b/doc/html/boost_typetraits/reference/add_pointer.html index 86fa0c2..8bd1a02 100644 --- a/doc/html/boost_typetraits/reference/add_pointer.html +++ b/doc/html/boost_typetraits/reference/add_pointer.html @@ -6,7 +6,7 @@ - + @@ -20,7 +20,7 @@
-PrevUpHomeNext +PrevUpHomeNext

@@ -56,7 +56,7 @@ or #include <boost/type_traits.hpp>

-

Table 1.7. Examples

+

Table 1.8. Examples

@@ -141,7 +141,7 @@
-PrevUpHomeNext +PrevUpHomeNext
diff --git a/doc/html/boost_typetraits/reference/add_reference.html b/doc/html/boost_typetraits/reference/add_reference.html index b555680..8904c5e 100644 --- a/doc/html/boost_typetraits/reference/add_reference.html +++ b/doc/html/boost_typetraits/reference/add_reference.html @@ -7,7 +7,7 @@ - + @@ -20,12 +20,24 @@
-PrevUpHomeNext +PrevUpHomeNext
+
+ + + + + +
[Note]Note

+ This trait has been made obsolete by add_lvalue_reference + and add_rvalue_reference, + and new code should use these new traits rather than is_reference + which is retained for backwards compatibility only. + 

template <class T>
 struct add_reference
 {
@@ -53,7 +65,7 @@
         or  #include <boost/type_traits.hpp>
       

 

-
Table 1.8. Examples

+
Table 1.9. Examples

 
@@ -138,7 +150,7 @@
 

 
 


 

 

-PrevUpHomeNext
+PrevUpHomeNext
 

 
 
diff --git a/doc/html/boost_typetraits/reference/add_volatile.html b/doc/html/boost_typetraits/reference/add_volatile.html
index 435d22a..8ea183b 100644
--- a/doc/html/boost_typetraits/reference/add_volatile.html
+++ b/doc/html/boost_typetraits/reference/add_volatile.html
@@ -6,7 +6,7 @@
 
 
 
-
+
 
 
 
@@ -20,7 +20,7 @@
 
 

 

-PrevUpHomeNext
+PrevUpHomeNext
 

 

 

@@ -53,7 +53,7 @@
         or  #include <boost/type_traits.hpp>
       

 

-
Table 1.9. Examples

+
Table 1.11. Examples

 
@@ -140,7 +140,7 @@
 

 
 


 

 

-PrevUpHomeNext
+PrevUpHomeNext
 

 
 
diff --git a/doc/html/boost_typetraits/reference/decay.html b/doc/html/boost_typetraits/reference/decay.html
index 9ea2080..c90a695 100644
--- a/doc/html/boost_typetraits/reference/decay.html
+++ b/doc/html/boost_typetraits/reference/decay.html
@@ -48,7 +48,7 @@
         or  #include <boost/type_traits.hpp>
       

 

-
Table 1.10. Examples

+
Table 1.12. Examples

 
diff --git a/doc/html/boost_typetraits/reference/floating_point_promotion.html b/doc/html/boost_typetraits/reference/floating_point_promotion.html
index 89cf861..ba6668a 100644
--- a/doc/html/boost_typetraits/reference/floating_point_promotion.html
+++ b/doc/html/boost_typetraits/reference/floating_point_promotion.html
@@ -49,7 +49,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.11. Examples

+
Table 1.13. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/function_traits.html b/doc/html/boost_typetraits/reference/function_traits.html
index d9bd3c1..8dc1e0a 100644
--- a/doc/html/boost_typetraits/reference/function_traits.html
+++ b/doc/html/boost_typetraits/reference/function_traits.html
@@ -59,7 +59,7 @@
         

 
 

 

 

-
Table 1.12. Function Traits Members

+
Table 1.14. Function Traits Members

 
@@ -122,7 +122,7 @@
 

 
 


 

 

-
Table 1.13. Examples

+
Table 1.15. Examples

 
diff --git a/doc/html/boost_typetraits/reference/integral_promotion.html b/doc/html/boost_typetraits/reference/integral_promotion.html
index bd3914b..94ff678 100644
--- a/doc/html/boost_typetraits/reference/integral_promotion.html
+++ b/doc/html/boost_typetraits/reference/integral_promotion.html
@@ -49,7 +49,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.14. Examples

+
Table 1.16. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/make_signed.html b/doc/html/boost_typetraits/reference/make_signed.html
index 5fc6482..b2bd938 100644
--- a/doc/html/boost_typetraits/reference/make_signed.html
+++ b/doc/html/boost_typetraits/reference/make_signed.html
@@ -54,7 +54,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.15. Examples

+
Table 1.17. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/make_unsigned.html b/doc/html/boost_typetraits/reference/make_unsigned.html
index b11634d..96cf5b5 100644
--- a/doc/html/boost_typetraits/reference/make_unsigned.html
+++ b/doc/html/boost_typetraits/reference/make_unsigned.html
@@ -54,7 +54,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.16. Examples

+
Table 1.18. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/promote.html b/doc/html/boost_typetraits/reference/promote.html
index fa5e806..a464b0e 100644
--- a/doc/html/boost_typetraits/reference/promote.html
+++ b/doc/html/boost_typetraits/reference/promote.html
@@ -51,7 +51,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.17. Examples

+
Table 1.19. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/remove_all_extents.html b/doc/html/boost_typetraits/reference/remove_all_extents.html
index f7c0398..b336e6c 100644
--- a/doc/html/boost_typetraits/reference/remove_all_extents.html
+++ b/doc/html/boost_typetraits/reference/remove_all_extents.html
@@ -54,7 +54,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.18. Examples

+
Table 1.20. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/remove_const.html b/doc/html/boost_typetraits/reference/remove_const.html
index 1500e72..de3dd57 100644
--- a/doc/html/boost_typetraits/reference/remove_const.html
+++ b/doc/html/boost_typetraits/reference/remove_const.html
@@ -53,7 +53,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.19. Examples

+
Table 1.21. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/remove_cv.html b/doc/html/boost_typetraits/reference/remove_cv.html
index 2a67118..05fd1e6 100644
--- a/doc/html/boost_typetraits/reference/remove_cv.html
+++ b/doc/html/boost_typetraits/reference/remove_cv.html
@@ -53,7 +53,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.20. Examples

+
Table 1.22. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/remove_extent.html b/doc/html/boost_typetraits/reference/remove_extent.html
index 2bbca65..d3f8476 100644
--- a/doc/html/boost_typetraits/reference/remove_extent.html
+++ b/doc/html/boost_typetraits/reference/remove_extent.html
@@ -54,7 +54,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.21. Examples

+
Table 1.23. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/remove_pointer.html b/doc/html/boost_typetraits/reference/remove_pointer.html
index 96ded43..ab5f400 100644
--- a/doc/html/boost_typetraits/reference/remove_pointer.html
+++ b/doc/html/boost_typetraits/reference/remove_pointer.html
@@ -55,7 +55,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.22. Examples

+
Table 1.24. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/remove_reference.html b/doc/html/boost_typetraits/reference/remove_reference.html
index 110c4e2..8879aeb 100644
--- a/doc/html/boost_typetraits/reference/remove_reference.html
+++ b/doc/html/boost_typetraits/reference/remove_reference.html
@@ -53,7 +53,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.23. Examples

+
Table 1.25. Examples

 

 
 

       
 
diff --git a/doc/html/boost_typetraits/reference/remove_volatile.html b/doc/html/boost_typetraits/reference/remove_volatile.html
index d7f4001..54e0e52 100644
--- a/doc/html/boost_typetraits/reference/remove_volatile.html
+++ b/doc/html/boost_typetraits/reference/remove_volatile.html
@@ -53,7 +53,7 @@
         or  #include <boost/type_traits.hpp>

-
Table 1.24. Examples

+
Table 1.26. Examples

 

 
 

       
 
diff --git a/doc/html/index.html b/doc/html/index.html
index bc2d8b2..a7c587c 100644
--- a/doc/html/index.html
+++ b/doc/html/index.html
@@ -30,7 +30,7 @@
       Marcus, Itay Maman, John Maddock, Alexander Nasonov, Thorsten Ottosen, Robert
       Ramey and Jeremy Siek

-

+

         Distributed under the Boost Software License, Version 1.0. (See accompanying
         file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
       

@@ -80,8 +80,10 @@
 

 
 add_const

 
 add_cv

+
 add_lvalue_reference

 
 add_pointer

 
 add_reference

+
 add_rvalue_reference

 
 add_volatile

 
 aligned_storage

 
 alignment_of

diff --git a/doc/transform_traits.qbk b/doc/transform_traits.qbk
index 78d1daf..766ea27 100644
--- a/doc/transform_traits.qbk
+++ b/doc/transform_traits.qbk
@@ -19,6 +19,9 @@ result of applying the transformation to the template argument `T`.
 
    template 
    struct __add_cv;
+
+   template 
+   struct __add_lvalue_reference;
    
    template 
    struct __add_pointer;
@@ -26,6 +29,9 @@ result of applying the transformation to the template argument `T`.
    template 
    struct __add_reference;
 
+   template 
+   struct __add_rvalue_reference;
+   
    template 
    struct __add_volatile;
 
diff --git a/doc/type_traits.qbk b/doc/type_traits.qbk
index 040472d..83dbf04 100644
--- a/doc/type_traits.qbk
+++ b/doc/type_traits.qbk
@@ -101,6 +101,8 @@
 [def __remove_all_extents [link boost_typetraits.reference.remove_all_extents remove_all_extents]]
 [def __remove_pointer [link boost_typetraits.reference.remove_pointer remove_pointer]]
 [def __add_reference [link boost_typetraits.reference.add_reference add_reference]]
+[def __add_lvalue_reference [link boost_typetraits.reference.add_lvalue_reference add_lvalue_reference]]
+[def __add_rvalue_reference [link boost_typetraits.reference.add_rvalue_reference add_rvalue_reference]]
 [def __add_pointer [link boost_typetraits.reference.add_pointer add_pointer]]
 [def __add_const [link boost_typetraits.reference.add_const add_const]]
 [def __add_volatile [link boost_typetraits.reference.add_volatile add_volatile]]
@@ -162,8 +164,10 @@ that is the result of the transformation.
 
 [include add_const.qbk]
 [include add_cv.qbk]
+[include add_lvalue_reference.qbk]
 [include add_pointer.qbk]
 [include add_reference.qbk]
+[include add_rvalue_reference.qbk]
 [include add_volatile.qbk]
 [include aligned_storage.qbk]
 [include alignment_of.qbk]
diff --git a/include/boost/type_traits/add_lvalue_reference.hpp b/include/boost/type_traits/add_lvalue_reference.hpp
new file mode 100644
index 0000000..4156372
--- /dev/null
+++ b/include/boost/type_traits/add_lvalue_reference.hpp
@@ -0,0 +1,26 @@
+//  Copyright 2010 John Maddock
+
+//  Distributed under the Boost Software License, Version 1.0.
+//  See http://www.boost.org/LICENSE_1_0.txt
+
+#ifndef BOOST_TYPE_TRAITS_EXT_ADD_LVALUE_REFERENCE__HPP
+#define BOOST_TYPE_TRAITS_EXT_ADD_LVALUE_REFERENCE__HPP
+
+#include 
+
+// should be the last #include
+#include 
+
+namespace boost{
+
+BOOST_TT_AUX_TYPE_TRAIT_DEF1(add_lvalue_reference,T,typename boost::add_reference::type)
+
+#ifndef BOOST_NO_RVALUE_REFERENCES
+BOOST_TT_AUX_TYPE_TRAIT_PARTIAL_SPEC1_1(typename T,add_lvalue_reference,T&&,T&)
+#endif
+
+}
+
+#include 
+
+#endif  // BOOST_TYPE_TRAITS_EXT_ADD_LVALUE_REFERENCE__HPP
diff --git a/include/boost/type_traits/add_rvalue_reference.hpp b/include/boost/type_traits/add_rvalue_reference.hpp
new file mode 100644
index 0000000..00b723c
--- /dev/null
+++ b/include/boost/type_traits/add_rvalue_reference.hpp
@@ -0,0 +1,67 @@
+//  add_rvalue_reference.hpp  ---------------------------------------------------------//
+
+//  Copyright 2010 Vicente J. Botet Escriba
+
+//  Distributed under the Boost Software License, Version 1.0.
+//  See http://www.boost.org/LICENSE_1_0.txt
+
+#ifndef BOOST_TYPE_TRAITS_EXT_ADD_RVALUE_REFERENCE__HPP
+#define BOOST_TYPE_TRAITS_EXT_ADD_RVALUE_REFERENCE__HPP
+
+#include 
+
+//----------------------------------------------------------------------------//
+
+#include 
+#include 
+
+// should be the last #include
+#include 
+
+//----------------------------------------------------------------------------//
+//                                                                            //
+//                           C++03 implementation of                          //
+//             20.7.6.2 Reference modifications [meta.trans.ref]              //
+//                          Written by Vicente J. Botet Escriba               //
+//                                                                            //
+// If T names an object or function type then the member typedef type
+// shall name T&&; otherwise, type shall name T. [ Note: This rule reflects
+// the semantics of reference collapsing. For example, when a type T names
+// a type T1&, the type add_rvalue_reference::type is not an rvalue
+// reference. —end note ]
+//----------------------------------------------------------------------------//
+
+namespace boost {
+
+namespace type_traits_detail {
+
+    template 
+    struct add_rvalue_reference_helper
+    { typedef T   type; };
+
+    template 
+    struct add_rvalue_reference_helper
+    {
+#if !defined(BOOST_NO_RVALUE_REFERENCES)
+        typedef T&&   type;
+#else
+        typedef T   type;
+#endif
+    };
+
+    template 
+    struct add_rvalue_reference_imp
+    { 
+       typedef typename boost::type_traits_detail::add_rvalue_reference_helper
+                  ::value && !is_reference::value) >::type type; 
+    };
+
+}
+
+BOOST_TT_AUX_TYPE_TRAIT_DEF1(add_rvalue_reference,T,typename boost::type_traits_detail::add_rvalue_reference_imp::type)
+
+}  // namespace boost
+
+#include 
+
+#endif  // BOOST_TYPE_TRAITS_EXT_ADD_RVALUE_REFERENCE__HPP
diff --git a/test/add_lvalue_reference_test.cpp b/test/add_lvalue_reference_test.cpp
new file mode 100644
index 0000000..18931b9
--- /dev/null
+++ b/test/add_lvalue_reference_test.cpp
@@ -0,0 +1,63 @@
+
+//  (C) Copyright John Maddock 2000. 
+//  Use, modification and distribution are subject to the 
+//  Boost Software License, Version 1.0. (See accompanying file 
+//  LICENSE_1_0.txt or copy at http://www.tt.org/LICENSE_1_0.txt)
+
+#include "test.hpp"
+#include "check_type.hpp"
+#ifdef TEST_STD
+#  include 
+#else
+#  include 
+#endif
+
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_1, ::tt::add_lvalue_reference, const, const&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_2, ::tt::add_lvalue_reference, volatile, volatile&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_3, ::tt::add_lvalue_reference, *, *&)
+BOOST_DECL_TRANSFORM_TEST2(add_lvalue_reference_test_4, ::tt::add_lvalue_reference, &)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_5, ::tt::add_lvalue_reference, const &, const&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_6, ::tt::add_lvalue_reference, &, &)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_7, ::tt::add_lvalue_reference, *volatile, *volatile&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_8, ::tt::add_lvalue_reference, const [2], const (&)[2])
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_9, ::tt::add_lvalue_reference, const &, const&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_10, ::tt::add_lvalue_reference, const*, const*&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_11, ::tt::add_lvalue_reference, volatile*, volatile*&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_12, ::tt::add_lvalue_reference, const[2][3], const (&)[2][3])
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_13, ::tt::add_lvalue_reference, (&)[2], (&)[2])
+#ifndef BOOST_NO_RVALUE_REFERENCES
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_5a, ::tt::add_lvalue_reference, const &&, const&)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_6a, ::tt::add_lvalue_reference, &&, &)
+BOOST_DECL_TRANSFORM_TEST(add_lvalue_reference_test_13a, ::tt::add_lvalue_reference, (&&)[2], (&)[2])
+#endif
+
+TT_TEST_BEGIN(add_lvalue_reference)
+
+   add_lvalue_reference_test_1();
+   add_lvalue_reference_test_2();
+   add_lvalue_reference_test_3();
+   add_lvalue_reference_test_4();
+   add_lvalue_reference_test_5();
+   add_lvalue_reference_test_6();
+   add_lvalue_reference_test_7();
+   add_lvalue_reference_test_8();
+   add_lvalue_reference_test_9();
+   add_lvalue_reference_test_10();
+   add_lvalue_reference_test_11();
+   add_lvalue_reference_test_12();
+   add_lvalue_reference_test_13();
+#ifndef BOOST_NO_RVALUE_REFERENCES
+   add_lvalue_reference_test_5a();
+   add_lvalue_reference_test_6a();
+   add_lvalue_reference_test_13a();
+#endif
+
+TT_TEST_END
+
+
+
+
+
+
+
+
diff --git a/test/add_rvalue_reference_test.cpp b/test/add_rvalue_reference_test.cpp
new file mode 100644
index 0000000..8527094
--- /dev/null
+++ b/test/add_rvalue_reference_test.cpp
@@ -0,0 +1,80 @@
+
+//  Copyright 2010 Vicente J. Botet Escriba
+//  Use, modification and distribution are subject to the 
+//  Boost Software License, Version 1.0. (See accompanying file 
+//  LICENSE_1_0.txt or copy at http://www.tt.org/LICENSE_1_0.txt)
+
+#include "../../type_traits/test/test.hpp"
+#include "../../type_traits/test/check_type.hpp"
+#ifdef TEST_STD
+#  include 
+#else
+#  include 
+#endif
+
+#ifdef BOOST_NO_RVALUE_REFERENCES
+
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_1, ::tt::add_rvalue_reference, const, const)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_2, ::tt::add_rvalue_reference, volatile, volatile)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_3, ::tt::add_rvalue_reference, *, *)
+BOOST_DECL_TRANSFORM_TEST0(add_rvalue_reference_test_4, ::tt::add_rvalue_reference)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_5, ::tt::add_rvalue_reference, const &, const&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_6, ::tt::add_rvalue_reference, &, &)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_7, ::tt::add_rvalue_reference, *volatile, *volatile)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_8, ::tt::add_rvalue_reference, const [2], const [2])
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_9, ::tt::add_rvalue_reference, const &, const&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_10, ::tt::add_rvalue_reference, const*, const*)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_11, ::tt::add_rvalue_reference, volatile*, volatile*)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_12, ::tt::add_rvalue_reference, const[2][3], const [2][3])
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_13, ::tt::add_rvalue_reference, (&)[2], (&)[2])
+#else
+
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_1, ::tt::add_rvalue_reference, const, const&&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_2, ::tt::add_rvalue_reference, volatile, volatile&&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_3, ::tt::add_rvalue_reference, *, *&&)
+BOOST_DECL_TRANSFORM_TEST2(add_rvalue_reference_test_4, ::tt::add_rvalue_reference, &&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_5, ::tt::add_rvalue_reference, const &, const&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_6, ::tt::add_rvalue_reference, &, &)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_7, ::tt::add_rvalue_reference, *volatile, *volatile&&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_8, ::tt::add_rvalue_reference, const [2], const (&&) [2])
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_9, ::tt::add_rvalue_reference, const &, const&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_10, ::tt::add_rvalue_reference, const*, const*&&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_11, ::tt::add_rvalue_reference, volatile*, volatile*&&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_12, ::tt::add_rvalue_reference, const[2][3], const (&&) [2][3])
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_13, ::tt::add_rvalue_reference, (&)[2], (&)[2])
+
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_5a, ::tt::add_rvalue_reference, const &&, const&&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_6a, ::tt::add_rvalue_reference, &&, &&)
+BOOST_DECL_TRANSFORM_TEST(add_rvalue_reference_test_13a, ::tt::add_rvalue_reference, (&&)[2], (&&)[2])
+#endif
+
+TT_TEST_BEGIN(add_rvalue_reference)
+
+   add_rvalue_reference_test_1();
+   add_rvalue_reference_test_2();
+   add_rvalue_reference_test_3();
+   add_rvalue_reference_test_4();
+   add_rvalue_reference_test_5();
+   add_rvalue_reference_test_6();
+   add_rvalue_reference_test_7();
+   add_rvalue_reference_test_8();
+   add_rvalue_reference_test_9();
+   add_rvalue_reference_test_10();
+   add_rvalue_reference_test_11();
+   add_rvalue_reference_test_12();
+   add_rvalue_reference_test_13();
+#ifndef BOOST_NO_RVALUE_REFERENCES
+   add_rvalue_reference_test_5a();
+   add_rvalue_reference_test_6a();
+   add_rvalue_reference_test_13a();
+#endif
+
+TT_TEST_END
+
+
+
+
+
+
+
+