mirror of
https://github.com/BlackMATov/invoke.hpp.git
synced 2025-12-13 05:56:31 +07:00
new project structure
This commit is contained in:
39
untests/CMakeLists.txt
Normal file
39
untests/CMakeLists.txt
Normal file
@@ -0,0 +1,39 @@
|
||||
# 3.11 version is required for `FetchContent`
|
||||
cmake_minimum_required(VERSION 3.11 FATAL_ERROR)
|
||||
|
||||
project(invoke.hpp.untests)
|
||||
|
||||
set(CATCH_BUILD_TESTING OFF CACHE BOOL "" FORCE)
|
||||
|
||||
include(FetchContent)
|
||||
FetchContent_Declare(
|
||||
catch2
|
||||
GIT_REPOSITORY https://github.com/catchorg/catch2)
|
||||
|
||||
FetchContent_GetProperties(catch2)
|
||||
if(NOT catch2_POPULATED)
|
||||
FetchContent_Populate(catch2)
|
||||
add_subdirectory(${catch2_SOURCE_DIR} ${catch2_BINARY_DIR})
|
||||
endif()
|
||||
|
||||
option(BUILD_WITH_COVERAGE "Build with coverage" OFF)
|
||||
if(BUILD_WITH_COVERAGE AND (CMAKE_CXX_COMPILER_ID MATCHES "GNU|Clang"))
|
||||
set(COVERAGE_FLAGS "--coverage")
|
||||
set(CMAKE_C_FLAGS_DEBUG "${CMAKE_C_FLAGS_DEBUG} ${COVERAGE_FLAGS}")
|
||||
set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} ${COVERAGE_FLAGS}")
|
||||
set(CMAKE_LINKER_FLAGS_DEBUG "${CMAKE_LINKER_FLAGS_DEBUG} ${COVERAGE_FLAGS}")
|
||||
endif()
|
||||
|
||||
file(GLOB UNTESTS_SOURCES "*.cpp" "*.hpp")
|
||||
add_executable(${PROJECT_NAME} ${UNTESTS_SOURCES})
|
||||
target_link_libraries(${PROJECT_NAME}
|
||||
Catch2
|
||||
invoke.hpp)
|
||||
target_compile_options(${PROJECT_NAME}
|
||||
PRIVATE
|
||||
$<$<CXX_COMPILER_ID:MSVC>:
|
||||
/W4>
|
||||
PRIVATE
|
||||
$<$<OR:$<CXX_COMPILER_ID:GNU>,$<CXX_COMPILER_ID:Clang>,$<CXX_COMPILER_ID:AppleClang>>:
|
||||
-Wall -Wextra -Wpedantic>)
|
||||
add_test(${PROJECT_NAME} ${PROJECT_NAME})
|
||||
9
untests/catch_main.cpp
Normal file
9
untests/catch_main.cpp
Normal file
@@ -0,0 +1,9 @@
|
||||
/*******************************************************************************
|
||||
* This file is part of the "https://github.com/blackmatov/invoke.hpp"
|
||||
* For conditions of distribution and use, see copyright notice in LICENSE.md
|
||||
* Copyright (C) 2018-2019, by Matvey Cherevko (blackmatov@gmail.com)
|
||||
******************************************************************************/
|
||||
|
||||
#define CATCH_CONFIG_MAIN
|
||||
#define CATCH_CONFIG_FAST_COMPILE
|
||||
#include <catch2/catch.hpp>
|
||||
510
untests/invoke_tests.cpp
Normal file
510
untests/invoke_tests.cpp
Normal file
@@ -0,0 +1,510 @@
|
||||
/*******************************************************************************
|
||||
* This file is part of the "https://github.com/blackmatov/invoke.hpp"
|
||||
* For conditions of distribution and use, see copyright notice in LICENSE.md
|
||||
* Copyright (C) 2018-2019, by Matvey Cherevko (blackmatov@gmail.com)
|
||||
******************************************************************************/
|
||||
|
||||
#define CATCH_CONFIG_FAST_COMPILE
|
||||
#include <catch2/catch.hpp>
|
||||
|
||||
#include <invoke.hpp/invoke.hpp>
|
||||
namespace inv = invoke_hpp;
|
||||
|
||||
namespace
|
||||
{
|
||||
void simple_static_function() {
|
||||
}
|
||||
|
||||
int simple_static_function_r() {
|
||||
return 42;
|
||||
}
|
||||
|
||||
int simple_static_function_r_with_arg(int v) {
|
||||
return v;
|
||||
}
|
||||
|
||||
const int& simple_static_function_r_with_ref_arg(const int& v) {
|
||||
return v;
|
||||
}
|
||||
|
||||
class obj_t {
|
||||
public:
|
||||
int value = 42;
|
||||
const int value_c = 42;
|
||||
|
||||
void member() {
|
||||
}
|
||||
|
||||
int member_r() {
|
||||
return 42;
|
||||
}
|
||||
|
||||
int member_r_with_arg(int v) {
|
||||
return v;
|
||||
}
|
||||
|
||||
const int& member_r_with_ref_arg(const int& v) {
|
||||
return v;
|
||||
}
|
||||
};
|
||||
|
||||
class obj2_t {
|
||||
};
|
||||
}
|
||||
|
||||
TEST_CASE("invoke"){
|
||||
SECTION("invoke_functions"){
|
||||
inv::invoke(simple_static_function);
|
||||
REQUIRE(inv::invoke(simple_static_function_r) == 42);
|
||||
REQUIRE(inv::invoke(simple_static_function_r_with_arg, 42) == 42);
|
||||
{
|
||||
int v = 42;
|
||||
REQUIRE(&inv::invoke(simple_static_function_r_with_ref_arg, v) == &v);
|
||||
}
|
||||
}
|
||||
SECTION("invoke_members"){
|
||||
obj_t o;
|
||||
|
||||
inv::invoke(&obj_t::member, o);
|
||||
inv::invoke(&obj_t::member, &o);
|
||||
inv::invoke(&obj_t::member, std::ref(o));
|
||||
|
||||
REQUIRE(inv::invoke(&obj_t::member_r, o) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::member_r, &o) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::member_r, std::ref(o)) == 42);
|
||||
|
||||
REQUIRE(inv::invoke(&obj_t::member_r_with_arg, o, 42) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::member_r_with_arg, &o, 42) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::member_r_with_arg, std::ref(o), 42) == 42);
|
||||
|
||||
{
|
||||
int v = 42;
|
||||
REQUIRE(&inv::invoke(&obj_t::member_r_with_ref_arg, o, std::ref(v)) == &v);
|
||||
REQUIRE(&inv::invoke(&obj_t::member_r_with_ref_arg, &o, std::ref(v)) == &v);
|
||||
REQUIRE(&inv::invoke(&obj_t::member_r_with_ref_arg, std::ref(o), std::ref(v)) == &v);
|
||||
}
|
||||
}
|
||||
SECTION("invoke_member_objects"){
|
||||
obj_t o;
|
||||
|
||||
REQUIRE(inv::invoke(&obj_t::value, o) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::value, &o) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::value, std::ref(o)) == 42);
|
||||
|
||||
REQUIRE(inv::invoke(&obj_t::value_c, o) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::value_c, &o) == 42);
|
||||
REQUIRE(inv::invoke(&obj_t::value_c, std::ref(o)) == 42);
|
||||
}
|
||||
}
|
||||
|
||||
TEST_CASE("invoke_result"){
|
||||
SECTION("invoke_result_functions"){
|
||||
static_assert(
|
||||
std::is_same<
|
||||
void,
|
||||
inv::invoke_result_t<decltype(simple_static_function)>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<
|
||||
int,
|
||||
inv::invoke_result_t<decltype(simple_static_function_r)>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<
|
||||
int,
|
||||
inv::invoke_result_t<decltype(simple_static_function_r_with_arg), int>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<
|
||||
const int&,
|
||||
inv::invoke_result_t<decltype(simple_static_function_r_with_ref_arg), const int&>>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("invoke_result_members"){
|
||||
static_assert(
|
||||
std::is_same<void,
|
||||
inv::invoke_result_t<decltype(&obj_t::member), obj_t>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<void,
|
||||
inv::invoke_result_t<decltype(&obj_t::member), obj_t*>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<void,
|
||||
inv::invoke_result_t<decltype(&obj_t::member), std::reference_wrapper<obj_t>>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
std::is_same<int,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r), obj_t>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<int,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r), obj_t*>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<int,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r), std::reference_wrapper<obj_t>>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
std::is_same<int,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r_with_arg), obj_t, int>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<int,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r_with_arg), obj_t*, int>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<int,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r_with_arg), std::reference_wrapper<obj_t>, int>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
std::is_same<const int&,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r_with_ref_arg), obj_t, const int&>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<const int&,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r_with_ref_arg), obj_t*, const int&>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
std::is_same<const int&,
|
||||
inv::invoke_result_t<decltype(&obj_t::member_r_with_ref_arg), std::reference_wrapper<obj_t>, const int&>>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
}
|
||||
|
||||
TEST_CASE("is_invocable"){
|
||||
SECTION("is_invocable_functions"){
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(simple_static_function)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(simple_static_function_r)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(simple_static_function_r_with_arg), int>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_not_invocable_functions"){
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(simple_static_function), int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(simple_static_function_r), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(simple_static_function_r_with_arg)>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_invocable_members"){
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member_r), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member_r), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member_r), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member_r_with_arg), obj_t, int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member_r_with_arg), obj_t*, int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::member_r_with_arg), std::reference_wrapper<obj_t>, int>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_not_invocable_members"){
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member), int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member), std::reference_wrapper<obj_t>*>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member_r), obj_t**>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member_r), obj2_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member_r), std::reference_wrapper<obj2_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member_r_with_arg), obj_t, char*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member_r_with_arg), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::member_r_with_arg), std::reference_wrapper<obj2_t>, int>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_invocable_objects"){
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::value), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::value), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::value), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::value_c), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::value_c), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable<decltype(&obj_t::value_c), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_not_invocable_objects"){
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::value)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::value), obj2_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::value), obj_t, int>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::value_c), obj_t**>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::value_c), obj_t*, obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable<decltype(&obj_t::value_c), std::reference_wrapper<obj_t**>>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
}
|
||||
|
||||
TEST_CASE("is_invocable_r"){
|
||||
SECTION("is_invocable_r_functions"){
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(simple_static_function)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(simple_static_function_r)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(simple_static_function_r)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<const int&, decltype(simple_static_function_r_with_arg), const int&>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_not_invocable_r_functions"){
|
||||
static_assert(
|
||||
!inv::is_invocable_r<void, decltype(simple_static_function), int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int, decltype(simple_static_function_r), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<const int&, decltype(simple_static_function_r_with_arg), const obj2_t&>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int, decltype(simple_static_function)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int*, decltype(simple_static_function_r)>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<obj_t, decltype(simple_static_function_r_with_arg), const int&>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_invocable_r_members"){
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(&obj_t::member), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(&obj_t::member), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(&obj_t::member), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::member_r), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::member_r), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::member_r), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(&obj_t::member_r), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::member_r_with_arg), obj_t, int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::member_r_with_arg), obj_t*, int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::member_r_with_arg), std::reference_wrapper<obj_t>, int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(&obj_t::member_r_with_arg), std::reference_wrapper<obj_t>, int>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_not_invocable_r_members"){
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int, decltype(&obj_t::member), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int*, decltype(&obj_t::member), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<obj_t, decltype(&obj_t::member), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
!inv::is_invocable_r<obj_t, decltype(&obj_t::member_r), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int*, decltype(&obj_t::member_r), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int, decltype(&obj_t::member_r), std::reference_wrapper<obj2_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
!inv::is_invocable_r<obj_t, decltype(&obj_t::member_r_with_arg), obj_t, int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int*, decltype(&obj_t::member_r_with_arg), obj_t*, int>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int, decltype(&obj_t::member_r_with_arg), std::reference_wrapper<obj_t>, obj2_t>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_invocable_r_objects"){
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::value), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::value), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::value), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(&obj_t::value), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::value_c), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::value_c), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<int, decltype(&obj_t::value_c), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
inv::is_invocable_r<void, decltype(&obj_t::value_c), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
SECTION("is_not_invocable_r_objects"){
|
||||
static_assert(
|
||||
!inv::is_invocable_r<obj_t, decltype(&obj_t::value), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int*, decltype(&obj_t::value), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int, decltype(&obj_t::value), std::reference_wrapper<obj_t>, obj2_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<void, decltype(&obj_t::value), std::reference_wrapper<obj_t>, obj2_t>::value,
|
||||
"unit test fail");
|
||||
|
||||
static_assert(
|
||||
!inv::is_invocable_r<obj_t, decltype(&obj_t::value_c), obj_t>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<int*, decltype(&obj_t::value_c), obj_t*>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<obj2_t, decltype(&obj_t::value_c), std::reference_wrapper<obj_t>>::value,
|
||||
"unit test fail");
|
||||
static_assert(
|
||||
!inv::is_invocable_r<void, decltype(&obj_t::value_c), std::reference_wrapper<obj_t**>>::value,
|
||||
"unit test fail");
|
||||
}
|
||||
}
|
||||
|
||||
TEST_CASE("apply"){
|
||||
SECTION("apply_functions"){
|
||||
inv::apply(simple_static_function, std::make_tuple());
|
||||
REQUIRE(inv::apply(simple_static_function_r, std::make_tuple()) == 42);
|
||||
REQUIRE(inv::apply(simple_static_function_r_with_arg, std::make_tuple(42)) == 42);
|
||||
{
|
||||
int v = 42;
|
||||
REQUIRE(&inv::apply(simple_static_function_r_with_ref_arg, std::make_tuple(std::ref(v))) == &v);
|
||||
}
|
||||
}
|
||||
SECTION("apply_members"){
|
||||
obj_t o;
|
||||
|
||||
inv::apply(&obj_t::member, std::make_tuple(o));
|
||||
inv::apply(&obj_t::member, std::make_tuple(&o));
|
||||
inv::apply(&obj_t::member, std::make_tuple(std::ref(o)));
|
||||
|
||||
REQUIRE(inv::apply(&obj_t::member_r, std::make_tuple(o)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::member_r, std::make_tuple(&o)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::member_r, std::make_tuple(std::ref(o))) == 42);
|
||||
|
||||
REQUIRE(inv::apply(&obj_t::member_r_with_arg, std::make_tuple(o, 42)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::member_r_with_arg, std::make_tuple(&o, 42)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::member_r_with_arg, std::make_tuple(std::ref(o), 42)) == 42);
|
||||
|
||||
{
|
||||
int v = 42;
|
||||
REQUIRE(&inv::apply(&obj_t::member_r_with_ref_arg, std::make_tuple(o, std::ref(v))) == &v);
|
||||
REQUIRE(&inv::apply(&obj_t::member_r_with_ref_arg, std::make_tuple(&o, std::ref(v))) == &v);
|
||||
REQUIRE(&inv::apply(&obj_t::member_r_with_ref_arg, std::make_tuple(std::ref(o), std::ref(v))) == &v);
|
||||
}
|
||||
}
|
||||
SECTION("apply_member_objects"){
|
||||
obj_t o;
|
||||
|
||||
REQUIRE(inv::apply(&obj_t::value, std::make_tuple(o)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::value, std::make_tuple(&o)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::value, std::make_tuple(std::ref(o))) == 42);
|
||||
|
||||
REQUIRE(inv::apply(&obj_t::value_c, std::make_tuple(o)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::value_c, std::make_tuple(&o)) == 42);
|
||||
REQUIRE(inv::apply(&obj_t::value_c, std::make_tuple(std::ref(o))) == 42);
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user