sha512sum/utempl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: sha512sum:e7bc40ad39721723e04fe35cb8089aa5d4336724
Branches Tags
sha512sum:main
..
compare: sha512sum:b440c814748b8fbab2b524a1632b1cc558ec7316
Branches Tags
sha512sum:main

No commits in common. "e7bc40ad39721723e04fe35cb8089aa5d4336724" and "b440c814748b8fbab2b524a1632b1cc558ec7316" have entirely different histories.
e7bc40ad39 ... b440c81474

38 changed files with 460 additions and 603 deletions
Show stats Expand all files Collapse all files

4
.gitignore vendored
View file

@ -20,5 +20,5 @@ utemplConfigVersion.cmake
utempl_tests
utempl_tests\[1\]_include.cmake
utempl_tests\[1\]_tests.cmake
libutempl.a
_headers
libutempl_shared.so
libutempl_static.so

181
CMakeLists.txt
View file

@ -10,23 +10,18 @@ project(utempl
set(CMAKE_CXX_STANDARD 23)
set(CMAKE_CXX_STANDARD_REQUIRED ON)
set(CMAKE_CXX_EXTENSIONS OFF)
set(CMAKE_CXX_MODULE_STD 1)
set(CMAKE_EXPORT_COMPILE_COMMANDS ON)
set(FMT_MODULE ON)
set(BOOST_INCLUDE_LIBRARIES "pfr")
set(NAMEOF_OPT_INSTALL ON)
option(CPM_USE_LOCAL_PACKAGES "Use local packages" ON)
option(UTEMPL_MODULE OFF)
if(UTEMPL_MODULE OR ENABLE_EXAMPLES OR ENABLE_TESTS)
set(CMAKE_CXX_MODULE_STD 1)
endif()
option(BUILD_SHARED_LIBS "Build shared libraries (.so)" ON)
option(BUILD_STATIC_LIBS "Build static libraries (.a)" OFF)
file(GLOB_RECURSE SOURCES "src/*.cpp")
if(TARGET __cmake_cxx23)
set_target_properties(__cmake_cxx23 PROPERTIES CXX_EXTENSIONS OFF)
endif()
set_target_properties(__cmake_cxx23 PROPERTIES CXX_EXTENSIONS OFF)
file(
DOWNLOAD
@ -45,27 +40,48 @@ CPMAddPackage(
OPTIONS "BOOST_SKIP_INSTALL_RULES OFF"
)
if(UTEMPL_MODULE)
set(TMP ${CPM_USE_LOCAL_PACKAGES})
set(CPM_USE_LOCAL_PACKAGES OFF)
CPMAddPackage(
NAME nameof
NAME fmt
URL
"https://sha512sum.xyz/git/sha512sum/nameof_module/archive/master.tar.gz"
EXCLUDE_FROM_ALL ON
OPTIONS "NAMEOF_MODULE ON"
"https://github.com/linuxnyasha/fmt_import/archive/refs/heads/linuxnyasha-patch-1.zip"
# Fixes for fmt module and constexpr fmt::formatted_size
OPTIONS "CMAKE_CXX_FLAGS -DFMT_ATTACH_TO_GLOBAL_MODULE"
)
set(CPM_USE_LOCAL_PACKAGES ${TMP})
else()
function(configure target)
target_compile_features(${target} INTERFACE cxx_std_23)
CPMAddPackage("gh:Neargye/nameof@0.10.4")
target_include_directories(${target} INTERFACE $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}>)
target_sources(${target} PUBLIC FILE_SET ${target} TYPE CXX_MODULES
FILES ${SOURCES})
endif()
install(TARGETS ${target}
EXPORT utemplTargets
ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}
FILE_SET ${target} DESTINATION ${CMAKE_INSTALL_LIBDIR}
)
if(TARGET Boost::pfr)
target_link_libraries(${target} PUBLIC fmt::fmt
Boost::pfr)
else()
find_package(Boost 1.85.0 REQUIRED)
target_link_libraries(${target} PUBLIC fmt::fmt
${Boost_LIBRARIES})
endif()
endfunction(configure)
@ -73,111 +89,20 @@ cmake_policy(SET CMP0079 NEW)
include(GNUInstallDirs)
file(MAKE_DIRECTORY "_headers")
file(MAKE_DIRECTORY "_headers/utempl")
file(MAKE_DIRECTORY "_headers/utempl/loopholes")
if(UTEMPL_MODULE)
add_library(utempl STATIC)
target_compile_definitions(utempl PUBLIC UTEMPL_MODULE)
target_compile_options(utempl PUBLIC "-Wno-pragma-once-outside-header")
target_sources(utempl PUBLIC FILE_SET utemplModules TYPE CXX_MODULES
FILES ${SOURCES})
file(GLOB_RECURSE HEADER_SOURCES "src/*.hpp")
set(EXISTING_HEADERS)
foreach(HPP_FILE ${HEADER_SOURCES})
get_filename_component(REL_PATH ${HPP_FILE} DIRECTORY)
string(REPLACE "${CMAKE_CURRENT_SOURCE_DIR}/src" "" REL_PATH ${REL_PATH})
get_filename_component(FILE_NAME ${HPP_FILE} NAME_WE)
set(FILE_NAME "${REL_PATH}/${FILE_NAME}")
set(HEADER_FILE "_headers/utempl/${FILE_NAME}.hpp")
file(READ ${HPP_FILE} FILE_CONTENT)
if(EXISTS ${HEADER_FILE})
file(READ ${HEADER_FILE} HEADER_CONTENT)
if(NOT FILE_CONTENT STREQUAL HEADER_CONTENT)
file(WRITE ${HEADER_FILE} "${FILE_CONTENT}")
endif()
else()
file(WRITE ${HEADER_FILE} "${FILE_CONTENT}")
endif()
list(APPEND EXISTING_HEADERS "${HEADER_FILE}")
endforeach()
file(GLOB HEADER_FILES "_headers/*.hpp")
foreach(HEADER_FILE ${HEADER_FILES})
if(NOT HEADER_FILE IN_LIST EXISTING_HEADERS)
file(REMOVE ${HEADER_FILE})
endif()
endforeach()
if(TARGET Boost::pfr)
target_link_libraries(utempl PUBLIC nameof::nameof
Boost::pfr)
else()
find_package(Boost 1.85.0 REQUIRED)
target_link_libraries(utempl PUBLIC nameof::nameof
${Boost_LIBRARIES})
endif()
target_include_directories(utempl PUBLIC
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/_headers>
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}>)
else()
add_library(utempl INTERFACE)
file(GLOB_RECURSE HEADER_SOURCES "src/*.hpp")
set(EXISTING_HEADERS)
foreach(CPP_FILE ${SOURCES} ${HEADER_SOURCES})
get_filename_component(REL_PATH ${CPP_FILE} DIRECTORY)
string(REPLACE "${CMAKE_CURRENT_SOURCE_DIR}/src" "" REL_PATH ${REL_PATH})
get_filename_component(FILE_NAME ${CPP_FILE} NAME_WE)
set(FILE_NAME "${REL_PATH}/${FILE_NAME}")
set(HEADER_FILE "_headers/utempl/${FILE_NAME}.hpp")
file(READ ${CPP_FILE} FILE_CONTENT)
if(EXISTS ${HEADER_FILE})
file(READ ${HEADER_FILE} HEADER_CONTENT)
if(NOT FILE_CONTENT STREQUAL HEADER_CONTENT)
file(WRITE ${HEADER_FILE} "${FILE_CONTENT}")
endif()
else()
file(WRITE ${HEADER_FILE} "${FILE_CONTENT}")
endif()
list(APPEND EXISTING_HEADERS "${HEADER_FILE}")
endforeach()
file(GLOB HEADER_FILES "_headers/*.hpp")
foreach(HEADER_FILE ${HEADER_FILES})
if(NOT HEADER_FILE IN_LIST EXISTING_HEADERS)
file(REMOVE ${HEADER_FILE})
endif()
endforeach()
if(TARGET Boost::pfr)
target_link_libraries(utempl INTERFACE nameof::nameof
Boost::pfr nameof::nameof)
else()
find_package(Boost 1.85.0 REQUIRED)
target_link_libraries(utempl INTERFACE nameof::nameof
${Boost_LIBRARIES} nameof::nameof)
endif()
target_include_directories(utempl INTERFACE
$<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/_headers>
$<INSTALL_INTERFACE:${CMAKE_INSTALL_INCLUDEDIR}>)
if(BUILD_SHARED_LIBS)
add_library(utempl_shared)
add_library(utempl::utempl ALIAS utempl_shared)
configure(utempl_shared)
endif()
add_library(utempl::utempl ALIAS utempl)
target_compile_features(utempl INTERFACE cxx_std_23)
install(TARGETS utempl
EXPORT utemplTargets
ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}
FILE_SET utemplModules DESTINATION ${CMAKE_INSTALL_LIBDIR}
)
if(BUILD_STATIC_LIBS)
add_library(utempl_static)
if(NOT BUILD_SHARED_LIBS)
add_library(utempl ALIAS utempl_static)
add_library(utempl::utempl ALIAS utempl_static)
endif()
configure(utempl_static)
endif()
@ -201,19 +126,17 @@ install(FILES "${PROJECT_BINARY_DIR}/utemplConfig.cmake"
"${PROJECT_BINARY_DIR}/utemplConfigVersion.cmake"
DESTINATION ${CMAKE_INSTALL_DATAROOTDIR}/utempl/cmake)
install(DIRECTORY ${PROJECT_SOURCE_DIR}/_headers/utempl DESTINATION include)
install(DIRECTORY ${PROJECT_SOURCE_DIR}/include/utempl DESTINATION include)
if(ENABLE_TESTS)
CPMAddPackage(
NAME GTest
URL https://github.com/google/googletest/archive/03597a01ee50ed33e9dfd640b249b4be3799d395.zip
)
find_package(GTest REQUIRED)
enable_testing()
file(GLOB SOURCES tests/* tests/*/* tests/*/*/*)
add_executable(utempl_tests)
target_sources(utempl_tests PUBLIC ${SOURCES})
target_sources(utempl_tests PUBLIC FILE_SET utempl_tests TYPE CXX_MODULES
FILES ${SOURCES})
target_link_libraries(utempl_tests GTest::gtest_main utempl::utempl)
set_property(TARGET utempl_tests PROPERTY CXX_STANDARD 23)
include(GoogleTest)

11
examples/src/attributes.cpp
View file

@ -1,6 +1,6 @@
#include <utempl/utempl.hpp>
#include <utempl/macro.hpp>
import std;
import utempl;
#include <utempl/macro.hpp>
template <typename T>
struct AttributeData {
@ -26,13 +26,12 @@ static_assert(utempl::GetAttributes<SomeStruct>() ==
struct SomeOtherStruct {
static_assert(utempl::OpenStruct<SomeOtherStruct>());
utempl::FieldAttribute<int, utempl::TypeList<int>> field1;
utempl::FieldAttribute<int, int> field1;
utempl::FieldAttribute<int> field2;
utempl::FieldAttribute<std::string, utempl::TypeList<void>> field3;
utempl::FieldAttribute<std::string, void> field3;
static_assert(utempl::CloseStruct());
};
static_assert(utempl::GetAttributes<SomeOtherStruct>() ==
utempl::Tuple{utempl::kTypeList<int>, utempl::kTypeList<>, utempl::kTypeList<void>});
static_assert(utempl::GetAttributes<SomeOtherStruct>() == utempl::Tuple{utempl::kTypeList<int>, utempl::NoInfo{}, utempl::kTypeList<void>});
auto main() -> int {};

2
examples/src/curry.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

5
examples/src/go_interface.cpp
View file

@ -1,4 +1,5 @@
#include <utempl/utempl.hpp>
import fmt;
import utempl;
import std;
struct SomeInterfaceImpl {
@ -12,7 +13,7 @@ struct SomeStruct {
};
inline auto Func(SomeInterface arg) {
std::println("{} {}\n", arg.a, arg.b);
fmt::print("{} {}\n", arg.a, arg.b);
};
auto main() -> int {

2
examples/src/left_fold.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

2
examples/src/make.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

13
examples/src/menu.cpp Normal file
View file

@ -0,0 +1,13 @@
import utempl;
import std;
auto main() -> int {
utempl::menu::Menu{}
.With<{"This is 0"}>([] {
std::cout << "You entered 0" << std::endl;
})
.With<{"Some Long", "S"}>([] {
std::cout << "It aligns the output to the longest element" << std::endl;
})
.Run<"[{0}]{2} - |{1}|\n">();
};

2
examples/src/meta.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

2
examples/src/overloaded.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

2
examples/src/pipe.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
struct Container {
float data{};

38
examples/src/public_cast.cpp
View file

@ -1,38 +0,0 @@
#include <utempl/utempl.hpp>
using namespace utempl; // NOLINT
struct A {
private:
[[nodiscard]] constexpr auto Method() const -> int {
return 1;
};
[[nodiscard]] constexpr auto Method(int) const -> int {
return 2;
};
[[nodiscard]] constexpr auto Method() -> int {
return 3;
};
};
namespace utempl {
template struct PublicCast<static_cast<int (A::*)() const>(&A::Method)>;
template struct PublicCast<static_cast<int (A::*)(int) const>(&A::Method)>;
template struct PublicCast<static_cast<int (A::*)()>(&A::Method)>;
} // namespace utempl
constexpr A a;
static_assert(GetPrivateMemberOverloaded<"Method">(a) == 1);
static_assert(GetPrivateMemberOverloaded<"Method">(a, 1) == 2);
static_assert(GetPrivateMemberOverloaded<"Method">(A{}) == 3);
static_assert((a.*GetPrivateMember<"Method", 0, A>())() == 1);
static_assert((a.*GetPrivateMember<"Method", 1>(a))(1) == 2);
auto main() -> int {};

2
examples/src/reverse.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

2
examples/src/switch.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

2
examples/src/times.cpp
View file

@ -1,4 +1,4 @@
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

2
examples/src/tuple.cpp
View file

@ -1,5 +1,5 @@
#include <cassert>
#include <utempl/utempl.hpp>
import utempl;
import std;
auto main() -> int {

0
src/macro.hpp → include/utempl/macro.hpp
View file

56
src/attributes.cpp
View file

@ -1,39 +1,27 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.attributes;
export import utempl.meta_info;
export import utempl.tuple;
export import utempl.loopholes.counter;
import utempl.utils;
import utempl.type_list;
#else
#include <utempl/loopholes/counter.hpp>
#include <utempl/meta_info.hpp>
#include <utempl/tuple.hpp>
#include <utempl/type_list.hpp>
#include <utempl/utils.hpp>
#endif
namespace utempl {
namespace impl {
UTEMPL_EXPORT struct AttributesTag {};
export struct AttributesTag {};
UTEMPL_EXPORT template <typename T>
export template <typename T>
struct AttributesCounterTag {};
} // namespace impl
UTEMPL_EXPORT template <typename T, typename..., auto f = [] {}, auto = AddTypeToTag<impl::AttributesTag, T, decltype(f)>()>
export template <typename T, typename..., auto f = [] {}, auto = AddTypeToTag<impl::AttributesTag, T, decltype(f)>()>
consteval auto OpenStruct() -> bool {
return true;
};
UTEMPL_EXPORT template <typename...,
export template <typename...,
auto f = [] {},
auto I = loopholes::CountValue<impl::AttributesTag, decltype(f)>(),
auto II = (I >= 2) ? I - 2 : I - 1,
@ -43,24 +31,37 @@ consteval auto CloseStruct() -> bool {
return true;
};
UTEMPL_EXPORT struct NoInfo {
export struct NoInfo {
consteval auto operator==(const NoInfo&) const -> bool = default;
};
UTEMPL_EXPORT template <typename T,
typename O = TypeList<>,
template <typename... Ts>
struct FieldAttributeData {
using Type = TypeList<Ts...>;
};
template <>
struct FieldAttributeData<> {
using Type = NoInfo;
};
template <typename T,
typename... Ts,
auto f = [] {},
typename Current = decltype(GetCurrentTagType<impl::AttributesTag, decltype(f)>())::Type,
auto = AddTypeToTag<impl::AttributesCounterTag<Current>, O, decltype(f)>()>
using FieldAttribute = T;
auto = AddTypeToTag<impl::AttributesCounterTag<Current>, typename FieldAttributeData<Ts...>::Type, decltype(f)>()>
consteval auto FieldAttributeHelper() -> T;
UTEMPL_EXPORT template <typename T, auto f = [] {}, bool R = (loopholes::CountValue<impl::AttributesCounterTag<T>, decltype(f)>() > 0)>
export template <typename... Ts>
using FieldAttribute = decltype(FieldAttributeHelper<Ts...>());
export template <typename T, auto f = [] {}, bool R = (loopholes::CountValue<impl::AttributesCounterTag<T>, decltype(f)>() > 0)>
concept HasAttributes = R;
UTEMPL_EXPORT template <typename T>
export template <typename T>
concept HasMacroAttributes = requires { T::template GetAttribute<0>(); };
UTEMPL_EXPORT template <HasAttributes T>
export template <HasAttributes T>
consteval auto GetAttributes()
requires HasMacroAttributes<T>
{
@ -70,12 +71,11 @@ consteval auto GetAttributes()
} | kSeq<I>;
};
UTEMPL_EXPORT template <typename T>
export template <typename T>
consteval auto GetAttributes() {
constexpr auto I = loopholes::CountValue<impl::AttributesCounterTag<T>>();
return
[](auto... is) -> Tuple<typename decltype(Magic(loopholes::Getter<MetaInfoKey<*is, impl::AttributesCounterTag<T>>{}>{}))::Type...> {
return {};
return [](auto... is) {
return utempl::Tuple{typename decltype(Magic(loopholes::Getter<MetaInfoKey<is, impl::AttributesCounterTag<T>>{}>{}))::Type{}...};
} | kSeq<I>;
};

40
src/constexpr_string.cpp
View file

@ -1,16 +1,27 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
module;
#include <fmt/compile.h>
export module utempl.string;
import std;
#else
#include <algorithm>
#include <string>
#endif
UTEMPL_EXPORT_BEGIN
// import fmt;
namespace utempl {
export template <std::size_t>
struct ConstexprString;
} // namespace utempl
export {
template <std::size_t Size>
struct fmt::formatter<utempl::ConstexprString<Size>> : public fmt::formatter<std::string_view> {
constexpr auto parse(format_parse_context& ctx) const {
return ctx.begin();
};
constexpr auto format(const utempl::ConstexprString<Size>& str, auto& ctx) const {
return fmt::formatter<std::string_view>::format({str.begin()}, ctx);
};
};
};
export namespace utempl {
template <std::size_t Size>
struct ConstexprString {
std::array<char, Size> data;
@ -32,8 +43,8 @@ struct ConstexprString {
constexpr ConstexprString(const char (&data)[Size]) : data{} { // NOLINT
std::ranges::copy_n(data, Size, this->data.begin());
};
explicit constexpr ConstexprString(std::string_view data) : data{} {
std::ranges::copy_n(data.begin(), data.size() > this->size() ? this->size() : data.size(), this->data.begin());
explicit constexpr ConstexprString(std::string data) : data{} {
std::ranges::copy_n(data.begin(), Size, this->data.begin());
};
explicit constexpr ConstexprString(std::array<char, Size> data) : data(std::move(data)) {};
constexpr auto size() const {
@ -66,6 +77,11 @@ struct ConstexprString {
constexpr ConstexprString(ConstexprString&&) = default;
};
template <ConstexprString Str>
consteval auto GetFmtCompiledString() {
return FMT_COMPILE(Str.data.begin());
};
template <std::size_t N>
constexpr auto operator<<(std::ostream& stream, const ConstexprString<N>& str) -> std::ostream& {
stream << static_cast<std::string_view>(str);
@ -85,5 +101,3 @@ constexpr auto CreateStringWith(char c) {
template <std::size_t Size>
ConstexprString(const char (&data)[Size]) -> ConstexprString<Size>; // NOLINT
} // namespace utempl
UTEMPL_EXPORT_END

16
src/go_interface.cpp
View file

@ -1,21 +1,9 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
module;
#include <boost/pfr.hpp>
export module utempl.go_interface;
import std;
import utempl.string;
#else
#include <boost/pfr.hpp>
#include <utempl/constexpr_string.hpp>
#endif
namespace utempl {
template <ConstexprString name, typename T>
@ -52,7 +40,7 @@ constexpr auto Transform(Transformer&& transformer, From&& from) {
}(std::make_index_sequence<boost::pfr::tuple_size_v<To>>());
};
UTEMPL_EXPORT struct DefaultFieldTransformer {
export struct DefaultFieldTransformer {
constexpr auto operator()(auto&& arg) -> auto&& {
return arg;
};
@ -65,7 +53,7 @@ UTEMPL_EXPORT struct DefaultFieldTransformer {
};
};
UTEMPL_EXPORT template <typename Value, typename Transformer = DefaultFieldTransformer>
export template <typename Value, typename Transformer = DefaultFieldTransformer>
struct GoInterface : Value {
constexpr GoInterface(Value&& value) : Value(std::move(value)) {}; // NOLINT
constexpr GoInterface(const Value& value) : Value(value) {}; // NOLINT

30
src/loopholes/core.cpp
View file

@ -1,32 +1,20 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.loopholes.core;
import std;
#else
#include <type_traits>
#endif
namespace utempl::loopholes {
UTEMPL_EXPORT_BEGIN
template <auto I>
struct Getter {
export {
template <auto I>
struct Getter {
friend constexpr auto Magic(Getter<I>);
};
template <auto I, auto Value = 0>
struct Injector {
};
template <auto I, auto Value = 0>
struct Injector {
friend constexpr auto Magic(Getter<I>) {
return Value;
};
};
UTEMPL_EXPORT_END
};
}
template <auto, typename = void, typename... Ts>
struct InjectedImpl {
static constexpr bool value = false;
@ -36,7 +24,7 @@ struct InjectedImpl<V, std::void_t<decltype(Magic(Getter<V>{}))>, Ts...> {
static constexpr bool value = true;
};
UTEMPL_EXPORT template <auto I, typename... Ts>
export template <auto I, typename... Ts>
concept Injected = InjectedImpl<I, void, Ts...>::value;
} // namespace utempl::loopholes

17
src/loopholes/counter.cpp
View file

@ -1,20 +1,7 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.loopholes.counter;
export import utempl.loopholes.core;
import std;
#else
#include <tuple>
#include <utempl/loopholes/core.hpp>
#endif
namespace utempl::loopholes {
template <typename Tag, std::size_t Value>
@ -33,13 +20,13 @@ consteval auto CounterHelper() -> std::size_t {
};
// For incerement counter need a unique Ts...
UTEMPL_EXPORT template <typename Tag, typename... Ts, std::size_t R = CounterHelper<true, Tag, 0, Ts...>()>
export template <typename Tag, typename... Ts, std::size_t R = CounterHelper<true, Tag, 0, Ts...>()>
consteval auto Counter(auto...) -> std::size_t {
return R;
};
// Without increment
UTEMPL_EXPORT template <typename Tag, typename... Ts, std::size_t R = CounterHelper<false, Tag, 0, Ts...>()>
export template <typename Tag, typename... Ts, std::size_t R = CounterHelper<false, Tag, 0, Ts...>()>
consteval auto CountValue(auto...) -> std::size_t {
return R;
};

8
src/loopholes/loopholes.cpp
View file

@ -1,11 +1,3 @@
#pragma once
#ifdef UTEMPL_MODULE
export module utempl.loopholes;
export import utempl.loopholes.core;
export import utempl.loopholes.counter;
#else
#include <utempl/loopholes/core.hpp>
#include <utempl/loopholes/counter.hpp>
#endif

147
src/menu.cpp Normal file
View file

@ -0,0 +1,147 @@
module;
#include <cstdio>
export module utempl.menu;
import fmt;
import std;
import utempl.string;
import utempl.optional;
import utempl.tuple;
import utempl.utils;
import utempl.type_list;
namespace utempl {
constexpr auto CountDigits(std::size_t num) -> std::size_t {
std::size_t count = 0;
do { // NOLINT
++count;
num /= 10; // NOLINT
} while(num != 0);
return count;
};
constexpr auto GetDigit(std::size_t num, std::size_t index) -> std::size_t {
for(std::size_t i = 0; i < index; ++i) {
num /= 10; // NOLINT
}
return num % 10; // NOLINT
};
template <std::size_t num>
consteval auto ToString() {
constexpr std::size_t digits = CountDigits(num);
return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
return ConstexprString{std::array{static_cast<char>('0' + GetDigit(num, digits - 1 - Is))..., '\0'}};
}(std::make_index_sequence<digits>());
};
template <typename Range>
constexpr auto GetMax(Range&& range) {
std::remove_cvref_t<decltype(range[0])> response = 0;
for(const auto& element : range) {
response = element > response ? element : response;
};
return response;
};
namespace menu {
template <std::size_t N1, std::size_t N2>
struct CallbackMessage {
ConstexprString<N1> message;
Optional<ConstexprString<N2>> need;
consteval CallbackMessage(const char (&need)[N2], const char (&message)[N1]) : // NOLINT
message(std::move(message)), need(std::move(need)) {};
consteval CallbackMessage(const char (&message)[N1]) : message(std::move(message)), need(std::nullopt) {}; // NOLINT
};
template <std::size_t N1, std::size_t N2>
CallbackMessage(const char (&)[N1], const char (&)[N2]) -> CallbackMessage<N2, N1>; // NOLINT
template <std::size_t N1>
CallbackMessage(const char (&)[N1]) -> CallbackMessage<N1, 0>; // NOLINT
export template <Tuple storage = Tuple{}, typename... Fs>
struct Menu {
private:
template <ConstexprString fmt, ConstexprString message, ConstexprString alignment, ConstexprString neededInput>
static consteval auto FormatMessage() {
constexpr auto fmtlib = GetFmtCompiledString<fmt>();
// + 1 - NULL Terminator
constexpr auto size = fmt::formatted_size(fmtlib,
static_cast<std::string_view>(neededInput),
static_cast<std::string_view>(message),
static_cast<std::string_view>(alignment)) +
1;
std::array<char, size> data{};
fmt::format_to(data.begin(),
fmtlib,
static_cast<std::string_view>(neededInput),
static_cast<std::string_view>(message),
static_cast<std::string_view>(alignment));
return ConstexprString<size>(data);
};
template <ConstexprString fmt, std::size_t I>
static consteval auto FormatMessageFor() {
constexpr ConstexprString message = Get<I>(storage).message;
constexpr ConstexprString neededInput = [&] {
if constexpr(Get<I>(storage).need) {
return *Get<I>(storage).need;
} else {
return ToString<I>();
};
}();
constexpr ConstexprString alignment =
CreateStringWith<GetMaxSize() - (Get<I>(storage).need ? Get<I>(storage).need->size() : CountDigits(I))>(' ');
return FormatMessage<fmt, message, alignment, neededInput>();
};
public:
Tuple<Fs...> functionStorage;
static consteval auto GetMaxSize() -> std::size_t {
return [&]<auto... Is>(std::index_sequence<Is...>) {
constexpr auto list = ListFromTuple(storage);
return GetMax(std::array{(std::remove_cvref_t<decltype(*std::declval<decltype(Get<Is>(list))>().need)>::kSize != 0
? std::remove_cvref_t<decltype(*std::declval<decltype(Get<Is>(list))>().need)>::kSize
: CountDigits(Is))...});
}(std::index_sequence_for<Fs...>());
};
template <CallbackMessage message, std::invocable F>
constexpr auto With(F&& f) const {
return Menu<storage + Tuple{message}, Fs..., std::remove_cvref_t<F>>{.functionStorage =
this->functionStorage + Tuple(std::forward<F>(f))};
};
template <ConstexprString fmt, ConstexprString enter = "|> ">
constexpr auto Run(std::istream& in = std::cin, std::FILE* out = stdout) const -> std::size_t {
return [&]<auto... Is>(std::index_sequence<Is...>) -> std::size_t {
constexpr auto message = ((FormatMessageFor<fmt, Is>() + ...) + enter);
auto result = std::fwrite(message.begin(), 1, message.size(), out);
if(result < message.size()) {
return EOF;
};
if(std::fflush(out) != 0) {
return EOF;
};
std::string input;
std::getline(in, input);
(
[&]<auto I, CallbackMessage message = Get<I>(storage)>(Wrapper<I>) {
if constexpr(message.need) {
if(*message.need == input) {
Get<I>(this->functionStorage)();
};
} else {
if(ToString<I>() == input) {
Get<I>(this->functionStorage)();
};
};
}(Wrapper<Is>{}),
...);
return 0;
}(std::index_sequence_for<Fs...>());
};
};
} // namespace menu
} // namespace utempl

25
src/meta_info.cpp
View file

@ -1,23 +1,16 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.meta_info;
import utempl.loopholes;
import utempl.type_list;
import std;
#else
#include <utempl/loopholes/counter.hpp>
#include <utempl/type_list.hpp>
#endif
namespace utempl {
UTEMPL_EXPORT struct Types {};
export struct Types {};
UTEMPL_EXPORT template <std::size_t Id, typename Tag>
export template <std::size_t Id, typename Tag>
struct MetaInfoKey {};
UTEMPL_EXPORT template <typename T, typename Tag = Types>
export template <typename T, typename Tag = Types>
struct MetaInfo {
static constexpr std::size_t kTypeId = loopholes::Counter<Tag, T>();
using Type = T;
@ -26,10 +19,10 @@ struct MetaInfo {
static constexpr auto _ = loopholes::Injector<MetaInfoKey<kTypeId, Tag>{}, TypeList<T>{}>{};
};
UTEMPL_EXPORT template <typename T, typename Tag = Types>
export template <typename T, typename Tag = Types>
inline constexpr std::size_t kTypeId = MetaInfo<T, Tag>::kTypeId;
UTEMPL_EXPORT template <typename Tag,
export template <typename Tag,
typename T,
typename... Ts,
typename... TTs,
@ -39,10 +32,10 @@ consteval auto AddTypeToTag(TTs&&...) -> std::size_t {
return Id;
};
UTEMPL_EXPORT template <std::size_t Id, typename Tag = Types>
export template <std::size_t Id, typename Tag = Types>
using GetMetaInfo = MetaInfo<typename decltype(Magic(loopholes::Getter<MetaInfoKey<Id, Tag>{}>{}))::Type>;
UTEMPL_EXPORT template <std::size_t Id, typename Tag = Types>
export template <std::size_t Id, typename Tag = Types>
using GetType = GetMetaInfo<Id, Tag>::Type;
template <typename Tag, std::size_t I = 0, typename... Ts, typename G>
@ -62,12 +55,12 @@ static consteval auto GetTypeListForTag(G g)
};
};
UTEMPL_EXPORT template <typename Tag = Types, typename... Ts>
export template <typename Tag = Types, typename... Ts>
consteval auto GetTypeListForTag() {
return GetTypeListForTag<Tag>(TypeList<Ts...>{});
};
UTEMPL_EXPORT template <typename Tag, typename... Ts, auto I = utempl::loopholes::CountValue<Tag, Ts...>() - 1>
export template <typename Tag, typename... Ts, auto I = utempl::loopholes::CountValue<Tag, Ts...>() - 1>
consteval auto GetCurrentTagType() {
return Magic(utempl::loopholes::Getter<MetaInfoKey<I, Tag>{}>());
};

20
src/module.hpp
View file

@ -1,20 +0,0 @@
#pragma once
#ifdef UTEMPL_MODULE
#define UTEMPL_EXPORT export
#define UTEMPL_EXPORT_BEGIN export {
#define UTEMPL_EXPORT_END }
#define UTEMPL_GLOBAL_MODULE module;
#define UTEMPL_IMPORT(modules, headers) modules
#else
#define UTEMPL_EXPORT
#define UTEMPL_EXPORT_BEGIN
#define UTEMPL_EXPORT_END
#define UTEMPL_GLOBAL_MODULE
#define UTEMPL_IMPORT(modules, headers) headers
#endif

11
src/optional.cpp
View file

@ -1,18 +1,9 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.optional;
import std;
#else
#include <optional>
#endif
namespace utempl {
UTEMPL_EXPORT template <typename T>
export template <typename T>
struct Optional { // NOLINT
bool flag = false;
union {

10
src/overloaded.cpp
View file

@ -1,16 +1,8 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.overloaded;
import std;
#else
#include <type_traits>
#endif
namespace utempl {
UTEMPL_EXPORT template <typename... Fs>
export template <typename... Fs>
constexpr auto Overloaded(Fs&&... fs) {
struct Overloaded : public std::remove_cvref_t<Fs>... {
using Fs::operator()...;

80
src/public_cast.cpp
View file

@ -1,80 +0,0 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.public_cast;
import utempl.loopholes;
import std;
import utempl.overloaded;
import utempl.string;
import nameof;
#else
#include <nameof.hpp>
#include <utempl/loopholes/counter.hpp>
#include <utempl/overloaded.hpp>
#endif
namespace utempl {
namespace impl { // For headers
template <typename T, ConstexprString Str>
struct PublicCast {
template <std::size_t I>
struct Tag {};
};
template <typename Ptr>
using MainT = decltype(Overloaded([]<typename T, typename R, typename... Args>(R (T::*ptr)(Args...)) -> T {},
[]<typename T, typename R, typename... Args>(R (T::*ptr)(Args...) const) -> T {},
[]<typename T, typename R>(R T::* ptr) -> T {})(std::declval<Ptr>()));
template <auto ptr>
constexpr auto TransformPtr() {
return utempl::Overloaded(
[]<typename T, typename R, typename... Args>(R (T::*)(Args...)) {
return [](T* obj, Args... args) -> R {
return (obj->*ptr)(std::forward<Args>(args)...);
};
},
[]<typename T, typename R, typename... Args>(R (T::*)(Args...) const) {
return [](const T* obj, Args... args) -> R {
return (obj->*ptr)(std::forward<Args>(args)...);
};
})(ptr);
};
} // namespace impl
UTEMPL_EXPORT template <auto Ptr,
auto F = [] {},
typename T = impl::MainT<decltype(Ptr)>,
ConstexprString Str =
utempl::ConstexprString<nameof::nameof_member<Ptr>().size() + 1>{nameof::nameof_member<Ptr>()},
typename Tag = impl::PublicCast<T, Str>,
auto I = loopholes::Counter<Tag, decltype(F)>(),
auto = loopholes::Injector<typename Tag::template Tag<I>{}, Ptr>{}>
struct PublicCast {};
UTEMPL_EXPORT template <ConstexprString Name, std::size_t I = 0, typename T>
constexpr auto GetPrivateMember() -> decltype(Magic(loopholes::Getter<typename impl::PublicCast<T, Name>::template Tag<I>{}>{})) {
return Magic(loopholes::Getter<typename impl::PublicCast<T, Name>::template Tag<I>{}>{});
}
UTEMPL_EXPORT template <ConstexprString Name, std::size_t I = 0, typename T>
constexpr auto GetPrivateMember(const T&) -> decltype(GetPrivateMember<Name, I, std::decay_t<T>>()) {
return GetPrivateMember<Name, I, std::decay_t<T>>();
}
UTEMPL_EXPORT template <utempl::ConstexprString Name, typename T, auto F = [] {}, typename... Args>
constexpr auto GetPrivateMemberOverloaded(T&& obj, Args&&... args) -> decltype(auto) {
return [&]<std::size_t... Is>(std::index_sequence<Is...>) -> decltype(auto) {
return Overloaded(impl::TransformPtr<GetPrivateMember<Name, Is, std::decay_t<T>>()>()...)(std::addressof(obj),
std::forward<Args>(args)...);
}(std::make_index_sequence<loopholes::CountValue<impl::PublicCast<std::decay_t<T>, Name>, decltype(F)>()>());
};
} // namespace utempl

29
src/tuple.cpp
View file

@ -1,21 +1,12 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.tuple;
import utempl.type_list;
import utempl.overloaded;
import std;
#else
#include <utempl/type_list.hpp>
#include <utility>
#endif
namespace utempl {
UTEMPL_EXPORT template <auto Value>
export template <auto Value>
struct Wrapper {
static constexpr auto kValue = Value;
static constexpr auto value = Value;
@ -44,10 +35,10 @@ struct TupleHelper<std::index_sequence<Is...>, Ts...> : public TupleLeaf<Is, Ts>
constexpr auto operator==(const TupleHelper&) const -> bool = default;
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
struct Tuple;
UTEMPL_EXPORT template <std::size_t I, typename... Ts>
export template <std::size_t I, typename... Ts>
constexpr auto Get(Tuple<Ts...>& tuple) -> auto&
requires(I < sizeof...(Ts))
{
@ -55,7 +46,7 @@ constexpr auto Get(Tuple<Ts...>& tuple) -> auto&
return static_cast<TupleLeaf<I, Type>&>(tuple).value;
};
UTEMPL_EXPORT template <std::size_t I, typename... Ts>
export template <std::size_t I, typename... Ts>
constexpr auto Get(const Tuple<Ts...>& tuple) -> const auto&
requires(I < sizeof...(Ts))
{
@ -63,7 +54,7 @@ constexpr auto Get(const Tuple<Ts...>& tuple) -> const auto&
return static_cast<const TupleLeaf<I, Type>&>(tuple).value;
};
UTEMPL_EXPORT template <std::size_t I, typename... Ts>
export template <std::size_t I, typename... Ts>
constexpr auto Get(Tuple<Ts...>&& tuple) -> decltype(auto)
requires(I < sizeof...(Ts))
{
@ -71,12 +62,12 @@ constexpr auto Get(Tuple<Ts...>&& tuple) -> decltype(auto)
return std::move(static_cast<TupleLeaf<I, Type>&&>(tuple).value);
};
UTEMPL_EXPORT template <std::size_t I, typename T>
export template <std::size_t I, typename T>
constexpr auto Get(T&& arg) -> decltype(get<I>(std::forward<T>(arg))) {
return get<I>(std::forward<T>(arg));
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
struct Tuple : TupleHelper<std::index_sequence_for<Ts...>, Ts...> {
template <typename... TTs>
constexpr Tuple(TTs&&... args) /* NOLINT */ : TupleHelper<std::index_sequence_for<Ts...>, Ts...>{{std::forward<TTs>(args)}...} {};
@ -115,7 +106,7 @@ struct Tuple : TupleHelper<std::index_sequence_for<Ts...>, Ts...> {
};
};
UTEMPL_EXPORT template <>
export template <>
struct Tuple<> {
template <typename... Ts>
constexpr auto operator+(const Tuple<Ts...>& other) const -> Tuple<Ts...> {
@ -125,10 +116,10 @@ struct Tuple<> {
return true;
};
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
Tuple(Ts&&...) -> Tuple<std::decay_t<Ts>...>;
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
consteval auto ListFromTuple(Tuple<Ts...>) -> TypeList<Ts...> {
return {};
};

45
src/type_list.cpp
View file

@ -1,36 +1,25 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.type_list;
import std;
import utempl.overloaded;
#else
#include <algorithm>
#include <utempl/overloaded.hpp>
#endif
namespace utempl {
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
struct TypeList {};
UTEMPL_EXPORT template <typename T>
export template <typename T>
struct TypeList<T> {
using Type = T;
};
UTEMPL_EXPORT template <typename T>
export template <typename T>
inline constexpr auto kType = TypeList<T>{};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
inline constexpr auto kTypeList = TypeList<Ts...>{};
UTEMPL_EXPORT template <typename T>
export template <typename T>
concept IsTypeList = Overloaded(
[]<typename... Ts>(TypeList<TypeList<Ts...>>) {
return true;
@ -48,45 +37,45 @@ struct Caster {};
template <std::size_t... Is, typename... Ts>
struct Caster<std::index_sequence<Is...>, Ts...> : IndexedType<Is, Ts>... {};
UTEMPL_EXPORT template <typename... Ts, typename... TTs>
export template <typename... Ts, typename... TTs>
consteval auto operator==(const TypeList<Ts...>& first, const TypeList<TTs...>& second) -> bool {
return std::same_as<decltype(first), decltype(second)>;
};
UTEMPL_EXPORT template <typename... Ts, typename... TTs>
export template <typename... Ts, typename... TTs>
consteval auto operator+(const TypeList<Ts...>&, const TypeList<TTs...>&) -> TypeList<Ts..., TTs...> {
return {};
};
UTEMPL_EXPORT template <std::size_t I, typename... Ts>
export template <std::size_t I, typename... Ts>
consteval auto Get(TypeList<Ts...>) -> decltype([]<typename T>(IndexedType<I, T>&&) -> T {
}(Caster<std::index_sequence_for<Ts...>, Ts...>{}));
UTEMPL_EXPORT template <typename T, typename... Ts>
export template <typename T, typename... Ts>
consteval auto Find(TypeList<Ts...>) -> std::size_t {
std::array<bool, sizeof...(Ts)> arr{std::same_as<T, Ts>...};
return std::ranges::find(arr, true) - arr.begin();
};
UTEMPL_EXPORT template <template <typename...> typename F, typename... Ts>
export template <template <typename...> typename F, typename... Ts>
consteval auto Find(TypeList<Ts...>) -> std::size_t {
std::array<bool, sizeof...(Ts)> arr{F<Ts>::value...};
return std::ranges::find(arr, true) - arr.begin();
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
consteval auto Reverse(TypeList<Ts...> list) {
return [&]<auto... Is>(std::index_sequence<Is...>) -> TypeList<decltype(Get<sizeof...(Ts) - Is - 1>(list))...> {
return {};
}(std::index_sequence_for<Ts...>());
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
consteval auto Transform(TypeList<Ts...>, auto&& f) -> TypeList<decltype(f(TypeList<Ts>{}))...> {
return {};
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
consteval auto FilterTypeList(TypeList<Ts...>, auto&& f) {
return ((kTypeList<> +
[](auto&& list) {
@ -99,12 +88,12 @@ consteval auto FilterTypeList(TypeList<Ts...>, auto&& f) {
...);
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
consteval auto Size(TypeList<Ts...>) -> std::size_t {
return sizeof...(Ts);
};
UTEMPL_EXPORT template <std::size_t N, std::size_t From = 0, typename... Ts>
export template <std::size_t N, std::size_t From = 0, typename... Ts>
consteval auto TakeFrom(TypeList<Ts...> list)
requires(N + From <= sizeof...(Ts))
{
@ -113,12 +102,12 @@ consteval auto TakeFrom(TypeList<Ts...> list)
}(std::make_index_sequence<N>());
};
UTEMPL_EXPORT template <typename T, std::size_t N, typename... Ts>
export template <typename T, std::size_t N, typename... Ts>
consteval auto PushTo(TypeList<Ts...> list) {
return TakeFrom<N>(list) + kType<T> + TakeFrom<sizeof...(Ts) - N, N>(list);
};
UTEMPL_EXPORT template <std::size_t N, typename... Ts>
export template <std::size_t N, typename... Ts>
consteval auto Erase(TypeList<Ts...> list) {
return TakeFrom<N>(list) + TakeFrom<sizeof...(Ts) - N - 1, N + 1>(list);
};

12
src/utempl.cpp Normal file
View file

@ -0,0 +1,12 @@
export module utempl;
export import utempl.type_list;
export import utempl.tuple;
export import utempl.string;
export import utempl.menu;
export import utempl.loopholes;
export import utempl.attributes;
export import utempl.meta_info;
export import utempl.overloaded;
export import utempl.utils;
export import utempl.go_interface;
export import utempl.optional;

7
src/utempl.hpp
View file

@ -1,7 +0,0 @@
#pragma once
#ifdef UTEMPL_MODULE
import utempl;
#else
#include <utempl/utempl_module.hpp>
#endif

31
src/utempl_module.cpp
View file

@ -1,31 +0,0 @@
#pragma once
#ifdef UTEMPL_MODULE
export module utempl;
export import utempl.type_list;
export import utempl.tuple;
export import utempl.string;
export import utempl.loopholes;
export import utempl.attributes;
export import utempl.meta_info;
export import utempl.overloaded;
export import utempl.utils;
export import utempl.go_interface;
export import utempl.optional;
export import utempl.public_cast;
#else
#include <utempl/attributes.hpp>
#include <utempl/constexpr_string.hpp>
#include <utempl/go_interface.hpp>
#include <utempl/loopholes/counter.hpp>
#include <utempl/macro.hpp>
#include <utempl/meta_info.hpp>
#include <utempl/optional.hpp>
#include <utempl/overloaded.hpp>
#include <utempl/public_cast.hpp>
#include <utempl/tuple.hpp>
#include <utempl/type_list.hpp>
#endif

132
src/utils.cpp
View file

@ -1,39 +1,27 @@
#pragma once
#include <utempl/module.hpp>
#ifdef UTEMPL_MODULE
export module utempl.utils;
import std;
import fmt;
import utempl.string;
import utempl.tuple;
import utempl.type_list;
import utempl.overloaded;
#else
#include <optional>
#include <utempl/constexpr_string.hpp>
#include <utempl/overloaded.hpp>
#include <utempl/tuple.hpp>
#include <utempl/type_list.hpp>
#endif
namespace utempl {
template <typename T>
using ForwardType = decltype(std::forward<T>(std::declval<T>()));
UTEMPL_EXPORT template <auto Value>
export template <auto Value>
constexpr Wrapper<Value> kWrapper;
UTEMPL_EXPORT template <typename T>
export template <typename T>
requires std::same_as<T, void> || requires { T{}; }
constexpr auto kDefaultCreator = [] {
return T{};
};
UTEMPL_EXPORT template <>
export template <>
constexpr auto kDefaultCreator<void> = [] {};
template <std::size_t N>
@ -59,7 +47,7 @@ concept Function = []<typename R, typename... Ts>(TypeList<R(Ts...)>) {
static_assert(Function<decltype([]() {}), void()>);
UTEMPL_EXPORT template <std::size_t N>
export template <std::size_t N>
constexpr kSeqType<N> kSeq;
template <ConstexprString string, typename T = std::size_t>
@ -74,14 +62,14 @@ consteval auto ParseNumber() -> T {
};
namespace literals {
UTEMPL_EXPORT template <char... cs>
export template <char... cs>
consteval auto operator"" _c() {
return Wrapper<ParseNumber<ConstexprString<sizeof...(cs)>({cs...})>()>{};
};
} // namespace literals
UTEMPL_EXPORT template <std::size_t I, typename... Ts>
export template <std::size_t I, typename... Ts>
constexpr auto Arg(Ts&&... args) -> decltype(auto)
requires(I < sizeof...(Ts))
{
@ -92,52 +80,52 @@ constexpr auto Arg(Ts&&... args) -> decltype(auto)
}(std::make_index_sequence<I>());
};
UTEMPL_EXPORT template <std::size_t Count>
export template <std::size_t Count>
constexpr auto Times(auto&& f) {
[&]<auto... Is>(std::index_sequence<Is...>) {
(Arg<0>(f, Is)(), ...);
}(std::make_index_sequence<Count>());
};
UTEMPL_EXPORT template <typename T>
export template <typename T>
constexpr std::size_t kTupleSize = []() -> std::size_t {
static_assert(!sizeof(T), "Not Found");
return 0;
}();
UTEMPL_EXPORT template <typename T>
export template <typename T>
constexpr std::size_t kTupleSize<T&&> = kTupleSize<std::remove_reference_t<T>>;
UTEMPL_EXPORT template <typename T>
export template <typename T>
constexpr std::size_t kTupleSize<T&> = kTupleSize<std::remove_reference_t<T>>;
UTEMPL_EXPORT template <typename T>
export template <typename T>
constexpr std::size_t kTupleSize<const T> = kTupleSize<std::remove_cv_t<T>>;
UTEMPL_EXPORT template <template <typename...> typename M, typename... Ts>
export template <template <typename...> typename M, typename... Ts>
constexpr std::size_t kTupleSize<M<Ts...>> = sizeof...(Ts);
UTEMPL_EXPORT template <template <typename, std::size_t> typename Array, typename T, std::size_t N>
export template <template <typename, std::size_t> typename Array, typename T, std::size_t N>
constexpr std::size_t kTupleSize<Array<T, N>> = N;
UTEMPL_EXPORT template <typename T>
export template <typename T>
struct TupleMaker {};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
struct TupleMaker<std::tuple<Ts...>> {
template <typename... Args>
static constexpr auto Make(Args&&... args) {
return std::tuple{std::forward<Args>(args)...};
};
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
struct TupleMaker<Tuple<Ts...>> {
template <typename... Args>
static constexpr auto Make(Args&&... args) {
return Tuple{std::forward<Args>(args)...};
};
};
UTEMPL_EXPORT template <typename T, std::size_t N>
export template <typename T, std::size_t N>
struct TupleMaker<std::array<T, N>> {
template <typename Arg, typename... Args>
static constexpr auto Make(Arg&& arg, Args&&... args)
@ -150,10 +138,10 @@ struct TupleMaker<std::array<T, N>> {
};
};
UTEMPL_EXPORT template <typename T>
export template <typename T>
struct TupleTieMaker {};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
struct TupleTieMaker<std::tuple<Ts...>> {
template <typename... Args>
static constexpr auto Make(Args&... args) -> std::tuple<Args...> {
@ -161,7 +149,7 @@ struct TupleTieMaker<std::tuple<Ts...>> {
};
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
struct TupleTieMaker<Tuple<Ts...>> {
template <typename... Args>
static constexpr auto Make(Args&... args) -> Tuple<Args...> {
@ -169,12 +157,12 @@ struct TupleTieMaker<Tuple<Ts...>> {
};
};
UTEMPL_EXPORT template <typename T = Tuple<>, typename... Args>
export template <typename T = Tuple<>, typename... Args>
constexpr auto MakeTuple(Args&&... args) -> decltype(TupleMaker<std::remove_cvref_t<T>>::Make(std::forward<Args>(args)...)) {
return TupleMaker<std::remove_cvref_t<T>>::Make(std::forward<Args>(args)...);
};
UTEMPL_EXPORT template <typename T = Tuple<>, typename... Args>
export template <typename T = Tuple<>, typename... Args>
constexpr auto MakeTie(Args&... args) -> decltype(TupleTieMaker<std::remove_cvref_t<T>>::Make(args...)) {
return TupleTieMaker<std::remove_cvref_t<T>>::Make(args...);
};
@ -222,17 +210,17 @@ struct IsSafeTuple<
static constexpr bool value = false;
};
UTEMPL_EXPORT template <typename T>
export template <typename T>
constexpr bool kForceEnableTuple = false;
UTEMPL_EXPORT template <typename T, std::size_t N>
export template <typename T, std::size_t N>
constexpr bool kForceEnableTuple<std::array<T, N>> = true;
UTEMPL_EXPORT template <typename T>
export template <typename T>
concept TupleLike = kForceEnableTuple<std::remove_cvref_t<T>> ||
(requires { Get<0>(MakeTuple<T>(42)); } && IsSafeTuple<std::remove_cvref_t<T>>::value); // NOLINT
UTEMPL_EXPORT template <typename F, typename Tuple>
export template <typename F, typename Tuple>
concept TupleTransformer = requires(F f, Tuple&& tuple) {
{ f(std::move(tuple)) };
};
@ -316,7 +304,7 @@ struct TupleMaker<LazyTuple<F>> {
};
};
UTEMPL_EXPORT template <TupleLike Tuple, TupleTransformer<Tuple> FF>
export template <TupleLike Tuple, TupleTransformer<Tuple> FF>
constexpr auto operator|(Tuple&& tuple, FF&& f) {
return LazyTuple{[tuple = std::forward<Tuple>(tuple), f = std::forward<FF>(f)]() -> decltype(auto) {
return f(std::move(tuple));
@ -343,14 +331,14 @@ concept ForEachConcept = []<std::size_t... Is>(std::index_sequence<Is...>) {
return (std::invocable<F, decltype(Get<Is>(std::declval<Tuple>()))> && ...);
}(std::make_index_sequence<kTupleSize<Tuple>>());
UTEMPL_EXPORT template <TupleLike Tuple, UnpackConcept<Tuple> F>
export template <TupleLike Tuple, UnpackConcept<Tuple> F>
constexpr auto Unpack(Tuple&& tuple, F&& f) -> decltype(auto) {
return [&](auto... is) -> decltype(auto) {
return f(Get<is>(std::forward<Tuple>(tuple))...);
} | kSeq<kTupleSize<Tuple>>;
};
UTEMPL_EXPORT template <typename F>
export template <typename F>
constexpr auto Unpack(F&& f) {
return [f = std::forward<F>(f)]<TupleLike Tuple>(Tuple&& tuple) -> decltype(auto)
requires UnpackConcept<F, Tuple>
@ -359,14 +347,14 @@ constexpr auto Unpack(F&& f) {
};
};
UTEMPL_EXPORT template <TupleLike Tuple, TupleLike R = Tuple, TransformConcept<Tuple> F>
export template <TupleLike Tuple, TupleLike R = Tuple, TransformConcept<Tuple> F>
constexpr auto Transform(Tuple&& container, F&& f, TypeList<R> = {}) {
return Unpack(std::forward<Tuple>(container), [&]<typename... Ts>(Ts&&... args) {
return MakeTuple<R>(f(std::forward<Ts>(args))...);
});
};
UTEMPL_EXPORT template <typename F, typename R = void>
export template <typename F, typename R = void>
constexpr auto Transform(F&& f, TypeList<R> result = {}) {
return [f = std::forward<F>(f), result]<TupleLike TTuple, typename RR = decltype([] {
if constexpr(std::same_as<R, void>) {
@ -381,17 +369,17 @@ constexpr auto Transform(F&& f, TypeList<R> result = {}) {
};
};
UTEMPL_EXPORT template <TupleLike Tuple, TupleLike R = Tuple, TransformConcept<Tuple> F>
export template <TupleLike Tuple, TupleLike R = Tuple, TransformConcept<Tuple> F>
constexpr auto Map(Tuple&& tuple, F&& f, TypeList<R> result = {}) {
return Transform(std::forward<Tuple>(tuple), std::forward<F>(f), result);
};
UTEMPL_EXPORT template <typename F, typename R = void>
export template <typename F, typename R = void>
constexpr auto Map(F&& f, TypeList<R> result = {}) -> decltype(Transform(std::forward<F>(f), result)) {
return Transform(std::forward<F>(f), result);
};
UTEMPL_EXPORT template <auto Tuple, TupleLike To = decltype(Tuple)>
export template <auto Tuple, TupleLike To = decltype(Tuple)>
consteval auto PackConstexprWrapper()
requires TupleLike<decltype(Tuple)>
{
@ -400,14 +388,14 @@ consteval auto PackConstexprWrapper()
}(std::make_index_sequence<kTupleSize<decltype(Tuple)>>());
};
UTEMPL_EXPORT template <TupleLike Tuple>
export template <TupleLike Tuple>
constexpr auto Reverse(Tuple&& tuple) {
return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
return MakeTuple<Tuple>(Get<kTupleSize<Tuple> - Is - 1>(std::forward<Tuple>(tuple))...);
}(std::make_index_sequence<kTupleSize<Tuple>>());
};
UTEMPL_EXPORT consteval auto Reverse() {
export consteval auto Reverse() {
return []<TupleLike Tuple>(Tuple&& tuple) {
return Reverse(std::forward<Tuple>(tuple));
};
@ -455,7 +443,7 @@ concept LeftFoldConcept = decltype(Unpack(std::declval<Tuple>(), []<typename...
return kWrapper<decltype((LeftFoldIsOk<F, T>{} | ... | LeftFoldIsOk<F, Ts>{}))::value>;
}))::kValue;
UTEMPL_EXPORT template <TupleLike Tuple, std::move_constructible T, LeftFoldConcept<T, Tuple> F = decltype(kDefaultCreator<void>)&>
export template <TupleLike Tuple, std::move_constructible T, LeftFoldConcept<T, Tuple> F = decltype(kDefaultCreator<void>)&>
constexpr auto LeftFold(Tuple&& tuple, T&& init, F&& f = kDefaultCreator<void>) -> decltype(auto) {
return Unpack(std::forward<Tuple>(tuple), [&]<typename... Ts>(Ts&&... args) -> decltype(auto) {
return (LeftFoldHelper<ForwardType<T>, ForwardType<F>>{.data = std::forward<T>(init), .f = std::forward<F>(f)} | ... |
@ -464,12 +452,12 @@ constexpr auto LeftFold(Tuple&& tuple, T&& init, F&& f = kDefaultCreator<void>)
});
};
UTEMPL_EXPORT template <TupleLike Tuple, std::move_constructible T, LeftFoldConcept<T, Tuple> F>
export template <TupleLike Tuple, std::move_constructible T, LeftFoldConcept<T, Tuple> F>
constexpr auto Reduce(Tuple&& tuple, T&& init, F&& f) -> decltype(auto) {
return LeftFold(std::forward<Tuple>(tuple), std::forward<T>(init), std::forward<F>(f));
};
UTEMPL_EXPORT template <typename T, typename F>
export template <typename T, typename F>
constexpr auto Reduce(T&& init, F&& f) -> decltype(auto) {
return [init = std::forward<T>(init), f = std::forward<F>(f)]<TupleLike Tuple>(Tuple&& tuple) -> decltype(auto)
requires LeftFoldConcept<F, T, Tuple>
@ -478,14 +466,14 @@ constexpr auto Reduce(T&& init, F&& f) -> decltype(auto) {
};
};
UTEMPL_EXPORT template <TupleLike Tuple, TupleLike Tuple2>
export template <TupleLike Tuple, TupleLike Tuple2>
constexpr auto TupleCat(Tuple&& tuple, Tuple2&& tuple2) {
return [&]<auto... Is, auto... IIs>(std::index_sequence<Is...>, std::index_sequence<IIs...>) {
return MakeTuple<Tuple>(Get<Is>(std::forward<Tuple>(tuple))..., Get<IIs>(std::forward<Tuple2>(tuple2))...);
}(std::make_index_sequence<kTupleSize<Tuple>>(), std::make_index_sequence<kTupleSize<Tuple2>>());
};
UTEMPL_EXPORT template <TupleLike... Tuples>
export template <TupleLike... Tuples>
constexpr auto TupleCat(Tuples&&... tuples)
requires(sizeof...(tuples) >= 1)
{
@ -496,12 +484,12 @@ constexpr auto TupleCat(Tuples&&... tuples)
});
};
UTEMPL_EXPORT template <TupleLike... Tuples, typename F>
export template <TupleLike... Tuples, typename F>
constexpr auto Unpack(Tuples&&... tuples, F&& f) -> decltype(Unpack(TupleCat(std::forward<Tuples>(tuples)...), std::forward<F>(f))) {
return Unpack(TupleCat(std::forward<Tuples>(tuples)...), std::forward<F>(f));
};
UTEMPL_EXPORT template <typename... Ts>
export template <typename... Ts>
constexpr auto Tie(Ts&... args) -> Tuple<Ts&...> {
return {args...};
};
@ -523,7 +511,7 @@ consteval auto PartialCallerF(TypeList<Ts...>) {
};
};
UTEMPL_EXPORT template <TupleLike Tuple, std::move_constructible T>
export template <TupleLike Tuple, std::move_constructible T>
constexpr auto FirstOf(Tuple&& tuple, T&& init)
requires kEveryElement<std::is_invocable, Tuple>
{
@ -535,7 +523,7 @@ constexpr auto FirstOf(Tuple&& tuple, T&& init)
});
};
UTEMPL_EXPORT template <typename T>
export template <typename T>
constexpr auto FirstOf(T&& init) {
return [init = std::forward<T>(init)]<TupleLike Tuple>(Tuple&& tuple) {
return FirstOf(std::forward<Tuple>(tuple), std::move(init));
@ -547,7 +535,7 @@ concept FilterConcept = decltype(Unpack(std::declval<Tuple>(), []<typename... Ts
return kWrapper<(Function<F, bool(Ts)> && ...)>;
}))::kValue;
UTEMPL_EXPORT template <TupleLike Tuple, FilterConcept<Tuple> F>
export template <TupleLike Tuple, FilterConcept<Tuple> F>
constexpr auto Filter(Tuple&& tuple, F&& f) {
return LeftFold(
std::forward<Tuple>(tuple), MakeTuple<Tuple>(), [&]<TupleLike Accumulator, typename T>(Accumulator&& accumulator, T&& add) {
@ -559,7 +547,7 @@ constexpr auto Filter(Tuple&& tuple, F&& f) {
});
};
UTEMPL_EXPORT template <typename F>
export template <typename F>
constexpr auto Filter(F&& f) {
return [f = std::forward<F>(f)]<TupleLike Tuple>(Tuple&& tuple)
requires FilterConcept<F, Tuple>
@ -568,7 +556,7 @@ constexpr auto Filter(F&& f) {
};
};
UTEMPL_EXPORT template <TupleLike Tuple, ForEachConcept<Tuple> F>
export template <TupleLike Tuple, ForEachConcept<Tuple> F>
constexpr auto ForEach(Tuple&& tuple, F&& f) {
Unpack(std::forward<Tuple>(tuple), [&]<typename... Ts>(Ts&&... args) {
(f(std::forward<Ts>(args)), ...);
@ -589,12 +577,12 @@ struct Curryer {
return {.f = this->f, .data = this->data + Tuple{std::forward<T>(arg)}};
};
};
UTEMPL_EXPORT template <typename F>
export template <typename F>
constexpr auto Curry(F&& f) -> Curryer<std::remove_cvref_t<F>> {
return {.f = std::forward<F>(f), .data = Tuple{}};
};
UTEMPL_EXPORT template <TupleLike Tuple, typename T>
export template <TupleLike Tuple, typename T>
constexpr auto Find(Tuple&& tuple, T&& find) -> std::size_t {
return Unpack(std::forward<Tuple>(tuple), [&]<typename... Ts>(Ts&&... args) {
using Type = std::remove_cvref_t<T>;
@ -618,7 +606,7 @@ constexpr auto Find(Tuple&& tuple, T&& find) -> std::size_t {
});
};
UTEMPL_EXPORT template <std::size_t N, TupleLike Tuple>
export template <std::size_t N, TupleLike Tuple>
constexpr auto Take(Tuple&& tuple) {
if constexpr(std::is_lvalue_reference_v<Tuple> && HasMakeTie<Tuple>) {
return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
@ -631,21 +619,21 @@ constexpr auto Take(Tuple&& tuple) {
};
};
UTEMPL_EXPORT template <std::size_t N>
export template <std::size_t N>
consteval auto Take() {
return [&]<TupleLike Tuple>(Tuple&& tuple) {
return Take<N>(std::forward<Tuple>(tuple));
};
};
UTEMPL_EXPORT template <TupleLike Tuple, std::move_constructible T>
export template <TupleLike Tuple, std::move_constructible T>
constexpr auto operator<<(Tuple&& tuple, T&& t) {
return Unpack(std::forward<Tuple>(tuple), [&]<typename... Ts>(Ts&&... args) {
return MakeTuple<Tuple>(std::forward<Ts>(args)..., std::forward<T>(t));
});
};
UTEMPL_EXPORT template <std::size_t N, TupleLike Tuple = Tuple<>, typename T>
export template <std::size_t N, TupleLike Tuple = Tuple<>, typename T>
constexpr auto Generate(T&& value)
requires(std::copyable<T> || N == 1 && std::move_constructible<T>)
{
@ -658,7 +646,7 @@ constexpr auto Generate(T&& value)
};
};
UTEMPL_EXPORT template <TupleLike Tuple>
export template <TupleLike Tuple>
constexpr auto Enumerate(Tuple&& tuple) {
return Unpack(std::forward<Tuple>(tuple), [](auto&&... vs) {
return [&](auto... is) {
@ -677,7 +665,7 @@ concept CallableSwitchConcept = std::same_as<R, void> || decltype(Unpack(std::de
return kWrapper<(Function<F, std::optional<R>(Ts)> && ...)>;
}))::kValue;
UTEMPL_EXPORT template <typename R = void,
export template <typename R = void,
TupleLike KeysTuple,
TupleLike ValuesTuple,
ComparableSwitchConcept<KeysTuple> Key,
@ -714,14 +702,14 @@ constexpr auto Switch(KeysTuple&& keysTuple, ValuesTuple&& valuesTuple, Key&& ke
});
};
UTEMPL_EXPORT template <std::size_t N, typename R = Tuple<>>
export template <std::size_t N, typename R = Tuple<>>
consteval auto GetIndexesTuple() {
return [](auto... is) {
return MakeTuple<R>(*is...);
} | kSeq<N>;
};
UTEMPL_EXPORT template <typename R = Tuple<>, typename... Ts>
export template <typename R = Tuple<>, typename... Ts>
consteval auto GetTuple(TypeList<Ts...>, TypeList<R> = {}) {
return MakeTuple<R>(kType<Ts>...);
};

5
tests/go_interface.cpp
View file

@ -1,6 +1,7 @@
module;
#include <gtest/gtest.h>
#include <utempl/utempl.hpp>
export module tests.go_interface;
import utempl;
namespace utempl {

23
tests/menu.cpp Normal file
View file

@ -0,0 +1,23 @@
module;
#include <gtest/gtest.h>
export module tests.menu;
import utempl;
namespace utempl {
TEST(Menu, Basic) {
testing::internal::CaptureStdout();
std::istringstream stream("t\n");
int value = 0;
menu::Menu{}
.With<{"t", "This is t"}>([&] {
std::cout << "Success!" << std::endl;
value = 1;
})
.Run<"[{0}]{2} - ({1})\n">(stream);
auto captured = testing::internal::GetCapturedStdout();
EXPECT_EQ(captured, "[t] - (This is t)\n|> Success!\n");
EXPECT_EQ(value, 1);
};
} // namespace utempl

5
tests/overloaded.cpp
View file

@ -1,6 +1,7 @@
module;
#include <gtest/gtest.h>
#include <utempl/utempl.hpp>
export module tests.overloaded;
import utempl;
namespace utempl {