diff --git a/doc/html/boost_typetraits/reference/is_class.html b/doc/html/boost_typetraits/reference/is_class.html index e05c5bf..2c3d3d4 100644 --- a/doc/html/boost_typetraits/reference/is_class.html +++ b/doc/html/boost_typetraits/reference/is_class.html @@ -31,7 +31,7 @@

Inherits: If T is a (possibly cv-qualified) - class type then inherits from true_type, + class type (and not a union type) then inherits from true_type, otherwise inherits from false_type.

diff --git a/doc/html/boost_typetraits/reference/is_empty.html b/doc/html/boost_typetraits/reference/is_empty.html index 84cae9a..ff528a9 100644 --- a/doc/html/boost_typetraits/reference/is_empty.html +++ b/doc/html/boost_typetraits/reference/is_empty.html @@ -30,8 +30,8 @@ struct is_empty : public true_type-or-false_type {};

- Inherits: If T is an empty class type then - inherits from true_type, + Inherits: If T is an empty class type (and + not a union type) then inherits from true_type, otherwise inherits from false_type.

diff --git a/doc/html/index.html b/doc/html/index.html index 5ddbcdf..4668253 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)

@@ -171,7 +171,7 @@

- +

Last revised: January 01, 2011 at 17:01:48 +0000

Last revised: July 08, 2011 at 18:51:46 +0100
diff --git a/doc/html/index/s11.html b/doc/html/index/s11.html index 6d6dc57..e8737a2 100644 --- a/doc/html/index/s11.html +++ b/doc/html/index/s11.html @@ -24,7 +24,7 @@

-Class Index

+Class Index

A C D E F H I M P R T

@@ -47,7 +47,7 @@
@@ -105,7 +105,7 @@
@@ -117,7 +117,7 @@

  • is_class

    • @@ -139,7 +139,7 @@

  • is_pod

    • @@ -147,7 +147,7 @@

    is_pointer

  • is_polymorphic

    • @@ -160,7 +160,7 @@

  • is_union

    • @@ -170,7 +170,7 @@

    is_void

  • is_volatile

    • @@ -198,7 +198,7 @@

    remove_extent

  • remove_pointer

    • diff --git a/doc/html/index/s12.html b/doc/html/index/s12.html index 86acd48..72b079c 100644 --- a/doc/html/index/s12.html +++ b/doc/html/index/s12.html @@ -24,7 +24,7 @@

    -Typedef Index

    +Typedef Index

    F R T

    diff --git a/doc/html/index/s13.html b/doc/html/index/s13.html index be1a954..15de3c1 100644 --- a/doc/html/index/s13.html +++ b/doc/html/index/s13.html @@ -24,7 +24,7 @@

    -Macro Index

    +Macro Index

    B

    diff --git a/doc/html/index/s14.html b/doc/html/index/s14.html index 98ece5f..22200c3 100644 --- a/doc/html/index/s14.html +++ b/doc/html/index/s14.html @@ -23,7 +23,7 @@

    -Index

    +Index

    A B C D E F H I M P R T U

    @@ -41,7 +41,7 @@

  • alignment_of

    • @@ -179,7 +179,7 @@

    common_type

    @@ -193,7 +193,7 @@
    @@ -209,7 +209,7 @@

  • function_traits

    • @@ -224,7 +224,7 @@

    has_nothrow_constructor

    @@ -232,7 +232,7 @@

    has_nothrow_copy

    @@ -248,14 +248,14 @@

    has_trivial_assign

  • has_trivial_constructor

    • @@ -263,7 +263,7 @@

    has_trivial_copy

    @@ -279,14 +279,14 @@

    has_trivial_destructor

  • has_virtual_destructor

    • @@ -308,7 +308,7 @@

  • alignment_of

  • extent

  • false_type

    • -

  • integral_constant

    • +

  • integral_constant

  • rank

  • true_type

    • @@ -322,7 +322,7 @@

    is_class

    @@ -334,7 +334,7 @@

    is_empty

  • is_enum

    • @@ -343,7 +343,7 @@

    is_function

  • is_fundamental

    • @@ -357,7 +357,7 @@

    is_pod

    @@ -365,7 +365,7 @@

    is_pointer

  • is_polymorphic

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

    is_union

    @@ -389,7 +389,7 @@

    is_void

  • is_volatile

    • @@ -436,7 +436,7 @@

    rank

  • remove_all_extents

    • @@ -446,7 +446,7 @@

    remove_extent

  • remove_pointer

    • diff --git a/doc/is_class.qbk b/doc/is_class.qbk index a1fa984..1e7879e 100644 --- a/doc/is_class.qbk +++ b/doc/is_class.qbk @@ -9,7 +9,7 @@ template struct is_class : public __tof {}; -__inherit If T is a (possibly cv-qualified) class type then inherits from __true_type, +__inherit If T is a (possibly cv-qualified) class type (and not a union type) then inherits from __true_type, otherwise inherits from __false_type. __std_ref 3.9.2 and 9.2. diff --git a/doc/is_empty.qbk b/doc/is_empty.qbk index ec19563..e89e9a4 100644 --- a/doc/is_empty.qbk +++ b/doc/is_empty.qbk @@ -9,7 +9,7 @@ template struct is_empty : public __tof {}; -__inherit If T is an empty class type then inherits from __true_type, +__inherit If T is an empty class type (and not a union type) then inherits from __true_type, otherwise inherits from __false_type. __std_ref 10p5. diff --git a/include/boost/type_traits/intrinsics.hpp b/include/boost/type_traits/intrinsics.hpp index 6057249..92af393 100644 --- a/include/boost/type_traits/intrinsics.hpp +++ b/include/boost/type_traits/intrinsics.hpp @@ -22,7 +22,7 @@ // (these should largely ignore cv-qualifiers) // BOOST_IS_UNION(T) should evaluate to true if T is a union type // BOOST_IS_POD(T) should evaluate to true if T is a POD type -// BOOST_IS_EMPTY(T) should evaluate to true if T is an empty struct or union +// BOOST_IS_EMPTY(T) should evaluate to true if T is an empty class type (and not a union) // BOOST_HAS_TRIVIAL_CONSTRUCTOR(T) should evaluate to true if "T x;" has no effect // BOOST_HAS_TRIVIAL_COPY(T) should evaluate to true if T(t) <==> memcpy // BOOST_HAS_TRIVIAL_ASSIGN(T) should evaluate to true if t = u <==> memcpy @@ -36,7 +36,7 @@ // // BOOST_IS_ABSTRACT(T) true if T is an abstract type // BOOST_IS_BASE_OF(T,U) true if T is a base class of U -// BOOST_IS_CLASS(T) true if T is a class type +// BOOST_IS_CLASS(T) true if T is a class type (and not a union) // BOOST_IS_CONVERTIBLE(T,U) true if T is convertible to U // BOOST_IS_ENUM(T) true is T is an enum // BOOST_IS_POLYMORPHIC(T) true if T is a polymorphic type