github.com/sanprasirt/go@v0.0.0-20170607001320-a027466e4b6d/src/cmd/vet/testdata/print.go (about)

     1  // Copyright 2010 The Go Authors. All rights reserved.
     2  // Use of this source code is governed by a BSD-style
     3  // license that can be found in the LICENSE file.
     4  
     5  // This file contains tests for the printf checker.
     6  
     7  package testdata
     8  
     9  import (
    10  	"fmt"
    11  	"io"
    12  	"math"
    13  	"os"
    14  	"unsafe" // just for test case printing unsafe.Pointer
    15  
    16  	// For testing printf-like functions from external package.
    17  	"github.com/foobar/externalprintf"
    18  )
    19  
    20  func UnsafePointerPrintfTest() {
    21  	var up unsafe.Pointer
    22  	fmt.Printf("%p, %x %X", up, up, up)
    23  }
    24  
    25  // Error methods that do not satisfy the Error interface and should be checked.
    26  type errorTest1 int
    27  
    28  func (errorTest1) Error(...interface{}) string {
    29  	return "hi"
    30  }
    31  
    32  type errorTest2 int // Analogous to testing's *T type.
    33  func (errorTest2) Error(...interface{}) {
    34  }
    35  
    36  type errorTest3 int
    37  
    38  func (errorTest3) Error() { // No return value.
    39  }
    40  
    41  type errorTest4 int
    42  
    43  func (errorTest4) Error() int { // Different return type.
    44  	return 3
    45  }
    46  
    47  type errorTest5 int
    48  
    49  func (errorTest5) error() { // niladic; don't complain if no args (was bug)
    50  }
    51  
    52  // This function never executes, but it serves as a simple test for the program.
    53  // Test with make test.
    54  func PrintfTests() {
    55  	var b bool
    56  	var i int
    57  	var r rune
    58  	var s string
    59  	var x float64
    60  	var p *int
    61  	var imap map[int]int
    62  	var fslice []float64
    63  	var c complex64
    64  	// Some good format/argtypes
    65  	fmt.Printf("")
    66  	fmt.Printf("%b %b %b", 3, i, x)
    67  	fmt.Printf("%c %c %c %c", 3, i, 'x', r)
    68  	fmt.Printf("%d %d %d", 3, i, imap)
    69  	fmt.Printf("%e %e %e %e", 3e9, x, fslice, c)
    70  	fmt.Printf("%E %E %E %E", 3e9, x, fslice, c)
    71  	fmt.Printf("%f %f %f %f", 3e9, x, fslice, c)
    72  	fmt.Printf("%F %F %F %F", 3e9, x, fslice, c)
    73  	fmt.Printf("%g %g %g %g", 3e9, x, fslice, c)
    74  	fmt.Printf("%G %G %G %G", 3e9, x, fslice, c)
    75  	fmt.Printf("%b %b %b %b", 3e9, x, fslice, c)
    76  	fmt.Printf("%o %o", 3, i)
    77  	fmt.Printf("%p %p", p, nil)
    78  	fmt.Printf("%q %q %q %q", 3, i, 'x', r)
    79  	fmt.Printf("%s %s %s", "hi", s, []byte{65})
    80  	fmt.Printf("%t %t", true, b)
    81  	fmt.Printf("%T %T", 3, i)
    82  	fmt.Printf("%U %U", 3, i)
    83  	fmt.Printf("%v %v", 3, i)
    84  	fmt.Printf("%x %x %x %x", 3, i, "hi", s)
    85  	fmt.Printf("%X %X %X %X", 3, i, "hi", s)
    86  	fmt.Printf("%.*s %d %g", 3, "hi", 23, 2.3)
    87  	fmt.Printf("%s", &stringerv)
    88  	fmt.Printf("%v", &stringerv)
    89  	fmt.Printf("%T", &stringerv)
    90  	fmt.Printf("%s", &embeddedStringerv)
    91  	fmt.Printf("%v", &embeddedStringerv)
    92  	fmt.Printf("%T", &embeddedStringerv)
    93  	fmt.Printf("%v", notstringerv)
    94  	fmt.Printf("%T", notstringerv)
    95  	fmt.Printf("%q", stringerarrayv)
    96  	fmt.Printf("%v", stringerarrayv)
    97  	fmt.Printf("%s", stringerarrayv)
    98  	fmt.Printf("%v", notstringerarrayv)
    99  	fmt.Printf("%T", notstringerarrayv)
   100  	fmt.Printf("%d", new(Formatter))
   101  	fmt.Printf("%*%", 2)               // Ridiculous but allowed.
   102  	fmt.Printf("%s", interface{}(nil)) // Nothing useful we can say.
   103  
   104  	fmt.Printf("%g", 1+2i)
   105  	// Some bad format/argTypes
   106  	fmt.Printf("%b", "hi")                     // ERROR "arg .hi. for printf verb %b of wrong type"
   107  	fmt.Printf("%t", c)                        // ERROR "arg c for printf verb %t of wrong type"
   108  	fmt.Printf("%t", 1+2i)                     // ERROR "arg 1 \+ 2i for printf verb %t of wrong type"
   109  	fmt.Printf("%c", 2.3)                      // ERROR "arg 2.3 for printf verb %c of wrong type"
   110  	fmt.Printf("%d", 2.3)                      // ERROR "arg 2.3 for printf verb %d of wrong type"
   111  	fmt.Printf("%e", "hi")                     // ERROR "arg .hi. for printf verb %e of wrong type"
   112  	fmt.Printf("%E", true)                     // ERROR "arg true for printf verb %E of wrong type"
   113  	fmt.Printf("%f", "hi")                     // ERROR "arg .hi. for printf verb %f of wrong type"
   114  	fmt.Printf("%F", 'x')                      // ERROR "arg 'x' for printf verb %F of wrong type"
   115  	fmt.Printf("%g", "hi")                     // ERROR "arg .hi. for printf verb %g of wrong type"
   116  	fmt.Printf("%g", imap)                     // ERROR "arg imap for printf verb %g of wrong type"
   117  	fmt.Printf("%G", i)                        // ERROR "arg i for printf verb %G of wrong type"
   118  	fmt.Printf("%o", x)                        // ERROR "arg x for printf verb %o of wrong type"
   119  	fmt.Printf("%p", 23)                       // ERROR "arg 23 for printf verb %p of wrong type"
   120  	fmt.Printf("%q", x)                        // ERROR "arg x for printf verb %q of wrong type"
   121  	fmt.Printf("%s", b)                        // ERROR "arg b for printf verb %s of wrong type"
   122  	fmt.Printf("%s", byte(65))                 // ERROR "arg byte\(65\) for printf verb %s of wrong type"
   123  	fmt.Printf("%t", 23)                       // ERROR "arg 23 for printf verb %t of wrong type"
   124  	fmt.Printf("%U", x)                        // ERROR "arg x for printf verb %U of wrong type"
   125  	fmt.Printf("%x", nil)                      // ERROR "arg nil for printf verb %x of wrong type"
   126  	fmt.Printf("%X", 2.3)                      // ERROR "arg 2.3 for printf verb %X of wrong type"
   127  	fmt.Printf("%s", stringerv)                // ERROR "arg stringerv for printf verb %s of wrong type"
   128  	fmt.Printf("%t", stringerv)                // ERROR "arg stringerv for printf verb %t of wrong type"
   129  	fmt.Printf("%s", embeddedStringerv)        // ERROR "arg embeddedStringerv for printf verb %s of wrong type"
   130  	fmt.Printf("%t", embeddedStringerv)        // ERROR "arg embeddedStringerv for printf verb %t of wrong type"
   131  	fmt.Printf("%q", notstringerv)             // ERROR "arg notstringerv for printf verb %q of wrong type"
   132  	fmt.Printf("%t", notstringerv)             // ERROR "arg notstringerv for printf verb %t of wrong type"
   133  	fmt.Printf("%t", stringerarrayv)           // ERROR "arg stringerarrayv for printf verb %t of wrong type"
   134  	fmt.Printf("%t", notstringerarrayv)        // ERROR "arg notstringerarrayv for printf verb %t of wrong type"
   135  	fmt.Printf("%q", notstringerarrayv)        // ERROR "arg notstringerarrayv for printf verb %q of wrong type"
   136  	fmt.Printf("%d", Formatter(true))          // ERROR "arg Formatter\(true\) for printf verb %d of wrong type: testdata.Formatter"
   137  	fmt.Printf("%z", FormatterVal(true))       // correct (the type is responsible for formatting)
   138  	fmt.Printf("%d", FormatterVal(true))       // correct (the type is responsible for formatting)
   139  	fmt.Printf("%s", nonemptyinterface)        // correct (the type is responsible for formatting)
   140  	fmt.Printf("%.*s %d %g", 3, "hi", 23, 'x') // ERROR "arg 'x' for printf verb %g of wrong type"
   141  	fmt.Println()                              // not an error
   142  	fmt.Println("%s", "hi")                    // ERROR "possible formatting directive in Println call"
   143  	fmt.Println("0.0%")                        // correct (trailing % couldn't be a formatting directive)
   144  	fmt.Printf("%s", "hi", 3)                  // ERROR "wrong number of args for format in Printf call"
   145  	_ = fmt.Sprintf("%"+("s"), "hi", 3)        // ERROR "wrong number of args for format in Sprintf call"
   146  	fmt.Printf("%s%%%d", "hi", 3)              // correct
   147  	fmt.Printf("%08s", "woo")                  // correct
   148  	fmt.Printf("% 8s", "woo")                  // correct
   149  	fmt.Printf("%.*d", 3, 3)                   // correct
   150  	fmt.Printf("%.*d", 3, 3, 3, 3)             // ERROR "wrong number of args for format in Printf call.*4 args"
   151  	fmt.Printf("%.*d", "hi", 3)                // ERROR "arg .hi. for \* in printf format not of type int"
   152  	fmt.Printf("%.*d", i, 3)                   // correct
   153  	fmt.Printf("%.*d", s, 3)                   // ERROR "arg s for \* in printf format not of type int"
   154  	fmt.Printf("%*%", 0.22)                    // ERROR "arg 0.22 for \* in printf format not of type int"
   155  	fmt.Printf("%q %q", multi()...)            // ok
   156  	fmt.Printf("%#q", `blah`)                  // ok
   157  	printf("now is the time", "buddy")         // ERROR "no formatting directive"
   158  	Printf("now is the time", "buddy")         // ERROR "no formatting directive"
   159  	Printf("hi")                               // ok
   160  	const format = "%s %s\n"
   161  	Printf(format, "hi", "there")
   162  	Printf(format, "hi")              // ERROR "missing argument for Printf..%s..: format reads arg 2, have only 1"
   163  	Printf("%s %d %.3v %q", "str", 4) // ERROR "missing argument for Printf..%.3v..: format reads arg 3, have only 2"
   164  	f := new(stringer)
   165  	f.Warn(0, "%s", "hello", 3)  // ERROR "possible formatting directive in Warn call"
   166  	f.Warnf(0, "%s", "hello", 3) // ERROR "wrong number of args for format in Warnf call"
   167  	f.Warnf(0, "%r", "hello")    // ERROR "unrecognized printf verb"
   168  	f.Warnf(0, "%#s", "hello")   // ERROR "unrecognized printf flag"
   169  	Printf("d%", 2)              // ERROR "missing verb at end of format string in Printf call"
   170  	Printf("%d", percentDV)
   171  	Printf("%d", &percentDV)
   172  	Printf("%d", notPercentDV)  // ERROR "arg notPercentDV for printf verb %d of wrong type"
   173  	Printf("%d", &notPercentDV) // ERROR "arg &notPercentDV for printf verb %d of wrong type"
   174  	Printf("%p", &notPercentDV) // Works regardless: we print it as a pointer.
   175  	Printf("%s", percentSV)
   176  	Printf("%s", &percentSV)
   177  	// Good argument reorderings.
   178  	Printf("%[1]d", 3)
   179  	Printf("%[1]*d", 3, 1)
   180  	Printf("%[2]*[1]d", 1, 3)
   181  	Printf("%[2]*.[1]*[3]d", 2, 3, 4)
   182  	fmt.Fprintf(os.Stderr, "%[2]*.[1]*[3]d", 2, 3, 4) // Use Fprintf to make sure we count arguments correctly.
   183  	// Bad argument reorderings.
   184  	Printf("%[xd", 3)                    // ERROR "bad syntax for printf argument index: \[xd\]"
   185  	Printf("%[x]d", 3)                   // ERROR "bad syntax for printf argument index: \[x\]"
   186  	Printf("%[3]*s", "hi", 2)            // ERROR "missing argument for Printf.* reads arg 3, have only 2"
   187  	_ = fmt.Sprintf("%[3]d", 2)          // ERROR "missing argument for Sprintf.* reads arg 3, have only 1"
   188  	Printf("%[2]*.[1]*[3]d", 2, "hi", 4) // ERROR "arg .hi. for \* in printf format not of type int"
   189  	Printf("%[0]s", "arg1")              // ERROR "index value \[0\] for Printf.*; indexes start at 1"
   190  	Printf("%[0]d", 1)                   // ERROR "index value \[0\] for Printf.*; indexes start at 1"
   191  	// Something that satisfies the error interface.
   192  	var e error
   193  	fmt.Println(e.Error()) // ok
   194  	// Something that looks like an error interface but isn't, such as the (*T).Error method
   195  	// in the testing package.
   196  	var et1 errorTest1
   197  	fmt.Println(et1.Error())        // ok
   198  	fmt.Println(et1.Error("hi"))    // ok
   199  	fmt.Println(et1.Error("%d", 3)) // ERROR "possible formatting directive in Error call"
   200  	var et2 errorTest2
   201  	et2.Error()        // ok
   202  	et2.Error("hi")    // ok, not an error method.
   203  	et2.Error("%d", 3) // ERROR "possible formatting directive in Error call"
   204  	var et3 errorTest3
   205  	et3.Error() // ok, not an error method.
   206  	var et4 errorTest4
   207  	et4.Error() // ok, not an error method.
   208  	var et5 errorTest5
   209  	et5.error() // ok, not an error method.
   210  	// Interfaces can be used with any verb.
   211  	var iface interface {
   212  		ToTheMadness() bool // Method ToTheMadness usually returns false
   213  	}
   214  	fmt.Printf("%f", iface) // ok: fmt treats interfaces as transparent and iface may well have a float concrete type
   215  	// Can't print a function.
   216  	Printf("%d", someFunction) // ERROR "arg someFunction in printf call is a function value, not a function call"
   217  	Printf("%v", someFunction) // ERROR "arg someFunction in printf call is a function value, not a function call"
   218  	Println(someFunction)      // ERROR "arg someFunction in Println call is a function value, not a function call"
   219  	Printf("%p", someFunction) // ok: maybe someone wants to see the pointer
   220  	Printf("%T", someFunction) // ok: maybe someone wants to see the type
   221  	// Bug: used to recur forever.
   222  	Printf("%p %x", recursiveStructV, recursiveStructV.next)
   223  	Printf("%p %x", recursiveStruct1V, recursiveStruct1V.next)
   224  	Printf("%p %x", recursiveSliceV, recursiveSliceV)
   225  	Printf("%p %x", recursiveMapV, recursiveMapV)
   226  	// Special handling for Log.
   227  	math.Log(3)  // OK
   228  	Log(3)       // OK
   229  	Log("%d", 3) // ERROR "possible formatting directive in Log call"
   230  	Logf("%d", 3)
   231  	Logf("%d", "hi") // ERROR "arg .hi. for printf verb %d of wrong type: string"
   232  
   233  	Errorf(1, "%d", 3)    // OK
   234  	Errorf(1, "%d", "hi") // ERROR "arg .hi. for printf verb %d of wrong type: string"
   235  
   236  	// Multiple string arguments before variadic args
   237  	errorf("WARNING", "foobar")            // OK
   238  	errorf("INFO", "s=%s, n=%d", "foo", 1) // OK
   239  	errorf("ERROR", "%d")                  // ERROR "format reads arg 1, have only 0 args"
   240  
   241  	// Printf from external package
   242  	externalprintf.Printf("%d", 42) // OK
   243  	externalprintf.Printf("foobar") // OK
   244  	level := 123
   245  	externalprintf.Logf(level, "%d", 42)                        // OK
   246  	externalprintf.Errorf(level, level, "foo %q bar", "foobar") // OK
   247  	externalprintf.Logf(level, "%d")                            // ERROR "format reads arg 1, have only 0 args"
   248  	var formatStr = "%s %s"
   249  	externalprintf.Sprintf(formatStr, "a", "b")     // OK
   250  	externalprintf.Logf(level, formatStr, "a", "b") // OK
   251  
   252  	// user-defined Println-like functions
   253  	ss := &someStruct{}
   254  	ss.Log(someFunction, "foo")          // OK
   255  	ss.Error(someFunction, someFunction) // OK
   256  	ss.Println()                         // OK
   257  	ss.Println(1.234, "foo")             // OK
   258  	ss.Println(1, someFunction)          // ERROR "arg someFunction in Println call is a function value, not a function call"
   259  	ss.log(someFunction)                 // OK
   260  	ss.log(someFunction, "bar", 1.33)    // OK
   261  	ss.log(someFunction, someFunction)   // ERROR "arg someFunction in log call is a function value, not a function call"
   262  
   263  	// indexed arguments
   264  	Printf("%d %[3]d %d %[2]d", 1, 2, 3, 4)             // OK
   265  	Printf("%d %[0]d %d %[2]d", 1, 2, 3, 4)             // ERROR "indexes start at 1"
   266  	Printf("%d %[3]d %d %[-2]d", 1, 2, 3, 4)            // ERROR "bad syntax for printf argument index: \[-2\]"
   267  	Printf("%d %[3]d %d %[2234234234234]d", 1, 2, 3, 4) // ERROR "bad syntax for printf argument index: .+ value out of range"
   268  	Printf("%d %[3]d %d %[2]d", 1, 2, 3)                // ERROR "format reads arg 4, have only 3 args"
   269  	Printf("%d %[3]d %d %[2]d", 1, 2, 3, 4, 5)          // ERROR "wrong number of args for format in Printf call: 4 needed but 5 args"
   270  	Printf("%[1][3]d", 1, 2)                            // ERROR "unrecognized printf verb '\['"
   271  }
   272  
   273  type someStruct struct{}
   274  
   275  // Log is non-variadic user-define Println-like function.
   276  // Calls to this func must be skipped when checking
   277  // for Println-like arguments.
   278  func (ss *someStruct) Log(f func(), s string) {}
   279  
   280  // Error is variadic user-define Println-like function.
   281  // Calls to this func mustn't be checked for Println-like arguments,
   282  // since variadic arguments type isn't interface{}.
   283  func (ss *someStruct) Error(args ...func()) {}
   284  
   285  // Println is variadic user-defined Println-like function.
   286  // Calls to this func must be checked for Println-like arguments.
   287  func (ss *someStruct) Println(args ...interface{}) {}
   288  
   289  // log is variadic user-defined Println-like function.
   290  // Calls to this func must be checked for Println-like arguments.
   291  func (ss *someStruct) log(f func(), args ...interface{}) {}
   292  
   293  // A function we use as a function value; it has no other purpose.
   294  func someFunction() {}
   295  
   296  // Printf is used by the test so we must declare it.
   297  func Printf(format string, args ...interface{}) {
   298  	panic("don't call - testing only")
   299  }
   300  
   301  // Println is used by the test so we must declare it.
   302  func Println(args ...interface{}) {
   303  	panic("don't call - testing only")
   304  }
   305  
   306  // Logf is used by the test so we must declare it.
   307  func Logf(format string, args ...interface{}) {
   308  	panic("don't call - testing only")
   309  }
   310  
   311  // Log is used by the test so we must declare it.
   312  func Log(args ...interface{}) {
   313  	panic("don't call - testing only")
   314  }
   315  
   316  // printf is used by the test so we must declare it.
   317  func printf(format string, args ...interface{}) {
   318  	panic("don't call - testing only")
   319  }
   320  
   321  // Errorf is used by the test for a case in which the first parameter
   322  // is not a format string.
   323  func Errorf(i int, format string, args ...interface{}) {
   324  	panic("don't call - testing only")
   325  }
   326  
   327  // errorf is used by the test for a case in which the function accepts multiple
   328  // string parameters before variadic arguments
   329  func errorf(level, format string, args ...interface{}) {
   330  	panic("don't call - testing only")
   331  }
   332  
   333  // multi is used by the test.
   334  func multi() []interface{} {
   335  	panic("don't call - testing only")
   336  }
   337  
   338  type stringer float64
   339  
   340  var stringerv stringer
   341  
   342  func (*stringer) String() string {
   343  	return "string"
   344  }
   345  
   346  func (*stringer) Warn(int, ...interface{}) string {
   347  	return "warn"
   348  }
   349  
   350  func (*stringer) Warnf(int, string, ...interface{}) string {
   351  	return "warnf"
   352  }
   353  
   354  type embeddedStringer struct {
   355  	foo string
   356  	stringer
   357  	bar int
   358  }
   359  
   360  var embeddedStringerv embeddedStringer
   361  
   362  type notstringer struct {
   363  	f float64
   364  }
   365  
   366  var notstringerv notstringer
   367  
   368  type stringerarray [4]float64
   369  
   370  func (stringerarray) String() string {
   371  	return "string"
   372  }
   373  
   374  var stringerarrayv stringerarray
   375  
   376  type notstringerarray [4]float64
   377  
   378  var notstringerarrayv notstringerarray
   379  
   380  var nonemptyinterface = interface {
   381  	f()
   382  }(nil)
   383  
   384  // A data type we can print with "%d".
   385  type percentDStruct struct {
   386  	a int
   387  	b []byte
   388  	c *float64
   389  }
   390  
   391  var percentDV percentDStruct
   392  
   393  // A data type we cannot print correctly with "%d".
   394  type notPercentDStruct struct {
   395  	a int
   396  	b []byte
   397  	c bool
   398  }
   399  
   400  var notPercentDV notPercentDStruct
   401  
   402  // A data type we can print with "%s".
   403  type percentSStruct struct {
   404  	a string
   405  	b []byte
   406  	c stringerarray
   407  }
   408  
   409  var percentSV percentSStruct
   410  
   411  type recursiveStringer int
   412  
   413  func (s recursiveStringer) String() string {
   414  	_ = fmt.Sprintf("%d", s)
   415  	_ = fmt.Sprintf("%#v", s)
   416  	_ = fmt.Sprintf("%v", s)  // ERROR "arg s for printf causes recursive call to String method"
   417  	_ = fmt.Sprintf("%v", &s) // ERROR "arg &s for printf causes recursive call to String method"
   418  	_ = fmt.Sprintf("%T", s)  // ok; does not recursively call String
   419  	return fmt.Sprintln(s)    // ERROR "arg s in Sprintln call causes recursive call to String method"
   420  }
   421  
   422  type recursivePtrStringer int
   423  
   424  func (p *recursivePtrStringer) String() string {
   425  	_ = fmt.Sprintf("%v", *p)
   426  	return fmt.Sprintln(p) // ERROR "arg p in Sprintln call causes recursive call to String method"
   427  }
   428  
   429  type Formatter bool
   430  
   431  func (*Formatter) Format(fmt.State, rune) {
   432  }
   433  
   434  // Formatter with value receiver
   435  type FormatterVal bool
   436  
   437  func (FormatterVal) Format(fmt.State, rune) {
   438  }
   439  
   440  type RecursiveSlice []RecursiveSlice
   441  
   442  var recursiveSliceV = &RecursiveSlice{}
   443  
   444  type RecursiveMap map[int]RecursiveMap
   445  
   446  var recursiveMapV = make(RecursiveMap)
   447  
   448  type RecursiveStruct struct {
   449  	next *RecursiveStruct
   450  }
   451  
   452  var recursiveStructV = &RecursiveStruct{}
   453  
   454  type RecursiveStruct1 struct {
   455  	next *Recursive2Struct
   456  }
   457  
   458  type RecursiveStruct2 struct {
   459  	next *Recursive1Struct
   460  }
   461  
   462  var recursiveStruct1V = &RecursiveStruct1{}
   463  
   464  // Fix for issue 7149: Missing return type on String method caused fault.
   465  func (int) String() {
   466  	return ""
   467  }
   468  
   469  func (s *unknownStruct) Fprintln(w io.Writer, s string) {}
   470  
   471  func UnknownStructFprintln() {
   472  	s := unknownStruct{}
   473  	s.Fprintln(os.Stdout, "hello, world!") // OK
   474  }