blob: 4eaba456f8845baae280b913793679e2fd80abea [file] [log] [blame]
//-*- C++ -*-
// Intended to exercise all syntactic parts of the C++ language that
// aren't part of C.
namespace std {
namespace debug {
}
}
using namespace std::debug;
using namespace std;
namespace safestl = ::std::debug;
class Base1 {
};
class Base2 { };
class Derived1 : Base1, virtual public Base2 { };
/* Template classes, template functions */
enum E1 { EC1 };
template <E1 v> class C1 {};
template <E1 v> C1<v> f1() { return C1<v>(); }
void f2() { f1<EC1>(); }
// Friend declarations
struct FriendlyStruct {
friend bool operator==(FriendlyStruct, FriendlyStruct) { return true; }
friend struct FriendedStruct;
};
struct FriendedStruct { };
// Using declaration
namespace provider {
void foo();
}
namespace user {
using provider::foo;
}
// Empty declaration
;
// Template specialization declarations
template<typename T> class ClassTemplateSpecialization;
template<>
class ClassTemplateSpecialization<bool> { };
template<typename T, bool> struct ClassTemplatePartialSpecialization;
template<typename T>
struct ClassTemplatePartialSpecialization<T, true> { };
// Access specifier
struct AccessSpec {
private:
};
// Variable template
template <typename T> T varTemplate = 0;
static_assert(true, "");
// Concepts
template<typename T> concept True = true;
template<typename T> concept Concept = requires (T a) {
a;
{ a() } noexcept -> True;
requires false || true;
typename T::type;
};
template<typename T> void constrained1() requires Concept<T>;
template<Concept T> void constrained2();
void constrained3(Concept auto x);