xref: /aosp_15_r20/external/clang/test/SemaTemplate/instantiate-cast.cpp (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify %s
2*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify -std=c++98 %s
3*67e74705SXin Li // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
4*67e74705SXin Li 
5*67e74705SXin Li struct A { int x; };
6*67e74705SXin Li // expected-note@-1 {{candidate constructor (the implicit copy constructor) not viable: no known conversion from 'int' to 'const A' for 1st argument}}
7*67e74705SXin Li #if __cplusplus >= 201103L
8*67e74705SXin Li // expected-note@-3 {{candidate constructor (the implicit move constructor) not viable: no known conversion from 'int' to 'A' for 1st argument}}
9*67e74705SXin Li #endif
10*67e74705SXin Li // expected-note@-5 {{candidate constructor (the implicit default constructor) not viable: requires 0 arguments, but 1 was provided}}
11*67e74705SXin Li 
12*67e74705SXin Li class Base {
13*67e74705SXin Li public:
14*67e74705SXin Li   virtual void f();
15*67e74705SXin Li };
16*67e74705SXin Li 
17*67e74705SXin Li class Derived : public Base { };
18*67e74705SXin Li 
19*67e74705SXin Li struct ConvertibleToInt {
20*67e74705SXin Li   operator int() const;
21*67e74705SXin Li };
22*67e74705SXin Li 
23*67e74705SXin Li struct Constructible {
24*67e74705SXin Li   Constructible(int, float);
25*67e74705SXin Li };
26*67e74705SXin Li 
27*67e74705SXin Li // ---------------------------------------------------------------------
28*67e74705SXin Li // C-style casts
29*67e74705SXin Li // ---------------------------------------------------------------------
30*67e74705SXin Li template<typename T, typename U>
31*67e74705SXin Li struct CStyleCast0 {
fCStyleCast032*67e74705SXin Li   void f(T t) {
33*67e74705SXin Li     (void)((U)t); // expected-error{{cannot convert 'A' to 'int' without a conversion operator}}
34*67e74705SXin Li   }
35*67e74705SXin Li };
36*67e74705SXin Li 
37*67e74705SXin Li template struct CStyleCast0<int, float>;
38*67e74705SXin Li template struct CStyleCast0<A, int>; // expected-note{{instantiation}}
39*67e74705SXin Li 
40*67e74705SXin Li // ---------------------------------------------------------------------
41*67e74705SXin Li // static_cast
42*67e74705SXin Li // ---------------------------------------------------------------------
43*67e74705SXin Li template<typename T, typename U>
44*67e74705SXin Li struct StaticCast0 {
fStaticCast045*67e74705SXin Li   void f(T t) {
46*67e74705SXin Li     (void)static_cast<U>(t); // expected-error{{no matching conversion for static_cast from 'int' to 'A'}}
47*67e74705SXin Li   }
48*67e74705SXin Li };
49*67e74705SXin Li 
50*67e74705SXin Li template struct StaticCast0<ConvertibleToInt, bool>;
51*67e74705SXin Li template struct StaticCast0<int, float>;
52*67e74705SXin Li template struct StaticCast0<int, A>; // expected-note{{instantiation}}
53*67e74705SXin Li 
54*67e74705SXin Li // ---------------------------------------------------------------------
55*67e74705SXin Li // dynamic_cast
56*67e74705SXin Li // ---------------------------------------------------------------------
57*67e74705SXin Li template<typename T, typename U>
58*67e74705SXin Li struct DynamicCast0 {
fDynamicCast059*67e74705SXin Li   void f(T t) {
60*67e74705SXin Li     (void)dynamic_cast<U>(t); // expected-error{{not a reference or pointer}}
61*67e74705SXin Li   }
62*67e74705SXin Li };
63*67e74705SXin Li 
64*67e74705SXin Li template struct DynamicCast0<Base*, Derived*>;
65*67e74705SXin Li template struct DynamicCast0<Base*, A>; // expected-note{{instantiation}}
66*67e74705SXin Li 
67*67e74705SXin Li // ---------------------------------------------------------------------
68*67e74705SXin Li // reinterpret_cast
69*67e74705SXin Li // ---------------------------------------------------------------------
70*67e74705SXin Li template<typename T, typename U>
71*67e74705SXin Li struct ReinterpretCast0 {
fReinterpretCast072*67e74705SXin Li   void f(T t) {
73*67e74705SXin Li     (void)reinterpret_cast<U>(t); // expected-error{{qualifiers}}
74*67e74705SXin Li   }
75*67e74705SXin Li };
76*67e74705SXin Li 
77*67e74705SXin Li template struct ReinterpretCast0<void (*)(int), void (*)(float)>;
78*67e74705SXin Li template struct ReinterpretCast0<int const *, float *>; // expected-note{{instantiation}}
79*67e74705SXin Li 
80*67e74705SXin Li // ---------------------------------------------------------------------
81*67e74705SXin Li // const_cast
82*67e74705SXin Li // ---------------------------------------------------------------------
83*67e74705SXin Li template<typename T, typename U>
84*67e74705SXin Li struct ConstCast0 {
fConstCast085*67e74705SXin Li   void f(T t) {
86*67e74705SXin Li     (void)const_cast<U>(t); // expected-error{{not allowed}}
87*67e74705SXin Li   }
88*67e74705SXin Li };
89*67e74705SXin Li 
90*67e74705SXin Li template struct ConstCast0<int const * *, int * *>;
91*67e74705SXin Li template struct ConstCast0<int const *, float *>; // expected-note{{instantiation}}
92*67e74705SXin Li 
93*67e74705SXin Li // ---------------------------------------------------------------------
94*67e74705SXin Li // C++ functional cast
95*67e74705SXin Li // ---------------------------------------------------------------------
96*67e74705SXin Li template<typename T, typename U>
97*67e74705SXin Li struct FunctionalCast1 {
fFunctionalCast198*67e74705SXin Li   void f(T t) {
99*67e74705SXin Li     (void)U(t); // expected-error{{cannot convert 'A' to 'int' without a conversion operator}}
100*67e74705SXin Li   }
101*67e74705SXin Li };
102*67e74705SXin Li 
103*67e74705SXin Li template struct FunctionalCast1<int, float>;
104*67e74705SXin Li template struct FunctionalCast1<A, int>; // expected-note{{instantiation}}
105*67e74705SXin Li 
106*67e74705SXin Li // Generates temporaries, which we cannot handle yet.
107*67e74705SXin Li template<int N, long M>
108*67e74705SXin Li struct FunctionalCast2 {
fFunctionalCast2109*67e74705SXin Li   void f() {
110*67e74705SXin Li     (void)Constructible(N, M);
111*67e74705SXin Li   }
112*67e74705SXin Li };
113*67e74705SXin Li 
114*67e74705SXin Li template struct FunctionalCast2<1, 3>;
115*67e74705SXin Li 
116*67e74705SXin Li // ---------------------------------------------------------------------
117*67e74705SXin Li // implicit casting
118*67e74705SXin Li // ---------------------------------------------------------------------
119*67e74705SXin Li template<typename T>
120*67e74705SXin Li struct Derived2 : public Base { };
121*67e74705SXin Li 
test_derived_to_base(Base * & bp,Derived2<int> * dp)122*67e74705SXin Li void test_derived_to_base(Base *&bp, Derived2<int> *dp) {
123*67e74705SXin Li   bp = dp;
124*67e74705SXin Li }
125