string_lit.go 3.36 KB
Newer Older
Russ Cox's avatar
Russ Cox committed
1
// run
2 3 4 5 6

// Copyright 2009 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

Rob Pike's avatar
Rob Pike committed
7 8
// Test string literal syntax.

9 10
package main

11 12
import "os"

Robert Griesemer's avatar
Robert Griesemer committed
13
var ecode int
14 15 16

func assert(a, b, c string) {
	if a != b {
Rob Pike's avatar
Rob Pike committed
17 18 19
		ecode = 1
		print("FAIL: ", c, ": ", a, "!=", b, "\n")
		var max int = len(a)
20
		if len(b) > max {
Robert Griesemer's avatar
Robert Griesemer committed
21
			max = len(b)
22 23
		}
		for i := 0; i < max; i++ {
Rob Pike's avatar
Rob Pike committed
24 25
			ac := 0
			bc := 0
26
			if i < len(a) {
Robert Griesemer's avatar
Robert Griesemer committed
27
				ac = int(a[i])
28 29
			}
			if i < len(b) {
Robert Griesemer's avatar
Robert Griesemer committed
30
				bc = int(b[i])
31 32
			}
			if ac != bc {
Robert Griesemer's avatar
Robert Griesemer committed
33
				print("\ta[", i, "] = ", ac, "; b[", i, "] =", bc, "\n")
34 35
			}
		}
36
		panic("string_lit")
37 38 39
	}
}

40
const (
41 42
	gx1    = "aä本☺"
	gx2    = "aä\xFF\xFF本☺"
43 44 45 46
	gx2fix = "aä\uFFFD\uFFFD本☺"
)

var (
47 48
	gr1 = []rune(gx1)
	gr2 = []rune(gx2)
49 50 51 52
	gb1 = []byte(gx1)
	gb2 = []byte(gx2)
)

Rob Pike's avatar
Rob Pike committed
53
func main() {
Rob Pike's avatar
Rob Pike committed
54
	ecode = 0
55
	s :=
Robert Griesemer's avatar
Robert Griesemer committed
56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
		"" +
			" " +
			"'`" +
			"a" +
			"ä" +
			"本" +
			"\a\b\f\n\r\t\v\\\"" +
			"\000\123\x00\xca\xFE\u0123\ubabe\U0000babe" +

			`` +
			` ` +
			`'"` +
			`a` +
			`ä` +
			`本` +
			`\a\b\f\n\r\t\v\\\'` +
			`\000\123\x00\xca\xFE\u0123\ubabe\U0000babe` +
Rob Pike's avatar
Rob Pike committed
73
			`\x\u\U\`
Russ Cox's avatar
Russ Cox committed
74

Rob Pike's avatar
Rob Pike committed
75 76 77 78 79 80 81 82
	assert("", ``, "empty")
	assert(" ", " ", "blank")
	assert("\x61", "a", "lowercase a")
	assert("\x61", `a`, "lowercase a (backquote)")
	assert("\u00e4", "ä", "a umlaut")
	assert("\u00e4", `ä`, "a umlaut (backquote)")
	assert("\u672c", "本", "nihon")
	assert("\u672c", `本`, "nihon (backquote)")
83
	assert("\x07\x08\x0c\x0a\x0d\x09\x0b\x5c\x22",
Robert Griesemer's avatar
Robert Griesemer committed
84
		"\a\b\f\n\r\t\v\\\"",
Rob Pike's avatar
Rob Pike committed
85
		"backslashes")
86
	assert("\\a\\b\\f\\n\\r\\t\\v\\\\\\\"",
Rob Pike's avatar
Rob Pike committed
87
		`\a\b\f\n\r\t\v\\\"`,
Rob Pike's avatar
Rob Pike committed
88
		"backslashes (backquote)")
89
	assert("\x00\x53\000\xca\376S몾몾",
Rob Pike's avatar
Rob Pike committed
90
		"\000\123\x00\312\xFE\u0053\ubabe\U0000babe",
Rob Pike's avatar
Rob Pike committed
91
		"backslashes 2")
92
	assert("\\000\\123\\x00\\312\\xFE\\u0123\\ubabe\\U0000babe",
Rob Pike's avatar
Rob Pike committed
93
		`\000\123\x00\312\xFE\u0123\ubabe\U0000babe`,
Rob Pike's avatar
Rob Pike committed
94 95
		"backslashes 2 (backquote)")
	assert("\\x\\u\\U\\", `\x\u\U\`, "backslash 3 (backquote)")
Rob Pike's avatar
Rob Pike committed
96

97
	// test large and surrogate-half runes. perhaps not the most logical place for these tests.
Rob Pike's avatar
Rob Pike committed
98
	var r int32
99
	r = 0x10ffff // largest rune value
Rob Pike's avatar
Rob Pike committed
100 101 102 103 104
	s = string(r)
	assert(s, "\xf4\x8f\xbf\xbf", "largest rune")
	r = 0x10ffff + 1
	s = string(r)
	assert(s, "\xef\xbf\xbd", "too-large rune")
105 106 107 108 109 110 111 112 113
	r = 0xD800
	s = string(r)
	assert(s, "\xef\xbf\xbd", "surrogate rune min")
	r = 0xDFFF
	s = string(r)
	assert(s, "\xef\xbf\xbd", "surrogate rune max")
	r = -1
	s = string(r)
	assert(s, "\xef\xbf\xbd", "negative rune")
114

115 116 117 118 119 120 121 122 123 124 125 126
	// the large rune tests again, this time using constants instead of a variable.
	// these conversions will be done at compile time.
	s = string(0x10ffff) // largest rune value
	assert(s, "\xf4\x8f\xbf\xbf", "largest rune constant")
	s = string(0x10ffff + 1)
	assert(s, "\xef\xbf\xbd", "too-large rune constant")
	s = string(0xD800)
	assert(s, "\xef\xbf\xbd", "surrogate rune min constant")
	s = string(0xDFFF)
	assert(s, "\xef\xbf\xbd", "surrogate rune max constant")
	s = string(-1)
	assert(s, "\xef\xbf\xbd", "negative rune")
127

128 129
	assert(string(gr1), gx1, "global ->[]rune")
	assert(string(gr2), gx2fix, "global invalid ->[]rune")
130 131 132 133
	assert(string(gb1), gx1, "->[]byte")
	assert(string(gb2), gx2, "global invalid ->[]byte")

	var (
134 135
		r1 = []rune(gx1)
		r2 = []rune(gx2)
136 137 138
		b1 = []byte(gx1)
		b2 = []byte(gx2)
	)
139 140
	assert(string(r1), gx1, "->[]rune")
	assert(string(r2), gx2fix, "invalid ->[]rune")
141 142 143
	assert(string(b1), gx1, "->[]byte")
	assert(string(b2), gx2, "invalid ->[]byte")

Rob Pike's avatar
Rob Pike committed
144
	os.Exit(ecode)
145
}