clang/test/SemaCXX/overload-member-call.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify %s
   2
   3 struct X {
   4   int& f(int) const; // expected-note 2 {{candidate function}}
   5   float& f(int); // expected-note 2 {{candidate function}}
   6
   7   void test_f(int x) const {
   8     int& i = f(x);
   9   }
  10
  11   void test_f2(int x) {
  12     float& f2 = f(x);
  13   }
  14
  15   int& g(int) const; // expected-note 2 {{candidate function}}
  16   float& g(int); // expected-note 2 {{candidate function}}
  17   static double& g(double);
  18
  19   void h(int);
  20
  21   void test_member() {
  22     float& f1 = f(0);
  23     float& f2 = g(0);
  24     double& d1 = g(0.0);
  25   }
  26
  27   void test_member_const() const {
  28     int &i1 = f(0);
  29     int &i2 = g(0);
  30     double& d1 = g(0.0);
  31   }
  32
  33   static void test_member_static() {
  34     double& d1 = g(0.0);
  35     g(0); // expected-error{{call to 'g' is ambiguous}}
  36   }
  37 };
  38
  39 void test(X x, const X xc, X* xp, const X* xcp, volatile X xv, volatile X* xvp) {
  40   int& i1 = xc.f(0);
  41   int& i2 = xcp->f(0);
  42   float& f1 = x.f(0);
  43   float& f2 = xp->f(0);
  44   xv.f(0); // expected-error{{no matching member function for call to 'f'}}
  45   xvp->f(0); // expected-error{{no matching member function for call to 'f'}}
  46
  47   int& i3 = xc.g(0);
  48   int& i4 = xcp->g(0);
  49   float& f3 = x.g(0);
  50   float& f4 = xp->g(0);
  51   double& d1 = xp->g(0.0);
  52   double& d2 = X::g(0.0);
  53   X::g(0); // expected-error{{call to 'g' is ambiguous}}
  54
  55   X::h(0); // expected-error{{call to non-static member function without an object argument}}
  56 }
  57
  58 struct X1 {
  59   int& member();
  60   float& member() const;
  61 };
  62
  63 struct X2 : X1 { };
  64
  65 void test_X2(X2 *x2p, const X2 *cx2p) {
  66   int &ir = x2p->member();
  67   float &fr = cx2p->member();
  68 }
  69
  70 // Tests the exact text used to note the candidates
  71 namespace test1 {
  72   class A {
  73     template <class T>
  74     void foo(T t, unsigned N); // expected-note {{candidate function template not viable: no known conversion from 'const char[6]' to 'unsigned int' for 2nd argument}}
  75     void foo(int n, char N); // expected-note {{candidate function not viable: no known conversion from 'const char[6]' to 'char' for 2nd argument}}
  76     void foo(int n, const char *s, int t); // expected-note {{candidate function not viable: requires 3 arguments, but 2 were provided}}
  77     void foo(int n, const char *s, int t, ...); // expected-note {{candidate function not viable: requires at least 3 arguments, but 2 were provided}}
  78     void foo(int n, const char *s, int t, int u = 0); // expected-note {{candidate function not viable: requires at least 3 arguments, but 2 were provided}}
  79
  80     void bar(double d); //expected-note {{candidate function not viable: 'this' argument has type 'const A', but method is not marked const}}
  81     void bar(int i); //expected-note {{candidate function not viable: 'this' argument has type 'const A', but method is not marked const}}
  82
  83     void baz(A &d); // expected-note {{candidate function not viable: 1st argument ('const A') would lose const qualifier}}
  84     void baz(int i); // expected-note {{candidate function not viable: no known conversion from 'const A' to 'int' for 1st argument}}
  85
  86     void ref() &&;   // expected-note {{expects an rvalue for object argument}} expected-note {{requires 0 arguments, but 1 was provided}}
  87     void ref(int) &; // expected-note {{expects an lvalue for object argument}} expected-note {{requires 1 argument, but 0 were provided}}
  88
  89     // PR 11857
  90     void foo(int n); // expected-note {{candidate function not viable: requires single argument 'n', but 2 arguments were provided}}
  91     void foo(unsigned n = 10); // expected-note {{candidate function not viable: allows at most single argument 'n', but 2 arguments were provided}}
  92     void rab(double n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}}
  93     void rab(int n, int u = 0); // expected-note {{candidate function not viable: requires at least argument 'n', but no arguments were provided}}
  94     void zab(double n = 0.0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}}
  95     void zab(int n = 0, int u = 0); // expected-note {{candidate function not viable: requires at most 2 arguments, but 3 were provided}}
  96   };
  97
  98   void test() {
  99     A a;
 100     a.foo(4, "hello"); //expected-error {{no matching member function for call to 'foo'}}
 101
 102     const A b = A();
 103     b.bar(0); //expected-error {{no matching member function for call to 'bar'}}
 104
 105     a.baz(b); //expected-error {{no matching member function for call to 'baz'}}
 106
 107     a.rab(); //expected-error {{no matching member function for call to 'rab'}}
 108     a.zab(3, 4, 5); //expected-error {{no matching member function for call to 'zab'}}
 109
 110     a.ref();    // expected-error {{no matching member function for call to 'ref'}}
 111     A().ref(1); // expected-error {{no matching member function for call to 'ref'}}
 112   }
 113 }
 114
 115 namespace b7398190 {
 116   struct S {
 117     int f(); // expected-note {{'this' argument has type 'const S', but method is not marked const}}
 118     void f(int); // expected-note {{requires 1 argument, but 0 were provided}}
 119   };
 120   const S *p;
 121   int k = p->f(); // expected-error {{no matching member function for call to 'f'}}
 122 }
 123
 124 void member_call_op_template(int *p) {
 125   // Ensure that we don't get confused about relative parameter / argument
 126   // indexing here.
 127   [](int, int, auto...){}(p, p); // expected-error {{no matching function}} expected-note {{no known conversion}}
 128 }
 129