From f78c5330cdd5cfb734d61ef2ad7e5389904f4eea Mon Sep 17 00:00:00 2001 From: jzmaddock Date: Sat, 11 Aug 2018 09:50:49 +0100 Subject: [PATCH] Document improved unary operators. [CI SKIP] --- doc/has_complement.qbk | 2 + doc/has_post_decrement.qbk | 2 + doc/has_post_increment.qbk | 2 + doc/has_pre_decrement.qbk | 4 +- doc/has_pre_increment.qbk | 2 + doc/has_unary_minus.qbk | 2 + doc/has_unary_plus.qbk | 2 + doc/html/boost_typetraits/reference.html | 1 + .../reference/has_complement.html | 38 +++++++++++++++++++ .../reference/has_post_decrement.html | 38 +++++++++++++++++++ .../reference/has_post_increment.html | 38 +++++++++++++++++++ .../reference/has_pre_decrement.html | 38 +++++++++++++++++++ .../reference/has_pre_increment.html | 38 +++++++++++++++++++ .../reference/has_unary_minus.html | 38 +++++++++++++++++++ .../reference/has_unary_plus.html | 38 +++++++++++++++++++ doc/html/index/s11.html | 2 +- doc/html/index/s12.html | 2 +- doc/html/index/s13.html | 9 ++++- doc/html/index/s14.html | 16 +++++++- doc/type_traits.qbk | 24 ++++++++++++ 20 files changed, 331 insertions(+), 5 deletions(-) diff --git a/doc/has_complement.qbk b/doc/has_complement.qbk index f6b567b..e63b226 100644 --- a/doc/has_complement.qbk +++ b/doc/has_complement.qbk @@ -105,5 +105,7 @@ int main() { * `volatile` qualifier is not properly handled and would lead to undefined behavior +[prefix_operator_known_issues has_complement..~] + [endsect] diff --git a/doc/has_post_decrement.qbk b/doc/has_post_decrement.qbk index 2b76d3f..fb07ae4 100644 --- a/doc/has_post_decrement.qbk +++ b/doc/has_post_decrement.qbk @@ -106,5 +106,7 @@ int main() { * `volatile` qualifier is not properly handled and would lead to undefined behavior +[prefix_operator_known_issues has_post_decrement..--] + [endsect] diff --git a/doc/has_post_increment.qbk b/doc/has_post_increment.qbk index 06121ec..c35074e 100644 --- a/doc/has_post_increment.qbk +++ b/doc/has_post_increment.qbk @@ -106,5 +106,7 @@ int main() { * `volatile` qualifier is not properly handled and would lead to undefined behavior +[prefix_operator_known_issues has_post_increment..++] + [endsect] diff --git a/doc/has_pre_decrement.qbk b/doc/has_pre_decrement.qbk index b239388..de41e44 100644 --- a/doc/has_pre_decrement.qbk +++ b/doc/has_pre_decrement.qbk @@ -1,4 +1,4 @@ -[/ +#[/ (C) Copyright 2009-2011 Frederic Bron. Distributed under the Boost Software License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at @@ -106,5 +106,7 @@ int main() { * `volatile` qualifier is not properly handled and would lead to undefined behavior +[prefix_operator_known_issues has_pre_decrement..--] + [endsect] diff --git a/doc/has_pre_increment.qbk b/doc/has_pre_increment.qbk index 4008692..4d98429 100644 --- a/doc/has_pre_increment.qbk +++ b/doc/has_pre_increment.qbk @@ -106,5 +106,7 @@ int main() { * `volatile` qualifier is not properly handled and would lead to undefined behavior +[prefix_operator_known_issues has_pre_increment..++] + [endsect] diff --git a/doc/has_unary_minus.qbk b/doc/has_unary_minus.qbk index 9ba7988..ecf5fe5 100644 --- a/doc/has_unary_minus.qbk +++ b/doc/has_unary_minus.qbk @@ -104,5 +104,7 @@ int main() { * `volatile` qualifier is not properly handled and would lead to undefined behavior +[prefix_operator_known_issues has_unary_minus..-] + [endsect] diff --git a/doc/has_unary_plus.qbk b/doc/has_unary_plus.qbk index 6540164..55eadc9 100644 --- a/doc/has_unary_plus.qbk +++ b/doc/has_unary_plus.qbk @@ -104,5 +104,7 @@ int main() { * `volatile` qualifier is not properly handled and would lead to undefined behavior +[prefix_operator_known_issues has_unary_plus..+] + [endsect] diff --git a/doc/html/boost_typetraits/reference.html b/doc/html/boost_typetraits/reference.html index 92587db..d8e7690 100644 --- a/doc/html/boost_typetraits/reference.html +++ b/doc/html/boost_typetraits/reference.html @@ -168,6 +168,7 @@
type_identity
type_with_alignment
+
diff --git a/doc/html/boost_typetraits/reference/has_complement.html b/doc/html/boost_typetraits/reference/has_complement.html index 0b05503..e42477e 100644 --- a/doc/html/boost_typetraits/reference/has_complement.html +++ b/doc/html/boost_typetraits/reference/has_complement.html @@ -176,6 +176,44 @@ properly handled and would lead to undefined behavior +

+ Known issues: +

+

+ For modern compilers (those that support arbitrary SFINAE-expressions and + decltype/declval) this trait offers near perfect detection. In this situation + the macro BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + will be defined after including <boost/type_traits/has_complement.hpp>. + Please note however, that detection is based on function signature only, + in the case that the operator is a function template then has_complement + cannot perform introspection of the template function body to ensure that + the type meets all of the conceptual requirements of the actual code. +

+

+ For older compilers (BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + not defined) then there are a number of issues: +

+
diff --git a/doc/html/boost_typetraits/reference/has_post_decrement.html b/doc/html/boost_typetraits/reference/has_post_decrement.html index f73b67e..e2be84c 100644 --- a/doc/html/boost_typetraits/reference/has_post_decrement.html +++ b/doc/html/boost_typetraits/reference/has_post_decrement.html @@ -182,6 +182,44 @@ properly handled and would lead to undefined behavior +

+ Known issues: +

+

+ For modern compilers (those that support arbitrary SFINAE-expressions and + decltype/declval) this trait offers near perfect detection. In this situation + the macro BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + will be defined after including <boost/type_traits/has_post_decrement.hpp>. + Please note however, that detection is based on function signature only, + in the case that the operator is a function template then has_post_decrement + cannot perform introspection of the template function body to ensure that + the type meets all of the conceptual requirements of the actual code. +

+

+ For older compilers (BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + not defined) then there are a number of issues: +

+
diff --git a/doc/html/boost_typetraits/reference/has_post_increment.html b/doc/html/boost_typetraits/reference/has_post_increment.html index 2331124..c326429 100644 --- a/doc/html/boost_typetraits/reference/has_post_increment.html +++ b/doc/html/boost_typetraits/reference/has_post_increment.html @@ -182,6 +182,44 @@ properly handled and would lead to undefined behavior +

+ Known issues: +

+

+ For modern compilers (those that support arbitrary SFINAE-expressions and + decltype/declval) this trait offers near perfect detection. In this situation + the macro BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + will be defined after including <boost/type_traits/has_post_increment.hpp>. + Please note however, that detection is based on function signature only, + in the case that the operator is a function template then has_post_increment + cannot perform introspection of the template function body to ensure that + the type meets all of the conceptual requirements of the actual code. +

+

+ For older compilers (BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + not defined) then there are a number of issues: +

+
diff --git a/doc/html/boost_typetraits/reference/has_pre_decrement.html b/doc/html/boost_typetraits/reference/has_pre_decrement.html index 5bcda06..00a3979 100644 --- a/doc/html/boost_typetraits/reference/has_pre_decrement.html +++ b/doc/html/boost_typetraits/reference/has_pre_decrement.html @@ -182,6 +182,44 @@ properly handled and would lead to undefined behavior +

+ Known issues: +

+

+ For modern compilers (those that support arbitrary SFINAE-expressions and + decltype/declval) this trait offers near perfect detection. In this situation + the macro BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + will be defined after including <boost/type_traits/has_pre_decrement.hpp>. + Please note however, that detection is based on function signature only, + in the case that the operator is a function template then has_pre_decrement + cannot perform introspection of the template function body to ensure that + the type meets all of the conceptual requirements of the actual code. +

+

+ For older compilers (BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + not defined) then there are a number of issues: +

+
diff --git a/doc/html/boost_typetraits/reference/has_pre_increment.html b/doc/html/boost_typetraits/reference/has_pre_increment.html index b4ab7d3..ba8ef50 100644 --- a/doc/html/boost_typetraits/reference/has_pre_increment.html +++ b/doc/html/boost_typetraits/reference/has_pre_increment.html @@ -182,6 +182,44 @@ properly handled and would lead to undefined behavior +

+ Known issues: +

+

+ For modern compilers (those that support arbitrary SFINAE-expressions and + decltype/declval) this trait offers near perfect detection. In this situation + the macro BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + will be defined after including <boost/type_traits/has_pre_increment.hpp>. + Please note however, that detection is based on function signature only, + in the case that the operator is a function template then has_pre_increment + cannot perform introspection of the template function body to ensure that + the type meets all of the conceptual requirements of the actual code. +

+

+ For older compilers (BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + not defined) then there are a number of issues: +

+
diff --git a/doc/html/boost_typetraits/reference/has_unary_minus.html b/doc/html/boost_typetraits/reference/has_unary_minus.html index a2301a3..3cbcaaa 100644 --- a/doc/html/boost_typetraits/reference/has_unary_minus.html +++ b/doc/html/boost_typetraits/reference/has_unary_minus.html @@ -172,6 +172,44 @@ properly handled and would lead to undefined behavior +

+ Known issues: +

+

+ For modern compilers (those that support arbitrary SFINAE-expressions and + decltype/declval) this trait offers near perfect detection. In this situation + the macro BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + will be defined after including <boost/type_traits/has_unary_minus.hpp>. + Please note however, that detection is based on function signature only, + in the case that the operator is a function template then has_unary_minus + cannot perform introspection of the template function body to ensure that + the type meets all of the conceptual requirements of the actual code. +

+

+ For older compilers (BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + not defined) then there are a number of issues: +

+
diff --git a/doc/html/boost_typetraits/reference/has_unary_plus.html b/doc/html/boost_typetraits/reference/has_unary_plus.html index 48be41f..602c37a 100644 --- a/doc/html/boost_typetraits/reference/has_unary_plus.html +++ b/doc/html/boost_typetraits/reference/has_unary_plus.html @@ -172,6 +172,44 @@ properly handled and would lead to undefined behavior +

+ Known issues: +

+

+ For modern compilers (those that support arbitrary SFINAE-expressions and + decltype/declval) this trait offers near perfect detection. In this situation + the macro BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + will be defined after including <boost/type_traits/has_unary_plus.hpp>. + Please note however, that detection is based on function signature only, + in the case that the operator is a function template then has_unary_plus + cannot perform introspection of the template function body to ensure that + the type meets all of the conceptual requirements of the actual code. +

+

+ For older compilers (BOOST_TT_HAS_ACCURATE_BINARY_OPERATOR_DETECTION + not defined) then there are a number of issues: +

+
diff --git a/doc/html/index/s11.html b/doc/html/index/s11.html index 43dc946..716068a 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 N O P R T

diff --git a/doc/html/index/s12.html b/doc/html/index/s12.html index d284d41..fad4f00 100644 --- a/doc/html/index/s12.html +++ b/doc/html/index/s12.html @@ -24,7 +24,7 @@

-Typedef Index

+Typedef Index

F R T V

diff --git a/doc/html/index/s13.html b/doc/html/index/s13.html index 63a37ae..43d2db5 100644 --- a/doc/html/index/s13.html +++ b/doc/html/index/s13.html @@ -24,7 +24,7 @@

-Macro Index

+Macro Index

B

@@ -172,6 +172,7 @@

  • has_bit_or_assign

  • has_bit_xor

  • has_bit_xor_assign

    • +

  • has_complement

  • has_divides

  • has_divides_assign

  • has_equal_to

    • @@ -192,8 +193,14 @@

  • has_not_equal_to

  • has_plus

  • has_plus_assign

    • +

  • has_post_decrement

    • +

  • has_post_increment

    • +

  • has_pre_decrement

    • +

  • has_pre_increment

  • has_right_shift

  • has_right_shift_assign

    • +

  • has_unary_minus

    • +

  • has_unary_plus

  • diff --git a/doc/html/index/s14.html b/doc/html/index/s14.html index 0439e8b..62efcc3 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 N O P R T U V

    @@ -203,6 +203,7 @@

  • has_bit_or_assign

  • has_bit_xor

  • has_bit_xor_assign

    • +

  • has_complement

  • has_divides

  • has_divides_assign

  • has_equal_to

    • @@ -223,8 +224,14 @@

  • has_not_equal_to

  • has_plus

  • has_plus_assign

    • +

  • has_post_decrement

    • +

  • has_post_increment

    • +

  • has_pre_decrement

    • +

  • has_pre_increment

  • has_right_shift

  • has_right_shift_assign

    • +

  • has_unary_minus

    • +

  • has_unary_plus

  • @@ -389,6 +396,7 @@

  • has_complement