2017-03-19 02:29:39 +01:00
|
|
|
|
/*
|
|
|
|
|
|
FunctionSignature(Test) - metaprogramming to extract function signature type
|
|
|
|
|
|
|
Copyright: clarify and simplify the file headers
* Lumiera source code always was copyrighted by individual contributors
* there is no entity "Lumiera.org" which holds any copyrights
* Lumiera source code is provided under the GPL Version 2+
== Explanations ==
Lumiera as a whole is distributed under Copyleft, GNU General Public License Version 2 or above.
For this to become legally effective, the ''File COPYING in the root directory is sufficient.''
The licensing header in each file is not strictly necessary, yet considered good practice;
attaching a licence notice increases the likeliness that this information is retained
in case someone extracts individual code files. However, it is not by the presence of some
text, that legally binding licensing terms become effective; rather the fact matters that a
given piece of code was provably copyrighted and published under a license. Even reformatting
the code, renaming some variables or deleting parts of the code will not alter this legal
situation, but rather creates a derivative work, which is likewise covered by the GPL!
The most relevant information in the file header is the notice regarding the
time of the first individual copyright claim. By virtue of this initial copyright,
the first author is entitled to choose the terms of licensing. All further
modifications are permitted and covered by the License. The specific wording
or format of the copyright header is not legally relevant, as long as the
intention to publish under the GPL remains clear. The extended wording was
based on a recommendation by the FSF. It can be shortened, because the full terms
of the license are provided alongside the distribution, in the file COPYING.
2024-11-17 23:42:55 +01:00
|
|
|
|
Copyright (C)
|
|
|
|
|
|
2017, Hermann Vosseler <Ichthyostega@web.de>
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
Copyright: clarify and simplify the file headers
* Lumiera source code always was copyrighted by individual contributors
* there is no entity "Lumiera.org" which holds any copyrights
* Lumiera source code is provided under the GPL Version 2+
== Explanations ==
Lumiera as a whole is distributed under Copyleft, GNU General Public License Version 2 or above.
For this to become legally effective, the ''File COPYING in the root directory is sufficient.''
The licensing header in each file is not strictly necessary, yet considered good practice;
attaching a licence notice increases the likeliness that this information is retained
in case someone extracts individual code files. However, it is not by the presence of some
text, that legally binding licensing terms become effective; rather the fact matters that a
given piece of code was provably copyrighted and published under a license. Even reformatting
the code, renaming some variables or deleting parts of the code will not alter this legal
situation, but rather creates a derivative work, which is likewise covered by the GPL!
The most relevant information in the file header is the notice regarding the
time of the first individual copyright claim. By virtue of this initial copyright,
the first author is entitled to choose the terms of licensing. All further
modifications are permitted and covered by the License. The specific wording
or format of the copyright header is not legally relevant, as long as the
intention to publish under the GPL remains clear. The extended wording was
based on a recommendation by the FSF. It can be shortened, because the full terms
of the license are provided alongside the distribution, in the file COPYING.
2024-11-17 23:42:55 +01:00
|
|
|
|
**Lumiera** is free software; you can redistribute it and/or modify it
|
|
|
|
|
|
under the terms of the GNU General Public License as published by the
|
|
|
|
|
|
Free Software Foundation; either version 2 of the License, or (at your
|
|
|
|
|
|
option) any later version. See the file COPYING for further details.
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
Copyright: clarify and simplify the file headers
* Lumiera source code always was copyrighted by individual contributors
* there is no entity "Lumiera.org" which holds any copyrights
* Lumiera source code is provided under the GPL Version 2+
== Explanations ==
Lumiera as a whole is distributed under Copyleft, GNU General Public License Version 2 or above.
For this to become legally effective, the ''File COPYING in the root directory is sufficient.''
The licensing header in each file is not strictly necessary, yet considered good practice;
attaching a licence notice increases the likeliness that this information is retained
in case someone extracts individual code files. However, it is not by the presence of some
text, that legally binding licensing terms become effective; rather the fact matters that a
given piece of code was provably copyrighted and published under a license. Even reformatting
the code, renaming some variables or deleting parts of the code will not alter this legal
situation, but rather creates a derivative work, which is likewise covered by the GPL!
The most relevant information in the file header is the notice regarding the
time of the first individual copyright claim. By virtue of this initial copyright,
the first author is entitled to choose the terms of licensing. All further
modifications are permitted and covered by the License. The specific wording
or format of the copyright header is not legally relevant, as long as the
intention to publish under the GPL remains clear. The extended wording was
based on a recommendation by the FSF. It can be shortened, because the full terms
of the license are provided alongside the distribution, in the file COPYING.
2024-11-17 23:42:55 +01:00
|
|
|
|
* *****************************************************************/
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
|
|
|
|
|
/** @file function-signature-test.cpp
|
|
|
|
|
|
** unit test \ref FunctionSignature_test
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#include "lib/test/run.hpp"
|
|
|
|
|
|
#include "lib/format-cout.hpp"
|
|
|
|
|
|
#include "lib/format-util.hpp"
|
|
|
|
|
|
#include "lib/meta/function.hpp"
|
|
|
|
|
|
|
|
|
|
|
|
#include <functional>
|
|
|
|
|
|
#include <string>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
using std::function;
|
|
|
|
|
|
using std::placeholders::_1;
|
|
|
|
|
|
using std::bind;
|
|
|
|
|
|
using std::string;
|
|
|
|
|
|
using std::tuple;
|
|
|
|
|
|
using std::move;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
namespace lib {
|
|
|
|
|
|
namespace meta {
|
|
|
|
|
|
namespace test {
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
|
|
|
|
|
using lib::meta::_Fun;
|
|
|
|
|
|
using lib::meta::typeStr;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
namespace { // test subjects
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
|
|
|
|
|
int
|
2017-03-19 03:14:01 +01:00
|
|
|
|
freeFun (uint i)
|
|
|
|
|
|
{
|
|
|
|
|
|
return -i+1;
|
|
|
|
|
|
}
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
2017-03-19 03:14:01 +01:00
|
|
|
|
struct Functor
|
2017-03-19 02:29:39 +01:00
|
|
|
|
{
|
2017-03-19 03:14:01 +01:00
|
|
|
|
int ii = 2;
|
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
|
|
fun (uint i2)
|
|
|
|
|
|
{
|
|
|
|
|
|
return ii + freeFun(i2);
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
|
|
operator() (uint i2)
|
|
|
|
|
|
{
|
|
|
|
|
|
return 2*ii - fun(i2);
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static int
|
|
|
|
|
|
staticFun (uint i)
|
|
|
|
|
|
{
|
|
|
|
|
|
return 2*freeFun (i);
|
|
|
|
|
|
}
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* ===== diagnostics helper ===== */
|
|
|
|
|
|
|
|
|
|
|
|
template<typename F>
|
|
|
|
|
|
string
|
|
|
|
|
|
showSig (F)
|
|
|
|
|
|
{
|
|
|
|
|
|
return typeStr<typename _Fun<F>::Sig>();
|
|
|
|
|
|
}
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
2017-03-19 03:14:01 +01:00
|
|
|
|
template<typename F>
|
|
|
|
|
|
string
|
|
|
|
|
|
showSigRef (F&)
|
|
|
|
|
|
{
|
|
|
|
|
|
return typeStr<typename _Fun<F>::Sig>();
|
|
|
|
|
|
}
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
2017-03-19 03:14:01 +01:00
|
|
|
|
template<typename F>
|
|
|
|
|
|
string
|
|
|
|
|
|
showSigCRef (F&)
|
|
|
|
|
|
{
|
|
|
|
|
|
return typeStr<typename _Fun<F>::Sig>();
|
|
|
|
|
|
}
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
2017-03-19 03:14:01 +01:00
|
|
|
|
template<typename F>
|
|
|
|
|
|
string
|
|
|
|
|
|
showSigRRef (F&&)
|
|
|
|
|
|
{
|
|
|
|
|
|
return typeStr<typename _Fun<F>::Sig>();
|
|
|
|
|
|
}
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
2017-03-19 03:14:01 +01:00
|
|
|
|
} // (End) test subjects
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
using Func = function<int(uint)>;
|
|
|
|
|
|
using FuncF = function<int(Functor&, uint)>;
|
2017-03-19 02:29:39 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*********************************************************************//**
|
|
|
|
|
|
* @test verify metaprogramming trait to pick up function signature types.
|
|
|
|
|
|
* - ability to handle _function like_ entities uniformly
|
|
|
|
|
|
* - can handle function references, function pointers,
|
|
|
|
|
|
* member pointer to function, functor objects,
|
|
|
|
|
|
* `std::function` and lambdas
|
|
|
|
|
|
* - supports arbitrary number of arguments
|
|
|
|
|
|
* @see lib::meta::_Fun
|
|
|
|
|
|
* @see typelist.hpp
|
|
|
|
|
|
* @see FunctionClosure_test
|
|
|
|
|
|
*/
|
|
|
|
|
|
class FunctionSignature_test : public Test
|
|
|
|
|
|
{
|
|
|
|
|
|
virtual void
|
2025-06-07 23:59:57 +02:00
|
|
|
|
run (Arg)
|
2017-03-19 02:29:39 +01:00
|
|
|
|
{
|
2017-03-19 03:14:01 +01:00
|
|
|
|
// this is how the key trick of the _Fun traits template works:
|
|
|
|
|
|
// for anything "function like" we retrieve a member-pointer to the function call operator
|
|
|
|
|
|
// which we then pass on to the dedicated overload for member pointers
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (Functor::*)(uint)" == typeStr<decltype(&Functor::operator())>());
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Func f1{freeFun};
|
|
|
|
|
|
Func f2{&freeFun};
|
|
|
|
|
|
|
|
|
|
|
|
Func f3{Functor::staticFun};
|
|
|
|
|
|
Func f4{&Functor::staticFun};
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Functor funk;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
auto lambda = [&](uint ii) { return funk.fun(ii); };
|
|
|
|
|
|
|
|
|
|
|
|
Func f5{lambda};
|
|
|
|
|
|
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == showSig (freeFun));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (&freeFun));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (Functor::staticFun));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (lambda));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (f5));
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
|
|
|
|
|
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == showSigRef (freeFun));
|
|
|
|
|
|
CHECK ("int (uint)" == showSigRef (lambda));
|
|
|
|
|
|
CHECK ("int (uint)" == showSigRef (f5));
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == showSigCRef (freeFun));
|
|
|
|
|
|
CHECK ("int (uint)" == showSigCRef (lambda));
|
|
|
|
|
|
CHECK ("int (uint)" == showSigCRef (f5));
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == showSigRRef (move(lambda)));
|
|
|
|
|
|
CHECK ("int (uint)" == showSigRRef (move(f5)));
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == showSig (move(&freeFun)));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (move(lambda)));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (move(f5)));
|
2017-03-19 03:46:42 +01:00
|
|
|
|
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
|
|
|
|
|
Func& funRef = f1;
|
|
|
|
|
|
Functor& funkyRef = funk;
|
|
|
|
|
|
Func const& funCRef = f1;
|
|
|
|
|
|
Functor const& funkyCRef = funk;
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == showSig (funRef));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (funkyRef));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (funCRef));
|
|
|
|
|
|
CHECK ("int (uint)" == showSig (funkyCRef));
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
|
|
|
|
|
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<int(uint)>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Func&>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Func&&>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Func const&>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Functor&>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Functor&&>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Functor const&>::Sig>());
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
|
|
|
|
|
using Siggy = _Fun<Func>::Sig;
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Siggy&>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Siggy&&>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<Siggy const&>::Sig >());
|
2017-03-19 03:14:01 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
auto memfunP = &Functor::fun;
|
|
|
|
|
|
FuncF fM{memfunP};
|
|
|
|
|
|
Func fMF{bind (fM, funk, _1)};
|
|
|
|
|
|
|
2024-11-21 18:07:30 +01:00
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<decltype(memfunP)>::Sig>());
|
|
|
|
|
|
CHECK ("int (Functor&, uint)" == typeStr<_Fun<decltype(fM)>::Sig >());
|
|
|
|
|
|
CHECK ("int (uint)" == typeStr<_Fun<decltype(fMF)>::Sig >());
|
2017-11-24 02:48:16 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// _Fun<F> can be used for metaprogramming with enable_if
|
|
|
|
|
|
CHECK ( _Fun<Func>::value); // yes : a Functor
|
|
|
|
|
|
CHECK ( _Fun<int(long)>::value); // yes : a function type
|
|
|
|
|
|
CHECK (not _Fun<int>::value); // no : a type without function call operator
|
|
|
|
|
|
|
|
|
|
|
|
auto lambda1 = [](int i) { return double(i) / (i*i); };
|
|
|
|
|
|
auto lambda2 = [](auto i) { return double(i) / (i*i); };
|
|
|
|
|
|
|
|
|
|
|
|
using TLamb1 = decltype(lambda1);
|
|
|
|
|
|
using TLamb2 = decltype(lambda2);
|
|
|
|
|
|
|
|
|
|
|
|
CHECK ( _Fun<TLamb1>::value); // yes : detect signature of lambda
|
|
|
|
|
|
CHECK (not _Fun<TLamb2>::value); // no : can not detect signature of a generic lambda!
|
|
|
|
|
|
|
|
|
|
|
|
// but detection works, once the templated operator() has been instantiated to some fixed type
|
|
|
|
|
|
auto stdFunction = function<double(float)> (lambda2);
|
|
|
|
|
|
CHECK ( _Fun<decltype(stdFunction)>::value);
|
|
|
|
|
|
|
|
|
|
|
|
CHECK ("double (int)" == showSig (lambda1));
|
|
|
|
|
|
CHECK ("double (float)" == showSig (stdFunction));
|
2017-03-19 02:29:39 +01:00
|
|
|
|
}
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/** Register this test class... */
|
|
|
|
|
|
LAUNCHER (FunctionSignature_test, "unit common");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}}} // namespace lib::meta::test
|