test/SemaCXX/default2.cpp

   1 // RUN: clang-cc -fsyntax-only -verify %s
   2
   3 void f(int i, int j, int k = 3);
   4 void f(int i, int j, int k);
   5 void f(int i, int j = 2, int k);
   6 void f(int i, int j, int k);
   7 void f(int i = 1, int j, int k);
   8 void f(int i, int j, int k);
   9
  10 void i()
  11 {
  12   f();
  13   f(0);
  14   f(0, 1);
  15   f(0, 1, 2);
  16 }
  17
  18
  19 int f1(int i, int i, int j) { // expected-error {{redefinition of parameter 'i'}}
  20   i = 17;
  21   return j;
  22 }
  23
  24 int x;
  25 void g(int x, int y = x); // expected-error {{default argument references parameter 'x'}}
  26
  27 void g2(int x, int y, int z = x + y); // expected-error {{default argument references parameter 'x'}} expected-error {{default argument references parameter 'y'}}
  28
  29 class X {
  30   void f(X* x = this); // expected-error{{invalid use of 'this' outside of a nonstatic member function}}
  31
  32   void g() {
  33     int f(X* x = this); // expected-error{{default argument references 'this'}}
  34   }
  35 };
  36
  37 // C++ [dcl.fct.default]p6
  38 class C {
  39   static int x;
  40   void f(int i = 3); // expected-note{{previous definition is here}}
  41   void g(int i, int j = x);
  42
  43   void h();
  44 };
  45 void C::f(int i = 3) // expected-error{{redefinition of default argument}}
  46 { }
  47
  48 void C::g(int i = 88, int j) {}
  49
  50 void C::h() {
  51   g(); // okay
  52 }
  53
  54 // C++ [dcl.fct.default]p9
  55 struct Y {
  56   int a;
  57   int mem1(int i = a); // expected-error{{invalid use of nonstatic data member 'a'}}
  58   int mem2(int i = b); // OK; use Y::b
  59   int mem3(int i);
  60   int mem4(int i);
  61
  62   struct Nested {
  63     int mem5(int i = b, // OK; use Y::b
  64              int j = c, // OK; use Y::Nested::c
  65              int k = j, // expected-error{{default argument references parameter 'j'}}
  66              int l = a,  // expected-error{{invalid use of nonstatic data member 'a'}}
  67              Nested* self = this, // expected-error{{invalid use of 'this' outside of a nonstatic member function}}
  68              int m); // expected-error{{missing default argument on parameter 'm'}}
  69     static int c;
  70   };
  71
  72   static int b;
  73 };
  74
  75 int Y::mem3(int i = b) { return i; } // OK; use X::b
  76
  77 int Y::mem4(int i = a) // expected-error{{invalid use of nonstatic data member 'a'}}
  78 { return i; }
  79
  80
  81 // Try to verify that default arguments interact properly with copy
  82 // constructors.
  83 class Z {
  84 public:
  85   Z(Z&, int i = 17); // expected-note 2 {{candidate function}}
  86
  87   void f(Z& z) {
  88     Z z2;    // expected-error{{no matching constructor for initialization}}
  89     Z z3(z);
  90   }
  91
  92   void test_Z(const Z& z) {
  93     Z z2(z); // expected-error{{no matching constructor for initialization of 'z2'}}
  94   }
  95 };
  96
  97 void test_Z(const Z& z) {
  98   Z z2(z); // expected-error{{no matching constructor for initialization of 'z2'}}
  99 }
 100
 101 struct ZZ {
 102   static ZZ g(int = 17);
 103
 104   void f(ZZ z = g()); // expected-error{{no matching constructor for initialization}}
 105
 106   ZZ(ZZ&, int = 17); // expected-note{{candidate function}}
 107 };
 108
 109 // http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_active.html#325
 110 class C2 {
 111   static void g(int = f()); // expected-error{{use of default argument to function 'f' that is declared later in class 'C2'}}
 112   static int f(int = 10); // expected-note{{default argument declared here}}
 113 };
 114
 115 // Make sure we actually parse the default argument for an inline definition
 116 class XX {
 117   void A(int length = -1 ) {  }
 118   void B() { A(); }
 119 };