]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/ifmt.rs
4 #![allow(unused_must_use)]
5 #![allow(unused_features)]
6 #![feature(box_syntax)]
8 use std
::cell
::RefCell
;
9 use std
::fmt
::{self, Write}
;
17 impl fmt
::LowerHex
for A
{
18 fn fmt(&self, f
: &mut fmt
::Formatter
) -> fmt
::Result
{
22 impl fmt
::UpperHex
for B
{
23 fn fmt(&self, f
: &mut fmt
::Formatter
) -> fmt
::Result
{
27 impl fmt
::Display
for C
{
28 fn fmt(&self, f
: &mut fmt
::Formatter
) -> fmt
::Result
{
29 f
.pad_integral(true, "☃", "123")
32 impl fmt
::Binary
for D
{
33 fn fmt(&self, f
: &mut fmt
::Formatter
) -> fmt
::Result
{
41 ($a
:expr
, $b
:expr
) => { assert_eq!($a, $b) }
45 // Various edge cases without formats
47 t
!(format
!("hello"), "hello");
48 t
!(format
!("hello {{"), "hello {");
50 // default formatters should work
51 t
!(format
!("{}", 1.0f32), "1");
52 t
!(format
!("{}", 1.0f64), "1");
53 t
!(format
!("{}", "a"), "a");
54 t
!(format
!("{}", "a".to_string()), "a");
55 t
!(format
!("{}", false), "false");
56 t
!(format
!("{}", 'a'
), "a");
58 // At least exercise all the formats
59 t
!(format
!("{}", true), "true");
60 t
!(format
!("{}", '☃'
), "☃");
61 t
!(format
!("{}", 10), "10");
62 t
!(format
!("{}", 10_usize
), "10");
63 t
!(format
!("{:?}", '☃'
), "'☃'");
64 t
!(format
!("{:?}", 10), "10");
65 t
!(format
!("{:?}", 10_usize
), "10");
66 t
!(format
!("{:?}", "true"), "\"true\"");
67 t
!(format
!("{:?}", "foo\nbar"), "\"foo\\nbar\"");
68 t
!(format
!("{:?}", "foo\n\"bar\"\r\n\'baz\'\t\\qux\\"),
69 r
#""foo\n\"bar\"\r\n\'baz\'\t\\qux\\""#);
70 t
!(format
!("{:?}", "foo\0bar\x01baz\u{7f}q\u{75}x"),
71 r
#""foo\u{0}bar\u{1}baz\u{7f}qux""#);
72 t
!(format
!("{:o}", 10_usize
), "12");
73 t
!(format
!("{:x}", 10_usize
), "a");
74 t
!(format
!("{:X}", 10_usize
), "A");
75 t
!(format
!("{}", "foo"), "foo");
76 t
!(format
!("{}", "foo".to_string()), "foo");
77 if cfg
!(target_pointer_width
= "32") {
78 t
!(format
!("{:#p}", 0x1234 as *const isize), "0x00001234");
79 t
!(format
!("{:#p}", 0x1234 as *mut isize), "0x00001234");
81 t
!(format
!("{:#p}", 0x1234 as *const isize), "0x0000000000001234");
82 t
!(format
!("{:#p}", 0x1234 as *mut isize), "0x0000000000001234");
84 t
!(format
!("{:p}", 0x1234 as *const isize), "0x1234");
85 t
!(format
!("{:p}", 0x1234 as *mut isize), "0x1234");
86 t
!(format
!("{:x}", A
), "aloha");
87 t
!(format
!("{:X}", B
), "adios");
88 t
!(format
!("foo {} ☃☃☃☃☃☃", "bar"), "foo bar ☃☃☃☃☃☃");
89 t
!(format
!("{1} {0}", 0, 1), "1 0");
90 t
!(format
!("{foo} {bar}", foo
=0, bar
=1), "0 1");
91 t
!(format
!("{foo} {1} {bar} {0}", 0, 1, foo
=2, bar
=3), "2 1 3 0");
92 t
!(format
!("{} {0}", "a"), "a a");
93 t
!(format
!("{_foo}", _foo
= 6usize
), "6");
94 t
!(format
!("{foo_bar}", foo_bar
=1), "1");
95 t
!(format
!("{}", 5 + 5), "10");
96 t
!(format
!("{:#4}", C
), "☃123");
97 t
!(format
!("{:b}", D
), "aa☃bb");
99 let a
: &dyn fmt
::Debug
= &1;
100 t
!(format
!("{:?}", a
), "1");
103 // Formatting strings and their arguments
104 t
!(format
!("{}", "a"), "a");
105 t
!(format
!("{:4}", "a"), "a ");
106 t
!(format
!("{:4}", "☃"), "☃ ");
107 t
!(format
!("{:>4}", "a"), " a");
108 t
!(format
!("{:<4}", "a"), "a ");
109 t
!(format
!("{:^5}", "a"), " a ");
110 t
!(format
!("{:^5}", "aa"), " aa ");
111 t
!(format
!("{:^4}", "a"), " a ");
112 t
!(format
!("{:^4}", "aa"), " aa ");
113 t
!(format
!("{:.4}", "a"), "a");
114 t
!(format
!("{:4.4}", "a"), "a ");
115 t
!(format
!("{:4.4}", "aaaaaaaaaaaaaaaaaa"), "aaaa");
116 t
!(format
!("{:<4.4}", "aaaaaaaaaaaaaaaaaa"), "aaaa");
117 t
!(format
!("{:>4.4}", "aaaaaaaaaaaaaaaaaa"), "aaaa");
118 t
!(format
!("{:^4.4}", "aaaaaaaaaaaaaaaaaa"), "aaaa");
119 t
!(format
!("{:>10.4}", "aaaaaaaaaaaaaaaaaa"), " aaaa");
120 t
!(format
!("{:2.4}", "aaaaa"), "aaaa");
121 t
!(format
!("{:2.4}", "aaaa"), "aaaa");
122 t
!(format
!("{:2.4}", "aaa"), "aaa");
123 t
!(format
!("{:2.4}", "aa"), "aa");
124 t
!(format
!("{:2.4}", "a"), "a ");
125 t
!(format
!("{:0>2}", "a"), "0a");
126 t
!(format
!("{:.*}", 4, "aaaaaaaaaaaaaaaaaa"), "aaaa");
127 t
!(format
!("{:.1$}", "aaaaaaaaaaaaaaaaaa", 4), "aaaa");
128 t
!(format
!("{:.a$}", "aaaaaaaaaaaaaaaaaa", a
=4), "aaaa");
129 t
!(format
!("{:._a$}", "aaaaaaaaaaaaaaaaaa", _a
=4), "aaaa");
130 t
!(format
!("{:1$}", "a", 4), "a ");
131 t
!(format
!("{1:0$}", 4, "a"), "a ");
132 t
!(format
!("{:a$}", "a", a
=4), "a ");
133 t
!(format
!("{:-#}", "a"), "a");
134 t
!(format
!("{:+#}", "a"), "a");
135 t
!(format
!("{:/^10.8}", "1234567890"), "/12345678/");
138 t
!(format
!("{:}", 1.0f32), "1");
139 t
!(format
!("{:}", 1.0f64), "1");
140 t
!(format
!("{:.3}", 1.0f64), "1.000");
141 t
!(format
!("{:10.3}", 1.0f64), " 1.000");
142 t
!(format
!("{:+10.3}", 1.0f64), " +1.000");
143 t
!(format
!("{:+10.3}", -1.0f64), " -1.000");
145 t
!(format
!("{:e}", 1.2345e6f32
), "1.2345e6");
146 t
!(format
!("{:e}", 1.2345e6f64
), "1.2345e6");
147 t
!(format
!("{:E}", 1.2345e6f64
), "1.2345E6");
148 t
!(format
!("{:.3e}", 1.2345e6f64
), "1.234e6");
149 t
!(format
!("{:10.3e}", 1.2345e6f64
), " 1.234e6");
150 t
!(format
!("{:+10.3e}", 1.2345e6f64
), " +1.234e6");
151 t
!(format
!("{:+10.3e}", -1.2345e6f64
), " -1.234e6");
154 t
!(format
!("{}", -0.0), "0");
155 t
!(format
!("{:?}", -0.0), "-0.0");
156 t
!(format
!("{:?}", 0.0), "0.0");
158 // sign aware zero padding
159 t
!(format
!("{:<3}", 1), "1 ");
160 t
!(format
!("{:>3}", 1), " 1");
161 t
!(format
!("{:^3}", 1), " 1 ");
162 t
!(format
!("{:03}", 1), "001");
163 t
!(format
!("{:<03}", 1), "001");
164 t
!(format
!("{:>03}", 1), "001");
165 t
!(format
!("{:^03}", 1), "001");
166 t
!(format
!("{:+03}", 1), "+01");
167 t
!(format
!("{:<+03}", 1), "+01");
168 t
!(format
!("{:>+03}", 1), "+01");
169 t
!(format
!("{:^+03}", 1), "+01");
170 t
!(format
!("{:#05x}", 1), "0x001");
171 t
!(format
!("{:<#05x}", 1), "0x001");
172 t
!(format
!("{:>#05x}", 1), "0x001");
173 t
!(format
!("{:^#05x}", 1), "0x001");
174 t
!(format
!("{:05}", 1.2), "001.2");
175 t
!(format
!("{:<05}", 1.2), "001.2");
176 t
!(format
!("{:>05}", 1.2), "001.2");
177 t
!(format
!("{:^05}", 1.2), "001.2");
178 t
!(format
!("{:05}", -1.2), "-01.2");
179 t
!(format
!("{:<05}", -1.2), "-01.2");
180 t
!(format
!("{:>05}", -1.2), "-01.2");
181 t
!(format
!("{:^05}", -1.2), "-01.2");
182 t
!(format
!("{:+05}", 1.2), "+01.2");
183 t
!(format
!("{:<+05}", 1.2), "+01.2");
184 t
!(format
!("{:>+05}", 1.2), "+01.2");
185 t
!(format
!("{:^+05}", 1.2), "+01.2");
187 // Ergonomic format_args!
188 t
!(format
!("{0:x} {0:X}", 15), "f F");
189 t
!(format
!("{0:x} {0:X} {}", 15), "f F 15");
190 // NOTE: For now the longer test cases must not be followed immediately by
191 // >1 empty lines, or the pretty printer will break. Since no one wants to
192 // touch the current pretty printer (#751), we have no choice but to work
193 // around it. Some of the following test cases are also affected.
194 t
!(format
!("{:x}{0:X}{a:x}{:X}{1:x}{a:X}", 13, 14, a
=15), "dDfEeF");
195 t
!(format
!("{a:x} {a:X}", a
=15), "f F");
197 // And its edge cases
198 t
!(format
!("{a:.0$} {b:.0$} {0:.0$}\n{a:.c$} {b:.c$} {c:.c$}",
199 4, a
="abcdefg", b
="hijklmn", c
=3),
200 "abcd hijk 4\nabc hij 3");
201 t
!(format
!("{a:.*} {0} {:.*}", 4, 3, "efgh", a
="abcdef"), "abcd 4 efg");
202 t
!(format
!("{:.a$} {a} {a:#x}", "aaaaaa", a
=2), "aa 2 0x2");
205 // Test that pointers don't get truncated.
207 let val
= usize::MAX
;
208 let exp
= format
!("{:#x}", val
);
209 t
!(format
!("{:p}", val
as *const isize), exp
);
213 t
!(format
!("{{"), "{");
214 t
!(format
!("}}"), "}");
221 // make sure that format! doesn't move out of local variables
222 let a
: Box
<_
> = box 3;
226 // make sure that format! doesn't cause spurious unused-unsafe warnings when
227 // it's inside of an outer unsafe block
229 let a
: isize = ::std
::mem
::transmute(3_usize
);
235 // test that trailing commas are acceptable
236 format
!("{}", "test",);
237 format
!("{foo}", foo
="test",);
242 // Basic test to make sure that we can invoke the `write!` macro with an
243 // fmt::Write instance.
245 let mut buf
= String
::new();
246 write
!(&mut buf
, "{}", 3);
249 write
!(w
, "{foo}", foo
=4);
250 write
!(w
, "{}", "hello");
251 writeln
!(w
, "{}", "line");
252 writeln
!(w
, "{foo}", foo
="bar");
257 t
!(buf
, "34helloline\nbar\n☃str");
260 // Just make sure that the macros are defined, there's not really a lot that we
261 // can do with them just yet (to test the output)
264 print
!("{:?}", vec
![0u8]);
266 println
!("this is a {}", "test");
267 println
!("{foo}", foo
="bar");
270 // Just make sure that the macros are defined, there's not really a lot that we
271 // can do with them just yet (to test the output)
272 fn test_format_args() {
273 let mut buf
= String
::new();
276 write
!(w
, "{}", format_args
!("{}", 1));
277 write
!(w
, "{}", format_args
!("test"));
278 write
!(w
, "{}", format_args
!("{test}", test
=3));
283 let s
= fmt
::format(format_args
!("hello {}", "world"));
284 t
!(s
, "hello world");
285 let s
= format
!("{}: {}", "args were", format_args
!("hello {}", "world"));
286 t
!(s
, "args were: hello world");
290 // Make sure format!() arguments are always evaluated in a left-to-right
293 static mut FOO
: isize = 0;
299 assert_eq
!(format
!("{} {} {a} {b} {} {c}",
300 foo(), foo(), foo(), a
=foo(), b
=foo(), c
=foo()),
301 "1 2 4 5 3 6".to_string());
305 // Make sure each argument are evaluated only once even though it may be
306 // formatted multiple times
308 static mut FOO
: isize = 0;
314 assert_eq
!(format
!("{0} {0} {0} {a} {a} {a}", foo(), a
=foo()),
315 "1 1 1 2 2 2".to_string());
319 let refcell
= RefCell
::new(5);
320 assert_eq
!(format
!("{:?}", refcell
), "RefCell { value: 5 }");
321 let borrow
= refcell
.borrow_mut();
322 assert_eq
!(format
!("{:?}", refcell
), "RefCell { value: <borrowed> }");
324 assert_eq
!(format
!("{:?}", refcell
), "RefCell { value: 5 }");