1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // <string>
11 
12 // template<class charT, class traits, class Allocator>
13 //   basic_string<charT,traits,Allocator>
14 //   operator+(const basic_string<charT,traits,Allocator>& lhs,
15 //             const basic_string<charT,traits,Allocator>& rhs);
16 
17 // template<class charT, class traits, class Allocator>
18 //   basic_string<charT,traits,Allocator>&&
19 //   operator+(const basic_string<charT,traits,Allocator>&& lhs,
20 //             const basic_string<charT,traits,Allocator>& rhs);
21 
22 // template<class charT, class traits, class Allocator>
23 //   basic_string<charT,traits,Allocator>&&
24 //   operator+(const basic_string<charT,traits,Allocator>& lhs,
25 //             const basic_string<charT,traits,Allocator>&& rhs);
26 
27 // template<class charT, class traits, class Allocator>
28 //   basic_string<charT,traits,Allocator>&&
29 //   operator+(const basic_string<charT,traits,Allocator>&& lhs,
30 //             const basic_string<charT,traits,Allocator>&& rhs);
31 
32 #include <string>
33 #include <cassert>
34 
35 #include "min_allocator.h"
36 
37 template <class S>
38 void
test0(const S & lhs,const S & rhs,const S & x)39 test0(const S& lhs, const S& rhs, const S& x)
40 {
41     assert(lhs + rhs == x);
42 }
43 
44 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
45 
46 template <class S>
47 void
test1(S && lhs,const S & rhs,const S & x)48 test1(S&& lhs, const S& rhs, const S& x)
49 {
50     assert(move(lhs) + rhs == x);
51 }
52 
53 template <class S>
54 void
test2(const S & lhs,S && rhs,const S & x)55 test2(const S& lhs, S&& rhs, const S& x)
56 {
57     assert(lhs + move(rhs) == x);
58 }
59 
60 template <class S>
61 void
test3(S && lhs,S && rhs,const S & x)62 test3(S&& lhs, S&& rhs, const S& x)
63 {
64     assert(move(lhs) + move(rhs) == x);
65 }
66 
67 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
68 
main()69 int main()
70 {
71     {
72     typedef std::string S;
73     test0(S(""), S(""), S(""));
74     test0(S(""), S("12345"), S("12345"));
75     test0(S(""), S("1234567890"), S("1234567890"));
76     test0(S(""), S("12345678901234567890"), S("12345678901234567890"));
77     test0(S("abcde"), S(""), S("abcde"));
78     test0(S("abcde"), S("12345"), S("abcde12345"));
79     test0(S("abcde"), S("1234567890"), S("abcde1234567890"));
80     test0(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
81     test0(S("abcdefghij"), S(""), S("abcdefghij"));
82     test0(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
83     test0(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
84     test0(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
85     test0(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
86     test0(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
87     test0(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
88     test0(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
89 
90 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
91 
92     test1(S(""), S(""), S(""));
93     test1(S(""), S("12345"), S("12345"));
94     test1(S(""), S("1234567890"), S("1234567890"));
95     test1(S(""), S("12345678901234567890"), S("12345678901234567890"));
96     test1(S("abcde"), S(""), S("abcde"));
97     test1(S("abcde"), S("12345"), S("abcde12345"));
98     test1(S("abcde"), S("1234567890"), S("abcde1234567890"));
99     test1(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
100     test1(S("abcdefghij"), S(""), S("abcdefghij"));
101     test1(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
102     test1(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
103     test1(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
104     test1(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
105     test1(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
106     test1(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
107     test1(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
108 
109     test2(S(""), S(""), S(""));
110     test2(S(""), S("12345"), S("12345"));
111     test2(S(""), S("1234567890"), S("1234567890"));
112     test2(S(""), S("12345678901234567890"), S("12345678901234567890"));
113     test2(S("abcde"), S(""), S("abcde"));
114     test2(S("abcde"), S("12345"), S("abcde12345"));
115     test2(S("abcde"), S("1234567890"), S("abcde1234567890"));
116     test2(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
117     test2(S("abcdefghij"), S(""), S("abcdefghij"));
118     test2(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
119     test2(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
120     test2(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
121     test2(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
122     test2(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
123     test2(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
124     test2(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
125 
126     test3(S(""), S(""), S(""));
127     test3(S(""), S("12345"), S("12345"));
128     test3(S(""), S("1234567890"), S("1234567890"));
129     test3(S(""), S("12345678901234567890"), S("12345678901234567890"));
130     test3(S("abcde"), S(""), S("abcde"));
131     test3(S("abcde"), S("12345"), S("abcde12345"));
132     test3(S("abcde"), S("1234567890"), S("abcde1234567890"));
133     test3(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
134     test3(S("abcdefghij"), S(""), S("abcdefghij"));
135     test3(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
136     test3(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
137     test3(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
138     test3(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
139     test3(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
140     test3(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
141     test3(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
142 
143 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
144     }
145 #if __cplusplus >= 201103L
146     {
147     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
148     test0(S(""), S(""), S(""));
149     test0(S(""), S("12345"), S("12345"));
150     test0(S(""), S("1234567890"), S("1234567890"));
151     test0(S(""), S("12345678901234567890"), S("12345678901234567890"));
152     test0(S("abcde"), S(""), S("abcde"));
153     test0(S("abcde"), S("12345"), S("abcde12345"));
154     test0(S("abcde"), S("1234567890"), S("abcde1234567890"));
155     test0(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
156     test0(S("abcdefghij"), S(""), S("abcdefghij"));
157     test0(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
158     test0(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
159     test0(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
160     test0(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
161     test0(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
162     test0(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
163     test0(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
164 
165 #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES
166 
167     test1(S(""), S(""), S(""));
168     test1(S(""), S("12345"), S("12345"));
169     test1(S(""), S("1234567890"), S("1234567890"));
170     test1(S(""), S("12345678901234567890"), S("12345678901234567890"));
171     test1(S("abcde"), S(""), S("abcde"));
172     test1(S("abcde"), S("12345"), S("abcde12345"));
173     test1(S("abcde"), S("1234567890"), S("abcde1234567890"));
174     test1(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
175     test1(S("abcdefghij"), S(""), S("abcdefghij"));
176     test1(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
177     test1(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
178     test1(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
179     test1(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
180     test1(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
181     test1(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
182     test1(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
183 
184     test2(S(""), S(""), S(""));
185     test2(S(""), S("12345"), S("12345"));
186     test2(S(""), S("1234567890"), S("1234567890"));
187     test2(S(""), S("12345678901234567890"), S("12345678901234567890"));
188     test2(S("abcde"), S(""), S("abcde"));
189     test2(S("abcde"), S("12345"), S("abcde12345"));
190     test2(S("abcde"), S("1234567890"), S("abcde1234567890"));
191     test2(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
192     test2(S("abcdefghij"), S(""), S("abcdefghij"));
193     test2(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
194     test2(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
195     test2(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
196     test2(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
197     test2(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
198     test2(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
199     test2(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
200 
201     test3(S(""), S(""), S(""));
202     test3(S(""), S("12345"), S("12345"));
203     test3(S(""), S("1234567890"), S("1234567890"));
204     test3(S(""), S("12345678901234567890"), S("12345678901234567890"));
205     test3(S("abcde"), S(""), S("abcde"));
206     test3(S("abcde"), S("12345"), S("abcde12345"));
207     test3(S("abcde"), S("1234567890"), S("abcde1234567890"));
208     test3(S("abcde"), S("12345678901234567890"), S("abcde12345678901234567890"));
209     test3(S("abcdefghij"), S(""), S("abcdefghij"));
210     test3(S("abcdefghij"), S("12345"), S("abcdefghij12345"));
211     test3(S("abcdefghij"), S("1234567890"), S("abcdefghij1234567890"));
212     test3(S("abcdefghij"), S("12345678901234567890"), S("abcdefghij12345678901234567890"));
213     test3(S("abcdefghijklmnopqrst"), S(""), S("abcdefghijklmnopqrst"));
214     test3(S("abcdefghijklmnopqrst"), S("12345"), S("abcdefghijklmnopqrst12345"));
215     test3(S("abcdefghijklmnopqrst"), S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
216     test3(S("abcdefghijklmnopqrst"), S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
217 
218 #endif  // _LIBCPP_HAS_NO_RVALUE_REFERENCES
219     }
220 #endif
221 }
222