benn/lumiera_
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Library: attempt to get more explicit type diagnostics

Browse source 
...including the various reference and pointer adornments;
typeid() unfortunately strips those, so we'll have to add them manually
This commit is contained in:
Fischlurch 2017-11-30 21:53:12 +01:00
parent 60301f7523
commit d73b0b05b2
1 changed files with 63 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

64
tests/library/meta/value-type-binding-test.cpp
View file

@ -59,11 +59,64 @@ namespace test{
struct Space { };
using Join = ulong;
template<typename X>
struct Bugg
{
static_assert (not sizeof(X), "guggi");
};
template<typename X>
struct TypeDiagnostics
{
using Type = X;
static constexpr auto postfix = "";
};
template<typename X>
struct TypeDiagnostics<X&>
{
using Type = X;
static constexpr auto postfix = "&";
};
template<typename X>
struct TypeDiagnostics<X&&>
{
using Type = X;
static constexpr auto postfix = " &&";
};
template<typename X>
struct TypeDiagnostics<X const&>
{
using Type = X;
static constexpr auto postfix = " const&";
};
template<typename X>
struct TypeDiagnostics<X const&&>
{
using Type = X;
static constexpr auto postfix = " const &&";
};
template<typename X>
struct TypeDiagnostics<X *>
{
using Type = X;
static constexpr auto postfix = " *";
};
template<typename X>
struct TypeDiagnostics<X * const>
{
using Type = X;
static constexpr auto postfix = " * const";
};
template<typename X>
inline string
showType()
{
return humanReadableTypeID (typeid(X).name());
using Case = TypeDiagnostics<X>;
using Type = typename Case::Type;
return humanReadableTypeID (typeid(Type).name())
+ Case::postfix;
}
}//(end)fixture
@ -166,6 +219,15 @@ namespace test{
cout << showType<TypeBinding<Join * const>::value_type>() <<endl;
cout << showType<TypeBinding<Join * const>::reference>() <<endl;
cout << showType<TypeBinding<Join * const>::pointer>() <<endl;
cout << showType<int>() <<endl;
cout << showType<int&>() <<endl;
cout << showType<int&&>() <<endl;
cout << showType<int const&>() <<endl;
cout << showType<int const&&>() <<endl;
cout << showType<int const *>() <<endl;
cout << showType<int const * const>() <<endl;
cout << showType<int const * const&>() <<endl;
}
};