1[/
2  (C) Copyright 2009-2011  Frederic Bron.
3  Distributed under the Boost Software License, Version 1.0.
4  (See accompanying file LICENSE_1_0.txt or copy at
5  http://www.boost.org/LICENSE_1_0.txt).
6]
7
8[section:has_bit_xor_assign has_bit_xor_assign]
9   template <class Lhs, class Rhs=Lhs, class Ret=dont_care>
10   struct has_bit_xor_assign : public __tof {};
11
12__inherit
13If (i) `lhs` of type `Lhs` and `rhs` of type `Rhs` can be used in expression `lhs^=rhs`,
14and (ii) `Ret=dont_care` or the result of expression `lhs^=rhs` is convertible to `Ret`
15then inherits from __true_type,
16otherwise inherits from __false_type.
17
18The default behaviour (`Ret=dont_care`) is to not check for the return value of binary `operator^=`.
19If `Ret` is different from the default `dont_care` type, the return value is checked to be convertible to `Ret`.
20Convertible to `Ret` means that the return value of the operator can be used as argument to a function expecting `Ret`:
21``
22void f(Ret);
23Lhs lhs;
24Rhs rhs;
25f(lhs^=rhs); // is valid if has_bit_xor_assign<Lhs, Rhs, Ret>::value==true
26``
27If `Ret=void`, the return type is checked to be exactly `void`.
28
29__header `#include <boost/type_traits/has_bit_xor_assign.hpp>` or `#include <boost/type_traits/has_operator.hpp>` or `#include <boost/type_traits.hpp>`
30
31__examples
32
33[:`has_bit_xor_assign<Lhs, Rhs, Ret>::value_type` is the type `bool`.]
34[:`has_bit_xor_assign<Lhs, Rhs, Ret>::value` is a `bool` integral constant expression.]
35[:`has_bit_xor_assign<int>::value` is a `bool` integral constant expression that evaluates to `true`.]
36[:`has_bit_xor_assign<long>` inherits from `__true_type`.]
37
38[:`has_bit_xor_assign<int, int, int>` inherits from `__true_type`.]
39
40[:`has_bit_xor_assign<const int, int>` inherits from `__false_type`.]
41[:`has_bit_xor_assign<int, double, bool>` inherits from `__false_type`.]
42[:`has_bit_xor_assign<int, int, std::string>` inherits from `__false_type`.]
43
44
45[*See also:] [link boost_typetraits.category.value_traits.operators Operator Type Traits]
46
47[*Limitation:]
48
49* Requires a compiler with working SFINAE.
50
51[*Known issues:]
52
53* This trait cannot detect whether binary `operator^=` is public or not:
54if `operator^=` is defined as a private member of `Lhs` then
55instantiating `has_bit_xor_assign<Lhs>` will produce a compiler error.
56For this reason `has_bit_xor_assign` cannot be used to determine whether a type has a public `operator^=` or not.
57``
58struct A { private: void operator^=(const A&); };
59boost::has_bit_xor_assign<A>::value; // error: A::operator^=(const A&) is private
60``
61
62* There is an issue if the operator exists only for type `A` and `B` is
63convertible to `A`. In this case, the compiler will report an ambiguous overload.
64``
65struct A { };
66void operator^=(const A&, const A&);
67struct B { operator A(); };
68boost::has_bit_xor_assign<A>::value; // this is fine
69boost::has_bit_xor_assign<B>::value; // error: ambiguous overload
70``
71
72* There is an issue when applying this trait to template classes.
73If `operator^=` is defined but does not bind for a given template type,
74it is still detected by the trait which returns `true` instead of `false`.
75Example:
76``
77#include <boost/type_traits/has_bit_xor_assign.hpp>
78#include <iostream>
79
80template <class T>
81struct contains { T data; };
82
83template <class T>
84bool operator^=(const contains<T> &lhs, const contains<T> &rhs) {
85	return f(lhs.data, rhs.data);
86}
87
88class bad { };
89class good { };
90bool f(const good&, const good&) { }
91
92int main() {
93	std::cout<<std::boolalpha;
94	// works fine for contains<good>
95	std::cout<<boost::has_bit_xor_assign< contains< good > >::value<<'\n'; // true
96	contains<good> g;
97	g^=g; // ok
98	// does not work for contains<bad>
99	std::cout<<boost::has_bit_xor_assign< contains< bad > >::value<<'\n'; // true, should be false
100	contains<bad> b;
101	b^=b; // compile time error
102	return 0;
103}
104``
105
106* `volatile` qualifier is not properly handled and would lead to undefined behavior
107
108[endsect]
109
110