120 lines · cpp
1// RUN: %clang_cc1 -std=c++17 -fms-compatibility -fsyntax-only -verify=before,expected %s2// RUN: %clang_cc1 -std=c++17 -fms-compatibility -fdelayed-template-parsing -fsyntax-only -verify=before,expected %s3// RUN: %clang_cc1 -std=c++20 -fms-compatibility -fsyntax-only -verify=after,expected %s4// RUN: %clang_cc1 -std=c++20 -fms-compatibility -fdelayed-template-parsing -fsyntax-only -verify=after,expected %s5 6template <class T>7class Base {8};9 10template <class T>11class Based {}; // Trying to trick the typo detection12 13template <class T>14class Derived : public Base<T> {15public:16 // after-error@+1 {{member initializer 'Base' does not name a non-static data member or base class}}17 Derived() : Base() {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}18private:19 int Baze; // Trying to trick the typo detection20};21 22template <class T> struct AggregateBase {23 T i;24};25 26template <class T>27struct AggregateDerived : public AggregateBase<T> {28 int i;29 30 // after-error@+1 {{member initializer 'AggregateBase' does not name a non-static data member or base class}}31 AggregateDerived(T j) : AggregateBase{4}, i{j} {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}32 int f() {33 return i + AggregateBase::i; // expected-warning {{use of undeclared identifier 'AggregateBase'; unqualified lookup into dependent bases of class template 'AggregateDerived' is a Microsoft extension}}34 }35};36 37template <class T, typename U> struct MultiTypesBase {38};39 40template <class T, class U>41struct MultiTypesDerived : public MultiTypesBase<T, U> {42 // after-error@+1 {{member initializer 'MultiTypesBase' does not name a non-static data member or base class}}43 MultiTypesDerived() : MultiTypesBase{} {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}44};45 46template <int I> struct IntegerBase {47};48 49template <int I>50struct IntegerDerived : public IntegerBase<I> {51 // after-error@+1 {{member initializer 'IntegerBase' does not name a non-static data member or base class}}52 IntegerDerived() : IntegerBase{} {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}53};54 55template <class T> struct ConformingBase {56 T i;57};58 59template <class T>60struct ConformingDerived : public ConformingBase<T> {61 int i;62 63 ConformingDerived(T j) : ConformingBase<T>{4}, i{j} {}64 int f() {65 return i + ConformingBase<T>::i;66 }67};68 69int main() {70 int I;71 Derived<int> t;72 73 AggregateDerived<int> AD{2};74 AD.AggregateBase::i = 3;75 I = AD.f();76 77 MultiTypesDerived<int, double> MTD;78 79 IntegerDerived<4> ID;80 81 ConformingDerived<int> CD{2};82 I = CD.f();83 84 return I;85}86 87template <typename Type, int TSize> class Vec {}; // expected-note {{template is declared here}}88 89template <int TDim> class Index : public Vec<int, TDim> {90 // after-error@+1 {{member initializer 'Vec' does not name a non-static data member or base class}}91 Index() : Vec() {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}92};93 94template class Index<0>;95 96template <typename T> class Array : public Vec<T, 4> {97 // after-error@+1 {{member initializer 'Vec' does not name a non-static data member or base class}}98 Array() : Vec() {} // before-warning {{unqualified base initializer of class templates is a Microsoft extension}}99};100 101template class Array<double>;102 103template <typename T> class Wrong : public Vec<T, 4> {104 Wrong() : NonExistent() {} // expected-error {{member initializer 'NonExistent' does not name a non-static data member or base class}}105};106 107template class Wrong<double>;108 109template <typename T> class Wrong2 : public Vec<T, 4> {110 Wrong2() : Vec<T>() {} // expected-error {{too few template arguments for class template 'Vec'}}111};112 113template class Wrong2<double>;114 115template <typename T> class Wrong3 : public Vec<T, 4> {116 Wrong3() : Base() {} // expected-error {{member initializer 'Base' does not name a non-static data member or base class}}117};118 119template class Wrong3<double>;120