1 | /***
|
---|
2 | *
|
---|
3 | * Test program to illustrate the problem:
|
---|
4 | *
|
---|
5 | * "Phoenix function with reference parameter fails to compile under clang 3.5 with C++ 11 support"
|
---|
6 | *
|
---|
7 | * Author: David Williams
|
---|
8 | *
|
---|
9 | * Boost version: 1.59
|
---|
10 | *
|
---|
11 | * Compiler: Apple LLVM version 6.0 (clang-600.0.57) (based on LLVM 3.5svn)
|
---|
12 | *
|
---|
13 | * Program built using C++ 11 support.
|
---|
14 | *
|
---|
15 | * Test program based on the phoenix test program function_tests.cpp.
|
---|
16 | *
|
---|
17 | ***/
|
---|
18 |
|
---|
19 |
|
---|
20 | #include <iostream>
|
---|
21 | #include <cmath>
|
---|
22 | #include <boost/detail/lightweight_test.hpp>
|
---|
23 | #include <boost/phoenix/core.hpp>
|
---|
24 | #include <boost/phoenix/operator.hpp>
|
---|
25 | #include <boost/phoenix/function.hpp>
|
---|
26 |
|
---|
27 | #define BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
|
---|
28 | #include <boost/mpl/multiplies.hpp>
|
---|
29 | #undef BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS
|
---|
30 |
|
---|
31 |
|
---|
32 | /**
|
---|
33 | * Defines a simple phoenix function that allows a flag to be set depending on the integer
|
---|
34 | * value used to initiaise the object.
|
---|
35 | *
|
---|
36 | **/
|
---|
37 | struct add_int_impl
|
---|
38 | {
|
---|
39 | typedef int result_type;
|
---|
40 |
|
---|
41 |
|
---|
42 | add_int_impl(int v)
|
---|
43 | {
|
---|
44 | _value=v;
|
---|
45 | }
|
---|
46 |
|
---|
47 | /*
|
---|
48 | * Need this defined for the call BOOST_TEST(add_int(arg1)(flag) == (4)); to compile when
|
---|
49 | * the flags BOOST_RESULT_OF_TR1 or BOOST_RESULT_OF_USE_TR1_WITH_DECLTYPE_FALLBACK are NOT used.
|
---|
50 | *
|
---|
51 | * Note that both operator functions must be const for them to be valid phoenix functions.
|
---|
52 | * This function compiles OK both with and without the int operator()(bool& flag) being defined.
|
---|
53 | */
|
---|
54 | /****
|
---|
55 | int operator()(int a) const
|
---|
56 | {
|
---|
57 | std::cout << "int operator()(int a) called" << std::endl;
|
---|
58 | return a + _value;
|
---|
59 | }
|
---|
60 | ****/
|
---|
61 |
|
---|
62 | /*
|
---|
63 | * This can be compiled with no other overloaded operators if we define the param as
|
---|
64 | * (const bool& flag) rather than just (bool& flag)
|
---|
65 | * But a const reference paramter is not useful here as we want to change the flag
|
---|
66 | * depending on the stored integer _value.
|
---|
67 | *
|
---|
68 | */
|
---|
69 | int operator()(bool& flag) const
|
---|
70 | {
|
---|
71 | std::cout << "int operator()(bool& flag) called" << std::endl;
|
---|
72 | if (_value == 4)
|
---|
73 | flag=true;
|
---|
74 | return _value;
|
---|
75 | }
|
---|
76 |
|
---|
77 | int _value;
|
---|
78 | };
|
---|
79 |
|
---|
80 |
|
---|
81 | // Initialise the function with the value 4.
|
---|
82 | boost::phoenix::function<add_int_impl> add_int(4);
|
---|
83 |
|
---|
84 | int main()
|
---|
85 | {
|
---|
86 | using boost::phoenix::arg_names::arg1;
|
---|
87 |
|
---|
88 | int i5 = 5;
|
---|
89 | bool flag=false;
|
---|
90 |
|
---|
91 | /**
|
---|
92 | * Test invoking the function object with a bool flag as a reference parameter.
|
---|
93 | *
|
---|
94 | * This call will only compile under Apple's version of clang 3.5 C++ 11 when one or both of the
|
---|
95 | * following conditions are met;
|
---|
96 | *
|
---|
97 | * 1) The int operator()(int a) const is also defined
|
---|
98 | *
|
---|
99 | * 2) One of the following flags is defined:
|
---|
100 | *
|
---|
101 | * BOOST_RESULT_OF_TR1
|
---|
102 | * BOOST_RESULT_OF_USE_TR1_WITH_DECLTYPE_FALLBACK
|
---|
103 | *
|
---|
104 | * The program also compiles if the function signature is changed to use a const
|
---|
105 | * reference parameter, i.e int operator()(const bool& flag) const.
|
---|
106 | * However this then means that the parameter value cannot be
|
---|
107 | * modified within the body of the function as required.
|
---|
108 | *
|
---|
109 | * The problem does not occur if the program is compiled using C++ 98 compatibility mode.
|
---|
110 | *
|
---|
111 | **/
|
---|
112 |
|
---|
113 | BOOST_TEST(add_int(arg1)(flag) == (4));
|
---|
114 |
|
---|
115 | /**
|
---|
116 | * This tests the int operator()(int a) const which under C++ 11 can be defined standalone or
|
---|
117 | * with the int operator()(bool& flag) const also defined. The flags BOOST_RESULT_OF_TR1
|
---|
118 | * and BOOST_RESULT_OF_USE_TR1_WITH_DECLTYPE_FALLBACK are then NOT required.
|
---|
119 | */
|
---|
120 | //BOOST_TEST(add_int(arg1)(i5) == (5+4));
|
---|
121 |
|
---|
122 | return boost::report_errors();
|
---|
123 | }
|
---|